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

124 The type theoretic interpretation of constructive set theory: inductive definitions – Nicola Gambino, Peter Aczel - 1986
442 Vulnerabilities Analysis – Matt Bishop - 1999
52 2001] Notes on constructive set theory – P Aczel, M Rathjen
278 Foundations of Constructive Mathematics – M Beeson - 1985
349 Set theory. An introduction to independence proofs – Kenneth Kunen - 1980
53 Constructive Set Theory – J Myhill - 1975
27 Set-theoretic foundations for constructive analysis – H Friedman
15 The Strength of Some Martin-Löf Type Theories – Michael Rathjen - 1994
200 1975] Admissible Sets and Structures – J Barwise - 1975