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

Active Bibliography

Characterizing the interpretation of set theory in Martin-Löf type theory – Michael Rathjen, Sergei Tupailo
6 Realizability for constructive Zermelo-Fraenkel set theory – Michael Rathjen - 2004
1 CZF has the disjunction and numerical existence property – Michael Rathjen - 2004
1 Metamathematical Properties of Intuitionistic Set Theories with Choice Principles – Michael Rathjen
4 Relating first-order set theories, toposes and categories of classes – Steve Awodey, Thomas Streicher - 2006
10 Constructive set theories and their category-theoretic models – Alex Simpson - 2005
iii ACKNOWLEDGEMENTS – Luigi A. Warren, Luigi A. Warren, Ellen Rothenberg, Scott Fraser - 2008
1 On the Constructive Dedekind Reals – Robert S. Lubarsky, Michael Rathjen - 2008
On – Michael Rathjen, Robert S. Lubarsky