Choice principles in constructive and classical set theories

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

106	The type-theoretic interpretation of constructive set theory: inductive definitions – P Aczel - 1986
40	Notes on Constructive Set Theory – Peter Aczel - 1997
342	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	projectivity and the axiom of choice – A R Blass, Injectivity - 1979
6	Continuity in intuitionistic set theories – M Beeson - 1979
7	The lack of definable witnesses and provably recursive functions in intuitionistic set theories – H Friedman, A - 1985
11	Feferman: Constructive Theories of Functions and classes – S - 1979
45	Constructive set theory – J Myhill - 1975
21	Set-theoretic foundations for constructive analysis Ann – H Friedman - 1977
237	Foundations of Constructive Mathematics – M J Beeson - 1985
3	On hereditarily countable sets – T Jech - 1982
7	Proof Theory – W POHLERS - 1989
7	Independence results in set theory by Cohen’s method – A Levy - 1963
7	Admissible Sets and Structures (Springer-Verlag – J Barwise - 1975
59	Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies – Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg - 1981
63	The axiom of choice – T J Jech - 1973
9	All uncountable cardinals can be singular – M Gitik