Constructive set theory and Brouwerian principles

Article English OPEN
Rathjen, M;
(2005)
  • Publisher: Graz University of Technology, Institut für Informationssysteme und Computer Medien

The paper furnishes realizability models of constructive Zermelo-Fraenkel set theory, CZF, which also validate Brouwerian principles such as the axiom of continuous choice (CC), the fan theorem (FT), and monotone bar induction (BIM), and thereby determines the proof-the... View more
  • References (13)
    13 references, page 1 of 2

    1. P. Aczel: The type theoretic interpretation of constructive set theory: Choice principles. In: A.S. Troelstra and D. van Dalen, editors, The L.E.J. Brouwer Centenary Symposium (North Holland, Amsterdam 1982) 1{40.

    2. P. Aczel: The type theoretic interpretation of constructive set theory: Inductive de nitions. In: R.B. et al. Marcus, editor, Logic, Methodology and Philosophy of Science VII (North Holland, Amsterdam 1986) 17{49.

    3. P. Aczel, M. Rathjen: Notes on constructive set theory, Technical Report 40, Institut Mittag-Le er (The Royal Swedish Academy of Sciences, 2001). http://www.ml.kva.se/preprints/archive2000-2001.php

    4. J. Barwise: Admissible Sets and Structures (Springer-Verlag, Berlin, Heidelberg, New York, 1975).

    5. M. Beeson: Foundations of Constructive Mathematics. (Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, 1985).

    6. E. Bishop and D. Bridges: Constructive Analysis. (Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, 1985).

    7. D. Bridges, F. Richman: Varieties of constructive mathematics. LMS Lecture Notes Series 97 (Cambridge University Press,Cambridge,1987).

    8. L.E.J. Brouwer: Weten, willen, spreken (Dutch). Euclides 9 (1933) 177-193.

    9. L. Crosilla and M. Rathjen: Inaccessible set axioms may have little consistency strength Annals of Pure and Applied Logic 115 (2002) 33{70.

    10. M. Dummett: Elements of intuitionism. Second edition (Clarendon Press,Oxford,2000)

  • Similar Research Results (3)
  • Related Organizations (1)
  • Metrics
Share - Bookmark