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

6 Realizability for constructive Zermelo-Fraenkel set theory – Michael Rathjen - 2004
1 Metamathematical Properties of Intuitionistic Set Theories with Choice Principles – Michael Rathjen
Characterizing the interpretation of set theory in Martin-Löf type – Michael Rathjen, Sergei Tupailo, Leeds Ls Jt
1 CZF has the disjunction and numerical existence property. Available from the author’s web page www.amsta.leeds.ac.uk/Pure/staff/rathjen/preprints.html – Michael Rathjen - 2004
9 Constructive set theories and their category-theoretic models – Alex Simpson - 2005
3 Relating first-order set theories, toposes and categories of classes – Steve Awodey, Thomas Streicher - 2006
10 Aspects of predicative algebraic set theory I: Exact Completion – Benno Van Den Berg, Ieke Moerdijk
Constructive Toposes with Countable Sums as Models of Constructive Set Theory – Alex Simpson
16 Inaccessibility in Constructive Set Theory and Type Theory – Michael Rathjen, Erik Palmgren - 1998
2 Elementary constructive operational set theory. To appear in: Festschrift for Wolfram Pohlers, Ontos Verlag – A. Cantini, L. Crosilla, Dedicated Prof, Wolfram Pohlers
18 Presheaf models of constructive set theories – Nicola Gambino - 2004
6 The Anti-Foundation Axiom In Constructive Set Theories – M. Rathjen - 2003
The Triumph of Types: Principia Mathematica’s Impact on Computer Science – Robert L. Constable
TYPES, SETS AND CATEGORIES – John L. Bell
6 Constructive Mathematics, in Theory and Programming Practice – Douglas Bridges, Steve Reeves - 1997
7 Aspects of predicative algebraic set theory II: Realizability. Accepted for publication in Theoretical Computer Science – Benno Van Den Berg, Ieke Moerdijk - 2009
Kripke models for subtheories of CZF – Rosalie Iemhoff
4 A brief introduction to algebraic set theory – Steve Awodey
unknown title – Steve Awodey