- 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
Cofinal Indiscernibles and some Applications to New Foundations
Mathematical Logic Quarterly 40 (3):347-356 (1994)
Abstract
We prove a theorem about models with indiscernibles that are cofinal in a given linear order. We apply this theorem to obtain new independence results for Quine's set theory New Foundations, thus solving two open problems in this fieldMy notes
Similar books and articles
Some remarks on indiscernible sequences.Enrique Casanovas - 2003 - Mathematical Logic Quarterly 49 (5):475-478.
Local order property in nonelementary classes.Rami Grossberg & Olivier Lessmann - 2000 - Archive for Mathematical Logic 39 (6):439-457.
Simple monadic theories and indiscernibles.Achim Blumensath - 2011 - Mathematical Logic Quarterly 57 (1):65-86.
The Hauptsatz for Stratified Comprehension: A Semantic Proof.Marcel Crabbé - 1994 - Mathematical Logic Quarterly 40 (4):481-489.
Prolegomena of a logic of causality and dynamism.P. Bellot, J.-P. Cottin, B. Robinet, D. Sarni, J. Leneutre & E. Zarpas - 1999 - Studia Logica 62 (1):77-105.
Prolegomena of a Logic of Causality and Dynamism.Patrick Bellot, Jean-Pierre Cottin, Bernard Robinet, Djamil Sarni, J. Leneutre & Emmanuel Zarpas - 1999 - Studia Logica 62 (1):77-105.
Indiscernibles and satisfaction classes in arithmetic.Ali Enayat - forthcoming - Archive for Mathematical Logic:1-23.
Canonical formulas for wk4.Guram Bezhanishvili & Nick Bezhanishvili - 2012 - Review of Symbolic Logic 5 (4):731-762.
Dividing and chain conditions.Enrique Casanovas - 2003 - Archive for Mathematical Logic 42 (8):815-819.
Analytics
Added to PP
2013-12-01
Downloads
7 (#603,698)
6 months
2 (#1,816,284)
2013-12-01
Downloads
7 (#603,698)
6 months
2 (#1,816,284)
Historical graph of downloads
Citations of this work
Automorphisms of models of set theory and extensions of NFU.Zachiri McKenzie - 2015 - Annals of Pure and Applied Logic 166 (5):601-638.
Strong axioms of infinity in NFU.M. Randall Holmes - 2001 - Journal of Symbolic Logic 66 (1):87-116.
Strong axioms of infinity in NFU.M. Randall Holmes - 2001 - Journal of Symbolic Logic 66 (1):87-116.
Automorphisms moving all non-algebraic points and an application to NF.Friederike Körner - 1998 - Journal of Symbolic Logic 63 (3):815-830.
Models of intuitionistic TT and N.Daniel Dzierzgowski - 1995 - Journal of Symbolic Logic 60 (2):640-653.
References found in this work
Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Type-raising operations on cardinal and ordinal numbers in Quine's "new foundations".C. Ward Henson - 1973 - Journal of Symbolic Logic 38 (1):59-68.
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-s5tms uwo