1![Realizability for Constructive Zermelo-Fraenkel Set Theory Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OH 43210, U.S.A. Realizability for Constructive Zermelo-Fraenkel Set Theory Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OH 43210, U.S.A.](https://www.pdfsearch.io/img/01cbcfa447f6555e126556a679adf40f.jpg) | Add to Reading ListSource URL: www1.maths.leeds.ac.ukLanguage: English |
---|
2![The Disjunction and Related Properties for Constructive Zermelo-Fraenkel Set Theory Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OH 43210, U.S.A. The Disjunction and Related Properties for Constructive Zermelo-Fraenkel Set Theory Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OH 43210, U.S.A.](https://www.pdfsearch.io/img/236b07f12336d33344330fb007368bae.jpg) | Add to Reading ListSource URL: www1.maths.leeds.ac.ukLanguage: English - Date: 2012-10-11 14:59:30
|
---|
3![Lifschitz Realizability for Intuitionistic Zermelo-Fraenkel Set Theory RAY-MING CHEN, School of Mathematics, University of Leeds Leeds LS2 9JT, UK, E-mail: MICHAEL RATHJEN, School of Mathematics, Un Lifschitz Realizability for Intuitionistic Zermelo-Fraenkel Set Theory RAY-MING CHEN, School of Mathematics, University of Leeds Leeds LS2 9JT, UK, E-mail: MICHAEL RATHJEN, School of Mathematics, Un](https://www.pdfsearch.io/img/853dcd4da1fa44923c027ee3ba85a2d3.jpg) | Add to Reading ListSource URL: www1.maths.leeds.ac.ukLanguage: English - Date: 2012-10-11 08:28:56
|
---|
4![Chapter 15 Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions Michael Rathjen Chapter 15 Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions Michael Rathjen](https://www.pdfsearch.io/img/ec1681564bb6e2dfe433926ab4e70559.jpg) | Add to Reading ListSource URL: www1.maths.leeds.ac.ukLanguage: English - Date: 2012-08-30 05:01:48
|
---|
5![Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience Michael Rathjen Department of Pure Mathematics University of Leeds, Leeds LS2 9JT, England E-mail: Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience Michael Rathjen Department of Pure Mathematics University of Leeds, Leeds LS2 9JT, England E-mail:](https://www.pdfsearch.io/img/750eb107dee093f7c436684d81a37300.jpg) | Add to Reading ListSource URL: www1.maths.leeds.ac.ukLanguage: English - Date: 2013-04-19 06:45:40
|
---|
6![THREE DAYS OF Ω-LOGIC PAUL B. LARSON The Zermelo-Fraenkel axioms for set theory with the Axiom of Choice (ZFC) form the most commonly accepted foundations for mathematical practice, yet it is well-known that many mathe THREE DAYS OF Ω-LOGIC PAUL B. LARSON The Zermelo-Fraenkel axioms for set theory with the Axiom of Choice (ZFC) form the most commonly accepted foundations for mathematical practice, yet it is well-known that many mathe](https://www.pdfsearch.io/img/caaa06c71a850f134f7a9ebc241f7bea.jpg) | Add to Reading ListSource URL: www.users.miamioh.eduLanguage: English - Date: 2011-11-30 07:32:02
|
---|
7![Are Collections Sets? Karen M. Wickett, Allen H. Renear Jonathan Furner Center for Informatics Research in Science and Scholarship Are Collections Sets? Karen M. Wickett, Allen H. Renear Jonathan Furner Center for Informatics Research in Science and Scholarship](https://www.pdfsearch.io/img/a9f3aa57cc455e850ddff7d3d790da52.jpg) | Add to Reading ListSource URL: www.asis.orgLanguage: English - Date: 2014-07-19 18:54:34
|
---|
8![An infinitely descending sequence of sound theories each proving the next consistent (Brief technical note) Benja Fallenstein This document is part of a collection of quick writeups of results from the December 2013 MIRI An infinitely descending sequence of sound theories each proving the next consistent (Brief technical note) Benja Fallenstein This document is part of a collection of quick writeups of results from the December 2013 MIRI](https://www.pdfsearch.io/img/f80b7223d60642b0ac3916526bda27f0.jpg) | Add to Reading ListSource URL: intelligence.orgLanguage: English - Date: 2014-05-19 14:37:06
|
---|
9![VOL. 50, 1963 MATHEMATICS: P. J. COHEN 1143 VOL. 50, 1963 MATHEMATICS: P. J. COHEN 1143](https://www.pdfsearch.io/img/cd7d1ee438490d465fb84d08193d0c48.jpg) | Add to Reading ListSource URL: tobymeadows.files.wordpress.comLanguage: English - Date: 2010-06-14 22:03:08
|
---|
10![Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg](https://www.pdfsearch.io/img/696aa89ae63763a662dbc3137debe8a0.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2012-05-03 11:20:49
|
---|