- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Is ZF a hack?
Journal of Applied Logic 4 (4):622-645 (2006)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Freek wiedijk (ed.), The seventeen provers of the world.Reinhard Kahle - 2007 - Studia Logica 87 (2-3):369-374.
Nuprl. Ch 14 of" The Seventeen Provers of the World", Freek Wiedijk ed, foreword by Dana Scott.Paul Jackson - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 116--126.
A note on the diagonalizable algebras of PA and ZF.V. Yu Shavrukov - 1993 - Annals of Pure and Applied Logic 61 (1-2):161-173.
ZF and its interpretations.S. Jockwich Martinez, S. Tarafder & G. Venturi - 2024 - Annals of Pure and Applied Logic 175 (6):103427.
Four cardinals and their relations in ZF.Lorenz Halbeisen, Riccardo Plati, Salome Schumacher & Saharon Shelah - 2023 - Annals of Pure and Applied Logic 174 (2):103200.
CZF and second order arithmetic.Robert S. Lubarsky - 2006 - Annals of Pure and Applied Logic 141 (1):29-34.
A Π12 singleton incompatible with 0#.M. C. Stanley - 1994 - Annals of Pure and Applied Logic 66 (1):27-88.
The real core model and its scales.Daniel W. Cunningham - 1995 - Annals of Pure and Applied Logic 72 (3):213-289.
Is there a set of reals not in K(R)?Daniel W. Cunningham - 1998 - Annals of Pure and Applied Logic 92 (2):161-210.
ZF and Locally Finite Groups.J. M. Plotkin - 1981 - Mathematical Logic Quarterly 27 (23‐24):375-379.
Analytics
Added to PP
2016-06-30
Downloads
11 (#1,165,043)
6 months
5 (#710,905)
2016-06-30
Downloads
11 (#1,165,043)
6 months
5 (#710,905)
Historical graph of downloads
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-kftwx uwo