Results for ' den Berg'

983 found
Order:
  1.  33
    Jan Hendrik van den Berg Answers Some Questions.J. H. van den Berg & Robert D. Romanyshyn - 2008 - Janus Head 10 (2):377-383.
    In this interview with Jan Hendrik van den Berg, the Dutch phenomenologist and psychiatrist addresses the origins of his work, his most significant influences, and the purpose of metabletic phenomenology in the modern age. In the course of the interview. Dr. Van den Berg provides a basic overview of his work, and highlights the central finding of his metabletic analyses: a loss of wonder before nature, which results from the more fundamental loss of genuine spirituality in the modern (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. The human body and the significance of human movement: A phenomenological study.J. H. Van Den Berg - 1952 - Philosophy and Phenomenological Research 13 (2):159-183.
  3.  63
    What is psychotherapy?J. H. Van den Berg - forthcoming - Humanitas.
  4.  21
    Theoretical signposts for tracing spirituality within the fluid decision-making of a mobile virtual reality.Jan-Albert Van den Berg - 2012 - HTS Theological Studies 68 (2).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  11
    Metabletica en wetenschap: kritische bestandsopname van het werk van J.H. van den Berg.J. H. van den Berg & J. van Belzen (eds.) - 1997 - Rotterdam: Erasmus Publishing.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Kant’s conception of proper science.Hein van den Berg - 2011 - Synthese 183 (1):7-26.
    Kant is well known for his restrictive conception of proper science. In the present paper I will try to explain why Kant adopted this conception. I will identify three core conditions which Kant thinks a proper science must satisfy: systematicity, objective grounding, and apodictic certainty. These conditions conform to conditions codified in the Classical Model of Science. Kant’s infamous claim that any proper natural science must be mathematical should be understood on the basis of these conditions. In order to substantiate (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  7. Explanation, teleology, and analogy in natural history and comparative anatomy around 1800: Kant and Cuvier.Hein van den Berg - 2024 - Studies in History and Philosophy of Science Part A 105 (C):109-119.
    This paper investigates conceptions of explanation, teleology, and analogy in the works of Immanuel Kant (1724-1804) and Georges Cuvier (1769-1832). Richards (2000, 2002) and Zammito (2006, 2012, 2018) have argued that Kant’s philosophy provided an obstacle for the project of establishing biology as a proper science around 1800. By contrast, Russell (1916), Outram (1986), and Huneman (2006, 2008) have argued, similar to suggestions from Lenoir (1989), that Kant’s philosophy influenced the influential naturalist Georges Cuvier. In this article, I wish to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8. Accardi on quantum theory and the "fifth axiom" of probability.Hans Van Den Berg, Dick Hoekzema & Hans Radder - 1990 - Philosophy of Science 57 (1):149-157.
    In this paper we investigate Accardi's claim that the "quantum paradoxes" have their roots in probability theory and that, in particular, they can be evaded by giving up Bayes' rule, concerning the relation between composite and conditional probabilities. We reach the conclusion that, although it may be possible to give up Bayes' rule and define conditional probabilities differently, this contributes nothing to solving the philosophical problems which surround quantum mechanics.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Systematicity, the Life Sciences, and the Possibility of Laws Concerning Life.Hein van den Berg - 2025 - In Gabriele Gava, Thomas Sturm & Achim Vesper (eds.), Kant and the systematicity of the sciences. New York: Routledge.
    In this paper I discuss in what sense physics, chemistry, and the life sciences constitute a systematic unity according to Kant. I start by discussing Christian Wolff’s views on the hierarchy of sciences. I then argue that in one specific sense physics, chemistry and several life sciences constitute a unity: physics and chemistry provide statements that can be used to provide proofs in the life sciences. However, the unity of physics, chemistry, and the life sciences is limited in scope, since (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. Metabletica van God: de drie voornaamste veranderingen.van den Berg & H. J. - 1995 - Kampen: Kok Agora.
    No categories
     
    Export citation  
     
    Bookmark  
  11.  10
    ’n Bestuurshulpmiddel vir doelmatige en doeltreffende kerkbestuur: ’n Generiese perspektief vir ’n makro-gemeente.A. A. Van den Berg - 2003 - HTS Theological Studies 59 (4).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  13
    Why Are General Moral Values Poor Predictors of Concrete Moral Behavior in Everyday Life? A Conceptual Analysis and Empirical Study.Tom Gerardus Constantijn van den Berg, Maarten Kroesen & Caspar Gerard Chorus - 2022 - Frontiers in Psychology 13:817860.
    Within moral psychology, theories focusing on the conceptualization and empirical measurement of people’s morality in terms of general moral values –such as Moral Foundation Theory- (implicitly) assume general moral values to be relevant concepts for the explanation and prediction of behavior in everyday life. However, a solid theoretical and empirical foundation for this idea remains work in progress. In this study we explore this relationship between general moral values and daily life behavior through a conceptual analysis and an empirical study. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13. Theoretical virtues in eighteenth-century debates on animal cognition.Hein van den Berg - 2020 - History and Philosophy of the Life Sciences 42 (3):1-35.
    Within eighteenth-century debates on animal cognition we can distinguish at least three main theoretical positions: (i) Buffon’s mechanism, (ii) Reimarus’ theory of instincts, and (iii) the sensationalism of Condillac and Leroy. In this paper, I adopt a philosophical perspective on this debate and argue that in order to fully understand the justification Buffon, Reimarus, Condillac, and Leroy gave for their respective theories, we must pay special attention to the theoretical virtues these naturalists alluded to while justifying their position. These theoretical (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  14. The gift of Hermes : the Neoplatonists on language and philosophy.Robbert van den Berg - 2014 - In Svetla Slaveva-Griffin & Pauliina Remes (eds.), The Routledge Handbook of Neoplatonism. New York: Routledge.
     
    Export citation  
     
    Bookmark   1 citation  
  15.  17
    The intentionality of feelings.J. H. Van den Berg - forthcoming - Humanitas.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  16
    Ethics for evaluation: beyond "doing no harm" to "tackling bad" and "doing good".Rob D. Van Den Berg, Penny Hawkins & Nicoletta Stame (eds.) - 2021 - New York,NY: Routledge/Taylor & Francis Group.
    untangled and ordered in a theoretical framework focusing on evaluations doing no harm, tackling bad and doing good. Divided into four parts a diverse group of subject experts present a practical look at ethics, utilizing practical experience to analyze how ethics have been applied in evaluations, and how new approaches can shape the future of ethics. The chapters collectively create a common understanding of the potential role of ethics to infuse policy decisions and stakeholder initiatives with evaluations that provide better (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17. Kant and the scope of analogy in the life sciences.Hein van den Berg - 2018 - Studies in History and Philosophy of Science Part A 71:67-76.
    In the present paper I investigate the role that analogy plays in eighteenth-century biology and in Kant’s philosophy of biology. I will argue that according to Kant, biology, as it was practiced in the eighteenth century, is fundamentally based on analogical reflection. However, precisely because biology is based on analogical reflection, biology cannot be a proper science. I provide two arguments for this interpretation. First, I argue that although analogical reflection is, according to Kant, necessary to comprehend the nature of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  18.  28
    Fechner’s law in metacognition: A quantitative model of visual working memory confidence.Ronald van den Berg, Aspen H. Yoo & Wei Ji Ma - 2017 - Psychological Review 124 (2):197-214.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  29
    Figures of Disengagement: Charles Taylor, Scientific Parenting, and the Paradox of Late Modernity.Luc Van den Berge & Stefan Ramaekers - 2014 - Educational Theory 64 (6):607-625.
    In this essay Luc Van den Berge and Stefan Ramaekers take the idea of “scientific parenting” as an example of ambiguities that are typical of our late-modern condition. On the one hand, parenting seems like a natural thing to do, which makes “scientific parenting” sound like an oxymoron; on the other hand, a disengaged stance informed by the latest scientific findings is uncritically demanded of parents, as such an approach is conceived of as a panacea. Instead of taking sides in (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  40
    On the relation between elementary partial difference equations and partial differential equations.I. P. van den Berg - 1998 - Annals of Pure and Applied Logic 92 (3):235-265.
    The nonstandard stroboscopy method links discrete-time ordinary difference equations of first-order and continuous-time, ordinary differential equations of first order. We extend this method to the second order, and also to an elementary, yet general class of partial difference/differential equations, both of first and second order. We thus obtain straightforward discretizations and continuizations, even avoiding change of variables. In fact, we create intermediary objects: partial difference equations with S-continuous solutions, which have both discrete and continuous properties.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  34
    A Kuroda-style j-translation.Benno van den Berg - 2019 - Archive for Mathematical Logic 58 (5):627-634.
    A nucleus is an operation on the collection of truth values which, like double negation in intuitionistic logic, is monotone, inflationary, idempotent and commutes with conjunction. Any nucleus determines a proof-theoretic translation of intuitionistic logic into itself by applying it to atomic formulas, disjunctions and existentially quantified subformulas, as in the Gödel–Gentzen negative translation. Here we show that there exists a similar translation of intuitionistic logic into itself which is more in the spirit of Kuroda’s negative translation. The key is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  69
    Models of non-well-founded sets via an indexed final coalgebra theorem.Benno van Den Berg & Federico de Marchi - 2007 - Journal of Symbolic Logic 72 (3):767-791.
    The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of functors on finitely complete and cocomplete categories. As an instance of this result, we build the final coalgebra for the powerclass functor, in the context of a Heyting pretopos with a class of small maps. This is then proved to provide models for various non-well-founded set theories, depending on the chosen axiomatisation (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  15
    Anschauen, Benutzen, Beschmutzen.Karen Van den Berg & Markus Rieger-Ladich - 2009 - Zeitschrift für Ästhetik Und Allgemeine Kunstwissenschaft 54 (2):75-96.
    Die verstärkte Aufmerksamkeit, die Dingen und Artefakten neuerdings entgegengebracht wird, hat in der Folge dazu geführt, dass immer häufiger auch die Architekturen von Schulgebäuden auf ihre Effekte hin befragt werden. Dabei zeigt sich jedoch, dass es theoretisch wenig befriedigend ist, diese lediglich als sog. »dritte Erzieher« zu betrachten. Um deren Wirkungen zu erklären, werden häufig Anleihen bei ästhetischen Modellen gemacht. Diese Form der Interpretation versuchen wir in unserem Beitrag zu problematisieren, indem wir die ästhetischen Positionen Martin Seels und Jacques Rancières (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  74
    Physical Activity in the School Setting: Cognitive Performance Is Not Affected by Three Different Types of Acute Exercise.Vera van den Berg, Emi Saliasi, Renate H. M. de Groot, Jelle Jolles, Mai J. M. Chinapaw & Amika S. Singh - 2016 - Frontiers in Psychology 7.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  25.  73
    Kant on Proper Science: Biology in the Critical Philosophy and the Opus postumum.Hein van den Berg - 2014 - Dordrecht: Springer Science + Business Media.
    Biology in the Critical Philosophy and the Opus postumum Hein van den Berg. Parts of Chap. 2 have been previously published in Hein van den Berg (2011), “ Kant's Conception of Proper Science.” Synthese 183 (1): 7–26. Parts of Chap.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  26. Kants Coherentisme en Conceptualisme: Commentaar op Schultings Kant's Radical Subjectivism.Hein Van Den Berg - 2018 - Tijdschrift Voor Filosofie 2 (80):355-361.
    In this paper I provide some critical comments on Schulting’s Kant’s Radical Subjectivism (2017). I will focus on two aspects of Schulting’s reading of Kant: his reading of Kant as a coherentist and his reading of Kant as a conceptualist. I will argue that it is not clear whether Kant accepts a form of coherentism and I will discuss reflections of Kant on animals that may be difficult to square with a conceptualist reading of Kant.
     
    Export citation  
     
    Bookmark  
  27.  56
    Concerning the Festive and the Mundane.J. H. van den Berg - 1997 - Journal of Phenomenological Psychology 28 (2):196-234.
    The festive and the quotidian offer two fundamentally different perspectives on the human world. The quotidian attitude opens to us a workaday world structured by mental and physical barriers which require to be leveled or removed. The festive attitude gives access to a world of the threshold in which we play the role of host and guest and in which it is possible for things and living beings to make their personal appearance. Modernity can be understood as an era in (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  28.  29
    Reverse Mathematics and parameter-free Transfer.Benno van den Berg & Sam Sanders - 2019 - Annals of Pure and Applied Logic 170 (3):273-296.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  20
    Moral foundations theory and the narrative self: towards an improved concept of moral selfhood for the empirical study of morality.Tom Gerardus Constantijn van den Berg & Luigi Dennis Alessandro Corrias - forthcoming - Phenomenology and the Cognitive Sciences:1-27.
    Within the empirical study of moral decision making, people’s morality is often identified by measuring general moral values through a questionnaire, such as the Moral Foundations Questionnaire provided by Moral Foundations Theory (MFT). However, the success of these moral values in predicting people’s behaviour has been disappointing. The general and context-free manner in which such approaches measure moral values and people’s moral identity seems crucial in this respect. Yet, little research has been done into the underlying notion of self. This (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30. Axiomatic Natural Philosophy and the Emergence of Biology as a Science.Hein van den Berg & Boris Demarest - 2020 - Journal of the History of Biology 53 (3):379-422.
    Ernst Mayr argued that the emergence of biology as a special science in the early nineteenth century was possible due to the demise of the mathematical model of science and its insistence on demonstrative knowledge. More recently, John Zammito has claimed that the rise of biology as a special science was due to a distinctive experimental, anti-metaphysical, anti-mathematical, and anti-rationalist strand of thought coming from outside of Germany. In this paper we argue that this narrative neglects the important role played (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  31.  42
    Aspects of predicative algebraic set theory I: Exact Completion.Benno van den Berg & Ieke Moerdijk - 2008 - Annals of Pure and Applied Logic 156 (1):123-159.
    This is the first in a series of papers on Predicative Algebraic Set Theory, where we lay the necessary groundwork for the subsequent parts, one on realizability [B. van den Berg, I. Moerdijk, Aspects of predicative algebraic set theory II: Realizability, Theoret. Comput. Sci. . Available from: arXiv:0801.2305, 2008], and the other on sheaves [B. van den Berg, I. Moerdijk, Aspects of predicative algebraic set theory III: Sheaf models, 2008 ]. We introduce the notion of a predicative category (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  32.  31
    De charme van de savanne: Onderzoek naar landschapsvoorkeuren [The charm of the savanna: Inquiry into landscape preferences].Agnes van den Berg - forthcoming - Topos.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. On hallucinating: Critical–historical overview and guidelines for further study.J. H. Van den Berg - 1982 - In A. J. J. de Koning & F. A. Jenner (eds.), Phenomenology and psychiatry. New York: Grune & Stratton.
    No categories
     
    Export citation  
     
    Bookmark   5 citations  
  34. A blooming and buzzing confusion: Buffon, Reimarus, and Kant on animal cognition.Hein van den Berg - 2018 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 72:1-9.
    Kant’s views on animals have received much attention in recent years. According to some, Kant attributed the capacity for objective perceptual awareness to non-human animals, even though he denied that they have concepts. This position is difficult to square with a conceptualist reading of Kant, according to which objective perceptual awareness requires concepts. Others take Kant’s views on animals to imply that the mental life of animals is a blooming, buzzing confusion. In this article I provide a historical reconstruction of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  35. (1 other version)Leven in meervoud.van den Berg & Jan Hendrik - 1963 - Nijkerk,: G. F. Callenbach.
     
    Export citation  
     
    Bookmark  
  36.  5
    Wokabulary: kritisch wokewoordenboek.Floris van den Berg - 2022 - Soesterberg: Uitgeverij Aspekt.
    Het woord 'woke' duikt steeds vaker op in de media. Woke is niet alleen een nieuwe ideologie, maar creë̈ert tevens een heel eigen vocabulaire. Woke-woorden komen vaak uit het Engels, zoals cultural appropriation, safe space, bipoc of gas lighting, terwijl ook allerlei Nederlandse woorden en begrippen, zoals diversiteit, inclusiviteit, transfobie of 'mensen met een vagina' in het woke-jargon een specifieke betekenis hebben gekregen. De verhitte debatten over woke vinden met name plaats in de culturele sector, het onderwijs, de politiek, het (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. Kant’s Ideal of Systematicity in Historical Context.Hein van den Berg - 2021 - Kantian Review 26 (2):261-286.
    This article explains Kant’s claim that sciences must take, at least as their ideal, the form of a ‘system’. I argue that Kant’s notion of systematicity can be understood against the background of de Jong & Betti’s Classical Model of Science (2010) and the writings of Georg Friedrich Meier and Johann Heinrich Lambert. According to my interpretation, Meier, Lambert, and Kant accepted an axiomatic idea of science, articulated by the Classical Model, which elucidates their conceptions of systematicity. I show that (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  38. Phenomenology and metabletics.J. H. Van den Berg - 1971 - Humanitas 7 (3):279-290.
  39.  51
    Parenting Support and the Role of Society in Parental Self‐Understanding: Furedi's Paranoid Parenting Revisited.Luc Van den Berge - 2013 - Journal of Philosophy of Education 47 (3):391-406.
    The publication of Frank Furedi's Paranoid Parenting in 2001 was trend-setting in the sense that it addresses parents directly in a way that is intended to be both critical and supportive, by helping parents to look through a sociological lens at their alleged predicament. Furedi's hope is that this will lead to the restoration of parental self-confidence, which he claims to be sorely lacking in contemporary (Western?) society. I argue that such a project would be more likely to succeed if (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  45
    Moreel Esperanto, by Paul Cliteur.Floris van den Berg - 2007 - Philosophy Now 61:44-45.
  41.  38
    On Hallucinating.J. H. van den Berg - 1975 - Journal of Phenomenological Psychology 6 (1):1-16.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  42.  10
    Die invloed van meta-teorieë op basisteorieë in die beoefening van die Praktiese Teologie.H. P. Van den Berg & T. F. J. Dreyer - 1995 - HTS Theological Studies 51 (1):207-223.
    Meta-theories, base-theories and theories of practice in Pratical Theology The problem of meta-theories and base-theories, their interaction and the influence of each on the scientific process, have widely been debated in practical theology. In South Africa two meta-theories namely the system- theory together with the theory that social science is busy with the study of actions, are having the greater deal of attention. The purpose of this article is to point out the fact that an early and absolute choice of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  61
    A functional interpretation for nonstandard arithmetic.Benno van den Berg, Eyvind Briseid & Pavol Safarik - 2012 - Annals of Pure and Applied Logic 163 (12):1962-1994.
    We introduce constructive and classical systems for nonstandard arithmetic and show how variants of the functional interpretations due to Gödel and Shoenfield can be used to rewrite proofs performed in these systems into standard ones. These functional interpretations show in particular that our nonstandard systems are conservative extensions of E-HAω and E-PAω, strengthening earlier results by Moerdijk and Palmgren, and Avigad and Helzner. We will also indicate how our rewriting algorithm can be used for term extraction purposes. To conclude the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  44.  29
    Extended use of IST.I. P. Van den Berg - 1992 - Annals of Pure and Applied Logic 58 (1):73-92.
    Van den Berg, I.P., Extended use of IST, Annals of Pure and Applied Logic 58 73–92. Internal Set Theory is an axiomatic approach to nonstandard analysis, consisting of three axiom schemes, Transfer , Idealization , and Standardization . We show that the range of application of these axiom schemes may be enlarged with respect to the original formulation. Not only more kinds of formulas are allowed, but also different settings. Many examples illustrate these extensions. Most concern formal aspects of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  45.  40
    Factorial comparison of working memory models.Ronald van den Berg, Edward Awh & Wei Ji Ma - 2014 - Psychological Review 121 (1):124-149.
  46.  63
    Non-deterministic inductive definitions.Benno van den Berg - 2013 - Archive for Mathematical Logic 52 (1-2):113-135.
    We study a new proof principle in the context of constructive Zermelo-Fraenkel set theory based on what we will call “non-deterministic inductive definitions”. We give applications to formal topology as well as a predicative justification of this principle.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  7
    Philosophy for a better world.Floris van den Berg - 2013 - Amherst, New York: Prometheus Books.
    "After reading this book, the world won't look the same. Imagine yourself confined to a wheelchair; or living within the severely constricted lifestyle options of a woman in Saudi Arabia; or being a homosexual in a homophobic society; or a coffee farmer in Ethiopia; or a cow on a factory farm; or growing up impoverished in a developing country; or living 500 years from now when future generations may be negatively impacted by what we do today. This compelling thought experiment (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  29
    Das ausgestellte Museum.Karen van den Berg - 2017 - Paragrana: Internationale Zeitschrift für Historische Anthropologie 26 (1):57-72.
    Name der Zeitschrift: Paragrana Jahrgang: 26 Heft: 1 Seiten: 57-72.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  30
    The social costs of punishment.Pieter van den Berg, Lucas Molleman & Franz J. Weissing - 2012 - Behavioral and Brain Sciences 35 (1):42-43.
    Lab experiments on punishment are of limited relevance for understanding cooperative behavior in the real world. In real interactions, punishment is not cheap, but the costs of punishment are of a different nature than in experiments. They do not correspond to direct payments or payoff deductions, but they arise from the repercussions punishment has on social networks and future interactions.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  50.  80
    The axiom of multiple choice and models for constructive set theory.Benno van den Berg & Ieke Moerdijk - 2014 - Journal of Mathematical Logic 14 (1):1450005.
    We propose an extension of Aczel's constructive set theory CZF by an axiom for inductive types and a choice principle, and show that this extension has the following properties: it is interpretable in Martin-Löf's type theory. In addition, it is strong enough to prove the Set Compactness theorem and the results in formal topology which make use of this theorem. Moreover, it is stable under the standard constructions from algebraic set theory, namely exact completion, realizability models, forcing as well as (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 983