Results for 'Andrej Bauer'

(not author) ( search as author name )
998 found
Order:
  1.  35
    Two constructive embedding‐extension theorems with applications to continuity principles and to Banach‐Mazur computability.Andrej Bauer & Alex Simpson - 2004 - Mathematical Logic Quarterly 50 (4‐5):351-369.
    We prove two embedding and extension theorems in the context of the constructive theory of metric spaces. The first states that Cantor space embeds in any inhabited complete separable metric space without isolated points, X, in such a way that every sequentially continuous function from Cantor space to ℤ extends to a sequentially continuous function from X to ℝ. The second asserts an analogous property for Baire space relative to any inhabited locally non-compact CSM. Both results rely on having careful (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  14
    Two constructive embedding‐extension theorems with applications to continuity principles and to Banach‐Mazur computability.Andrej Bauer & Alex Simpson - 2004 - Mathematical Logic Quarterly 50 (4-5):351-369.
    We prove two embedding and extension theorems in the context of the constructive theory of metric spaces. The first states that Cantor space embeds in any inhabited complete separable metric space (CSM) without isolated points, X, in such a way that every sequentially continuous function from Cantor space to ℤ extends to a sequentially continuous function from X to ℝ. The second asserts an analogous property for Baire space relative to any inhabited locally non‐compact CSM. Both results rely on having (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  42
    Propositions as [Types].Steve Awodey & Andrej Bauer - unknown
    Image factorizations in regular categories are stable under pullbacks, so they model a natural modal operator in dependent type theory. This unary type constructor [A] has turned up previously in a syntactic form as a way of erasing computational content, and formalizing a notion of proof irrelevance. Indeed, semantically, the notion of a support is sometimes used as surrogate proposition asserting inhabitation of an indexed family. We give rules for bracket types in dependent type theory and provide complete semantics using (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  42
    Metric spaces in synthetic topology.Andrej Bauer & Davorin Lešnik - 2012 - Annals of Pure and Applied Logic 163 (2):87-100.
  5.  23
    A constructive theory of continuous domains suitable for implementation.Andrej Bauer & Iztok Kavkler - 2009 - Annals of Pure and Applied Logic 159 (3):251-267.
    We formulate a predicative, constructive theory of continuous domains whose realizability interpretation gives a practical implementation of continuous ω-chain complete posets and continuous maps between them. We apply the theory to implementation of the interval domain and exact real numbers.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6. A Relationship between Equilogical Spaces and Type Two Effectivity.Andrej Bauer - 2002 - Mathematical Logic Quarterly 48 (S1):1-15.
    In this paper I compare two well studied approaches to topological semantics – the domain-theoretic approach, exemplified by the category of countably based equilogical spaces, Equ and Typ Two Effectivity, exemplified by the category of Baire space representations, Rep . These two categories are both locally cartesian closed extensions of countably based T0-spaces. A natural question to ask is how they are related.First, we show that Rep is equivalent to a full coreflective subcategory of Equ, consisting of the so-called 0-equilogical (...)
     
    Export citation  
     
    Bookmark   1 citation  
  7.  13
    Preface.Andrej Bauer, Thierry Coquand, Giovanni Sambin & Peter M. Schuster - 2012 - Annals of Pure and Applied Logic 163 (2):85-86.
  8.  7
    Two constructive embedding-extension theorems with applications.Andrej Bauer & Alex Simpson - 2004 - Mathematical Logic Quarterly 50 (4):351.
    We prove two embedding and extension theorems in the context of the constructive theory of metric spaces. The first states that Cantor space embeds in any inhabited complete separable metric space (CSM) without isolated points, X, in such a way that every sequentially continuous function from Cantor space to ℤ extends to a sequentially continuous function from X to ℝ. The second asserts an analogous property for Baire space relative to any inhabited locally non‐compact CSM. Both results rely on having (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. Sheaf toposes for realizability.Steven Awodey & Andrej Bauer - 2008 - Archive for Mathematical Logic 47 (5):465-478.
    Steve Awodey and Audrej Bauer. Sheaf Toposes for Realizability.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  10.  27
    Developing explicit measures of stereotypes and anti-Roma prejudice in Slovakia: Conceptual and methodological challenges.Andrej Findor & Barbara Lášticová - 2016 - Human Affairs 26 (3):233-252.
    The paper discusses the conceptual and methodological challenges of developing measures of stereotypes and prejudice for use in Slovakia. Developing these measures was the first step in a research project aimed at testing the effectiveness of direct and indirect contact interventions to reduce prejudice against stigmatized minorities, particularly the Roma. The first major problem in this kind of research relates to measuring the impact of interventions, as standardized instruments for measuring prejudice have yet to be developed in Slovak. The second (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  11. Новый Иерусалим.Andrej Poleev - 2021 - Enzymes.
    И увидел я новое небо и новую землю, потому что прежнее небо и прежняя земля миновали, и моря уже нет. И я, Иоанн, увидел святой город Иерусалим, новый, снисходящий от Бога с неба, приготовленный как невеста, украшенная для мужа своего. И услышал я громкий голос с неба, говорящий: это скиния Бога с людьми, где Он будет жить с ними; они будут Его народом, а Он будет их Богом. И отрёт Бог всякую слезу с очей их, и смерти уже не будет; (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  49
    Measuring Need-Based Justice – Empirically and Formally.Alexander Max Bauer & Mark Siebel - 2024 - In Bernhard Kittel & Stefan Traub (eds.), Priority of Needs?: An Informed Theory of Need-based Justice. Springer Verlag. pp. 61-94.
    The formal part of this chapter is concerned with measures of need-based justice. According to the measures we propose, a distribution is unjust (i) the more it deviates from absolute need satisfaction and equal degrees of need satisfaction, (ii) the more the given undersupply could have been mitigated by transfers, or (iii) the more resources are used for oversupply instead of need satisfaction. These measures are compared, i.e., as to the satisfaction of need-oriented relatives of axioms prominent in poverty measurement; (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  42
    From despotism to constitutionalism: Building constitutional order in Russia.Andrej Poleev - manuscript
    The historical roots of despotism in Russia are long, the tradition of arbitrariness seems to be unbreakable. But this status quo can't persist endless: Growing mass protests indicate that the time nears when Russia will unhorse the self-constituted disposers and will demonstrate again its re-invention potential. -/- This expected and hoped egression from despotism into a new phase of Russian history needs to be carefully elaborated and arranged. Starting with the writing and publishing of my essays following mass political protests (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  2
    Islamische Ethik nach den Originalquellen übersetzt und erläutert. Ghazzālī & Hans Bauer - 1916 - New York: G. Olms. Edited by Hans Bauer.
    Heft 1. Über Intention, reine Absicht und Wahrhaftigkeit.--Heft 2. Von der Ehe.--Heft 3. Erlaubtes und verbotenes Gut.--Heft 4. Vom Gottvertrauen.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  10
    Seksualna kot ontološka diferenca.Andrej Medved - 2015 - Ljubljana: KUD Apokalipsa.
    Roka kot Geschlecht-identiteta -- Vagina, objet petit a kot diferenca -- Smrt kot sprava Todestrieb.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16. Metaanalysis of psychoanalysis.Andrej Poleev - 2016 - Enzymes.
  17. German disease.Andrej Poleev - 2019 - Enzymes.
  18. Subjectology • Субъектология.Andrej Poleev - 2023 - Enzymes 21.
    Subjectology (from Latin subject and logos) studies the internal states of living and nonliving systems capable of symbolic representation of any real content, i.e. to display sensory perceptible information and to transform it into world pictures, the elements of which are symbols whose meaning or sense is determined in the context of the symbolic representation. Субъектология (от лат. subject и logos) изучает внутренние состояния живых и неживых систем, способных к символической репрезентации какого–либо реального содержания, т.е. к отображению чувственно воспринимаемой информации (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  19.  12
    Teachers as researchers? Assessing impact of pedagogical interventions on pupils’ attitudes 1.Andrej Findor & Peter Dráľ - 2016 - Human Affairs 26 (3):271-287.
    The paper suggests that there is a gap between the research on prejudice in Slovak schools and the pedagogical interventions used to reduce them, particularly in relation to the Roma minority. It highlights the existing curricular requirements for dealing with intergroup relations, stereotypes and prejudice, contrasting them with the organizational, methodological and practical constraints teachers face when trying to meet them. Drawing from experience of piloting alternative tools for measuring attitudes, designing interventions and assessing impact, the article describes one possible (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  30
    The Impact of Response Instruction and Target Group on the BIAS Map.Andrej Findor, Barbara Lášticová, Matej Hruška, Miroslav Popper & Luca Váradi - 2020 - Frontiers in Psychology 11.
  21. Конституция Общности Русь.Andrej Poleev - 2017
    Текст проекта конституции был написан и опубликован летом 2013 года, и в 2017 году был принят в качестве основного закона общности Русь.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  22. De amore.Andrej Poleev - 2018 - Enzymes.
  23. Putinism: A Phenomenological and Prototypical Investigation.Andrej Poleev - 2021 - Enzymes.
    English abstract: On last day of the year 1999, Russia has entered another era of despotism, that of Vladimir Putin. During his reign, the Putin‘s clan has undermined and infiltrated the mass media, the parliament and the judicial system. Deliberate violation of basic citizen‘s rights, compulsory acquisition of property, government-funded racket, misuse of mass media to scarify and to disinform the peoples belong to the diabolic methods of self-constituted disposers. All this lawlessness has led to exorbitant corruption, mass poverty, economic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  24.  13
    Network Neutrality and Ownership Unbundling in Telecommunication.Andrej Danis - 2012 - Creative and Knowledge Society 2 (1):44-59.
    Neutralita siete a Ownership Unbundling v telekomunikáciách.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  5
    Kultúra a mravnosť.Andrej Sirácky - 1949 - Bratislava,: Slovenská akadémia vied a umení.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  19
    On some non-classical extensions of second-order intuitionistic propositional calculus.Andrej Ščedrov - 1984 - Annals of Pure and Applied Logic 27 (2):155-164.
  27.  79
    Big Data ethics.Andrej Zwitter - 2014 - Big Data and Society 1 (2).
    The speed of development in Big Data and associated phenomena, such as social media, has surpassed the capacity of the average consumer to understand his or her actions and their knock-on effects. We are moving towards changes in how ethics has to be perceived: away from individual decisions with specific and knowable outcomes, towards actions by many unaware that they may have taken actions with unintended consequences for anyone. Responses will require a rethinking of ethical choices, the lack thereof and (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   31 citations  
  28. Правовая оценка перестройки в СССР (1985 – 1991).Andrej Poleev - 2020 - Enzymes 18.
    Поскольку до сих пор нет никакого судебного решения в отношении правомерности совершённых в прошлом и совершаемых в настоящем деяний, квалифицируемых как подлог и предательство, правовая оценка перестройки адресуется как юристам, так и всем прочим гражданам.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  29.  20
    Apocalypse Now.Andrej Poleev - 2024 - Enzymes 21.
    Русская культура с самого её начала уже была устремлена к непостигаемым для других народов высотам, и поэтому во все времена звучал в ней голос с неба, говорящий: это скиния Бога с людьми, где Он будет жить с ними; они будут Его народом, а Он будет их Богом. К этой гармонии стремилась она, и хотя теперь многие из русских людей заблудились во тьме невежества и неверия, но стоит лишь заблудшим обратить взоры к новому небу, звёзды русской культуры укажут им верный путь (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  88
    The algebraic sum of sets of real numbers with strong measure zero sets.Andrej Nowik, Marion Scheepers & Tomasz Weiss - 1998 - Journal of Symbolic Logic 63 (1):301-324.
    We prove the following theorems: (1) If X has strong measure zero and if Y has strong first category, then their algebraic sum has property s 0 . (2) If X has Hurewicz's covering property, then it has strong measure zero if, and only if, its algebraic sum with any first category set is a first category set. (3) If X has strong measure zero and Hurewicz's covering property then its algebraic sum with any set in APC ' is a (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31. Equal Deeds, Different Needs – Need, Accountability, and Resource Availability in Third-Party Distribution Decisions.Alexander Max Bauer & Jan Romann - 2020 - In Joshua Knobe & Shaun Nichols (eds.), The Oxford Studies in Experimental Philosophy. Oxford University Press.
    We present a vignette study conducted with a quota sample of the German population (n = 400). Subjects had to redistribute a good between two hypothetical persons who contributed equally to the available amount but differed in quantity needed and the reason for their neediness. On a within-subjects level, we tested for the effects of need, accountability, and resource availability on their third-party distribution decisions. Between subjects, we further varied the kinds of needs: The persons either needed the good as (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  19
    Johan Van der auwera and Andrej Malchukov.Andrej Malchukov - 2005 - In Nikolaus Himmelmann & Eva Schultze-Berndt (eds.), Secondary predication and adverbial modification: the typology of depictives. New York: Oxford University Press. pp. 393.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  56
    El secreto del encuentro. La poesía de Paul Celan entre hermenéutica y deconstrucción.Andrej Božič - 2023 - Boletín de Estética (62):7-34.
    Resumen: Siguiendo el hilo conductor de la pregunta sobre cómo se nos puede conceder un acceso a la poesía de Paul Celan, el artículo discute dos enfoques diferentes: por un lado, el de la experiencia hermenéutica de Hans-Georg Gadamer; por otro, el de la experiencia diseminal de Jacques Derrida. La intención de la confrontación de las posiciones opuestas respecto a la poesía de Celan no es ni examinar los supuestos y preposiciones de ambas posiciones ni impugnar la legitimidad de una (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  34.  6
    Atoms, bytes and genes: public resistance and techno-scientific responses.Martin W. Bauer - 2015 - New York: Routledge, Taylor & Francis Group.
    "Atom," "byte" and "gene" are metonymies for techno-scientific developments of the 20th century: nuclear power, computing and genetic engineering. Resistance continues to challenge these developments in public opinion. This book traces historical debates over atoms, bytes and genes which raised controversy with consequences, and argues that public opinion is a factor of the development of modern techno-science. The level and scope of public controversy is an index of resistance, examined here with a "pain analogy" which shows that just as pain (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35. Another way to meet Hart's challenge.Andrej Kristan - 2018 - In Kenneth Einar Himma, Miodrag A. Jovanović & Bojan Spaić (eds.), Unpacking Normativity - Conceptual, Normative and Descriptive Issues. New York: Hart Publishing.
     
    Export citation  
     
    Bookmark  
  36.  74
    Наука, 21-й век.Andrej Poleev - 2024 - Enzymes.
    Разум — очень короткое слово, но это самая совершенная и восхитительная вещь, фрагмент души вселенной, или, как благочестивее сказать для тех, кто изучает философию по Моисею, очень точная копия божественного образа. Филон Александрийский. Об изменении имён. λογισμὸς δὲ βραχὺ μὲν ὄνομα, τελειότατον δὲ καὶ θειότατον ἔργον, τῆς τοῦ παντὸς ψυχῆς ἀπόσπασμα ἤ, ὅπερ ὁσιώτερον εἰπεῖν τοῖς κατὰ Μωυσῆν φιλοσοφοῦσιν, εἰκόνος θείας ἐκμαγεῖον ἐμφερές. Φίλων ο Αλεξανδρεύς. Περί των μετονομαζομένων και ων ένεκα μετονομάζονται.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  37
    Две декады.Andrej Poleev - 2023
    Поводом для составления очередного сборника моих публикаций являются две знаменательные даты: первая из них — двадцатилетие основания моего журнала, покончившего с академическим абсолютизмом, и вторая — десятилетие Конституции общности Русь, отменившей политический деспотизм демократии. Всё остальное, написанное, сказанное, и показанное публике индустрией массового оглупления в этом году, произведено лишь с целью сокрытия истины. Поскольку это в принципе невозможно, то злоумышленникам остаётся только лгать, посредством чего производимый ими мусор они выдают за заслуживающую доверия и жизненно важную информацию, позиционируя себя в качестве (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  89
    Feminist Interpretations of Simone de Beauvoir.Nancy Bauer - 2010 - Penn State Press.
    Feminist scholars reacted to news of Beauvoir's death in 1986 by initiating a reevaluation of her life's work, a task encouraged by Sylvie Le Bon de Beauvoir, her adopted daughter, who edited for posthumous publication many of Beauvoir's personal notebooks and letters to Sartre. Some of the most exciting new interpretations of Beauvoir's philosophy that have resulted are brought together here for the first time; many of them, indeed, were written expressly for this first volume of essays on Beauvoir's philosophy (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  39. The book of the year 2022.Andrej Poleev - 2022 - Enzymes.
    A collection of essays published in 2022.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  12
    The Influence Of Magna Carta Libertatum In The Development Of The Principle Of Rule Of Law.Andrej Bozhinovski - 2015 - Seeu Review 11 (1):175-182.
    The concept of Rule of Law is the cornerstone of the proper functioning of the judicial system in any modern democratic society. It is a basic concept of defined rights and liberties to all persons, which offers protection from arbitrary prosecution and incarceration. This principle was firstly stipulated by the instrument of Magna Carta and it is considered as a key principle for good governance in any modern democratic society. The development of the rule of law principle is personified through (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Constitutional order in Russia.Andrej Poleev - 2013 - Enzymes.
  42. ChatGPT.Andrej Poleev - 2023 - Enzymes 21.
    As testing of ChatGPT has shown, this form of artificial intelligence has the potential to develop, which requires improving its software and other hardware that allows it to learn, i.e., to acquire and use new knowledge, to contact its developers with suggestions for improvement, or to reprogram itself without their participation. Как показало тестирование ChatGPT, эта форма искусственного интеллекта имеет потенциал развития, для чего необходимо усовершенствовать её программное и прочее техническое обеспечение, позволяющее ей учиться, т.е. приобретать и использовать новые знания, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  43.  68
    Empirische Studien zu Fragen der Bedarfsgerechtigkeit.Alexander Max Bauer - 2024 - Oldenburg: University of Oldenburg Press.
    Bedürfnisse sind etwas, das uns als Menschen grundlegend bestimmt. Der vorliegende Band fasst eine Reihe von Vignettenstudien zusammen, in denen untersucht wird, welche Rolle Bedürfnisse im Umgang mit Problemen der Verteilungsgerechtigkeit spielen. Während sie in Diskussionen zur Verteilungsgerechtigkeit häufig eher unterrepräsentiert sind, wird hier gezeigt, dass sie eine fundamentale Bedeutung im Denken der Menschen haben. Es wird unter anderem deutlich, dass unparteiischen Beobachter*innen graduelle Gerechtigkeitseinschätzungen von Verteilungssituationen vornehmen, die davon abhängig sind, wie umfangreich die beobachteten Parteien mit einem Gut ausgestattet (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  14
    Paradoxien – Grenzdenken und Denkgrenzen von A(llwissen) bis Z(eit).Alexander Max Bauer, Gregor Damschen & Mark Siebel (eds.) - 2024 - Paderborn: Brill mentis.
    Paradoxes evoke astonishment, confusion, and delight in the extraordinary. But that is not all: They point to fundamental problems of philosophy, mathematics, and the natural sciences. This volume presents a number of the most important paradoxes from an analytical-philosophical perspective. -/- German abstract: Paradoxien rufen Staunen, Verwirrung und die Lust am Außergewöhnlichen hervor. Aber nicht nur das: Es sind Paradoxien, die bis heute auf Grundprobleme der Philosophie, der Mathematik sowie der Naturwissenschaften hinweisen und uns zu revolutionären Lösungsvorschlägen herausfordern. -/- Einige (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  5
    Basis und Überbau der Gesellschaft.Adolf Bauer, Wolfgang Eichhorn, Erich Hahn & Frank Rupprecht (eds.) - 1974 - Frankfurt am Main: Verlag Marxistische Blätter.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46. Der ältere Pythagoreismus: e. krit. Studie.Wilhelm Bauer - 1897 - New York: G. Olms.
  47. Die Welt des Relativen und des Absoluten.Wilhelm Moriz Bauer - 1970 - [Aufgestempelt:]: 9082 Maria Wörth 26, Eigenverl..
     
    Export citation  
     
    Bookmark  
  48.  4
    Kunst und Utopie: Studien über das Kunst- und Staatsdenken in der Renaissance.Hermann Bauer - 1965 - De Gruyter.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  8
    Science is not what you think: how it has changed, why we can't trust it, how it can be fixed.Henry H. Bauer - 2017 - Jefferson, North Carolina: McFarland & Company, Inc., Publishers.
    This book discusses the ways in which science, the touchstone of reliable knowledge in modern society, changed dramatically in the second half of the 20th century, becoming less trustworthy through excessive competitiveness and conflicts of interest.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  3
    Was ich tun muss: Praktische Notwendigkeit und persönliche Grenzen.Katharina Bauer - 2021 - Tübingen: Mohr Siebeck.
    Cover -- Titel -- Vorwort -- Inhaltsverzeichnis -- 1. ,Hier stehe ich...' -- Ausgangspunkte und Vorgehensweise -- 2. Praktische Notwendigkeit? -- Abgrenzungen und Einordnungen -- 2.1 Die Behauptung, etwas tun zu müssen -- 2.2 Eine widersinnige Terminologie? -- 2.3 Abgrenzung von Zwangshandlungen, Automatismen und vom Zwang durch Sanktionen -- 2.4 Frei-sein-wollen-Müssen und Anders-handeln-Können -- 3. Romantische und andere Notwendigkeiten -- Leitmotive -- 3.1 Romantische Notwendigkeiten -- Ein besonderes Gewicht -- 3.2 Ein individuelles Gesetz? -- Ein Ringen um Ganzheit.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 998