Cofinal Indiscernibles and some Applications to New Foundations

Mathematical Logic Quarterly 40 (3):347-356 (1994)
  Copy   BIBTEX

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 field

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The Identity of Indiscernibles as a Logical Truth.Gerald Keaney - 2007 - Crossroads 1 (2):28-36 Free Online.
Russell and the Identity of Indiscernibles.Michael C. Bradley - 1986 - History of Philosophy Quarterly 3 (3):325 - 333.
Two spheres, twenty spheres, and the identity of indiscernibles.Michael Della Rocca - 2005 - Pacific Philosophical Quarterly 86 (4):480–492.
The identity of indiscernibles and the co-location problem.Robin Jeshion - 2006 - Pacific Philosophical Quarterly 87 (2):163–176.
Simple monadic theories and indiscernibles.Achim Blumensath - 2011 - Mathematical Logic Quarterly 57 (1):65-86.
Models without indiscernibles.Fred G. Abramson & Leo A. Harrington - 1978 - Journal of Symbolic Logic 43 (3):572-600.
Max Black on the identity of indiscernibles.Charles B. Cross - 1995 - Philosophical Quarterly 45 (180):350-360.
Indiscernibles and Trope Transferability.Eric M. Peng - 2008 - Proceedings of the Xxii World Congress of Philosophy 17:121-127.

Analytics

Added to PP
2013-12-01

Downloads
5 (#1,344,154)

6 months
1 (#1,040,386)

Historical graph of downloads
How can I increase my 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.
Models of intuitionistic TT and N.Daniel Dzierzgowski - 1995 - Journal of Symbolic Logic 60 (2):640-653.

View all 7 citations / Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Logic for mathematicians.J. Barkley Rosser - 1953 - Mineola, N.Y.: Dover Publications.
Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.
Logic for Mathematicians.H. B. Enderton - 1980 - Journal of Symbolic Logic 45 (3):631-632.

Add more references