- 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
Relating Quine's NF to Feferman's EM
Studia Logica 62 (2):141-162 (1999)
Abstract
We show that, if non-uniform impredicative stratified comprehension is assumed, Feferman's theories of explicit mathematics are consistent with a strong power type axiom. This result answers a problem, raised by Jäger. The proof relies upon an interpretation into Quine's set theory NF with urelements.Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Symmetry as a Criterion for Comprehension Motivating Quine’s ‘New Foundations’.M. Randall Holmes - 2008 - Studia Logica 88 (2):195-213.
The Hauptsatz for Stratified Comprehension: A Semantic Proof.Marcel Crabbé - 1994 - Mathematical Logic Quarterly 40 (4):481-489.
The equivalence of NF-Style set theories with "tangled" theories; the construction of ω-models of predicative NF (and more).M. Randall Holmes - 1995 - Journal of Symbolic Logic 60 (1):178-190.
Systems of combinatory logic related to predicative and ‘mildly impredicative’ fragments of Quine's ‘New Foundations’.M. Randall Holmes - 1993 - Annals of Pure and Applied Logic 59 (1):45-53.
Consistency of strictly impredicative NF and a little more ….Sergei Tupailo - 2010 - Journal of Symbolic Logic 75 (4):1326-1338.
The axiom of infinity in Quine's new foundations.J. Barkley Rosser - 1952 - Journal of Symbolic Logic 17 (4):238-242.
Extensional quotients for type theory and the consistency problem for NF.Gian Antonelli - 1998 - Journal of Symbolic Logic 63 (1):247-261.
On power set in explicit mathematics.Thomas Glass - 1996 - Journal of Symbolic Logic 61 (2):468-489.
On the consistency of an impredicative subsystem of Quine's NF.Marcel Crabbé - 1982 - Journal of Symbolic Logic 47 (1):131-136.
Analytics
Added to PP
2009-01-28
Downloads
111 (#437,428)
6 months
17 (#698,773)
2009-01-28
Downloads
111 (#437,428)
6 months
17 (#698,773)
Historical graph of downloads
Author's Profile
Citations of this work
Theories of types and names with positive stratified comprehension.Pierluigi Minari - 1999 - Studia Logica 62 (2):215-242.
Explicit mathematics: power types and overloading.Thomas Studer - 2005 - Annals of Pure and Applied Logic 134 (2-3):284-302.
References found in this work
H. Jerome Keisler. Model theory. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 141–150.C. C. Chang - 1973 - Journal of Symbolic Logic 38 (4):648.
On the consistency of a slight (?) Modification of quine'smew foundations.Ronald Björn Jensen - 1968 - Synthese 19 (1-2):250 - 264.
Power types in explicit mathematics?Gerhard Jager - 1997 - Journal of Symbolic Logic 62 (4):1142-1146.
Understanding uniformity in Feferman's explicit mathematics.Thomas Glaß - 1995 - Annals of Pure and Applied Logic 75 (1-2):89-106.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
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