Choice principles in constructive and classical set theories (2002)

by Michael Rathjen
Venue:POHLERS (EDS.): PROCEEDINGS OF THE LOGIC COLLOQUIUM 2002
Citations:4 - 3 self

Documents Related by Co-Citation

119 The type theoretic interpretation of constructive set theory – P Aczel - 2001
44 Notes on Constructive Set Theory – Peter Aczel - 1997
400 Vulnerabilities Analysis – Matt Bishop - 1999
14 The Strength of Some Martin-Löf Type Theories – Michael Rathjen - 1994
6 The Anti-Foundation Axiom In Constructive Set Theories – M. Rathjen - 2003
8 Injectivity, projectivity, and the axiom of choice – A Blass - 1979
6 Continuity in intuitionistic set theories – M Beeson - 1979
11 Feferman: Constructive Theories of Functions and classes – S - 1979
7 The lack of definable witnesses and provably recursive functions in intuitionistic set theories – H Friedman, A - 1985
49 Constructive set theory – John Myhill - 1975
263 Foundations of Constructive Mathematics – M J Beeson - 1985
24 Set-theoretic foundations for constructive analysis – H Friedman - 1977
3 On hereditarily countable sets – T Jech - 1982
7 Admissible Sets and Structures (Springer-Verlag – J Barwise - 1975
8 Proof Theory – Wolfram Pohlers - 2009
49 The core model – A J Dodd - 1982
10 Independence results in set theory by Cohen’s method – Solomon Feferman, Azriel Levy - 1963
11 All uncountable cardinals can be singular – Moti Gitik - 1980
70 The Axiom of Choice – Thomas Jech - 1973