End-extensions preserving power set

&
Journal of Symbolic Logic 56 (1):323-328 (1991)
  Copy   BIBTEX

Abstract

We consider the quantifier hierarchy of Takahashi [1972] and show how it gives rise to reflection theorems for some large cardinals in ZF, a new natural subtheory of Zermelo's set theory, a potentially useful new reduction of the consistency problem for Quine's NF, and a sharpening of another reduction of this problem due to Boffa.

Categories

Keywords

Reprint years

DOI

10.2307/2274922

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

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

Through your library

My notes

Similar books and articles

On power set in explicit mathematics.Thomas Glass - 1996 - Journal of Symbolic Logic 61 (2):468-489.
Blunt and topless end extensions of models of set theory.Matt Kaufmann - 1983 - Journal of Symbolic Logic 48 (4):1053-1073.
Truth, Omniscience, and Cantorian Arguments: An Exchange.Alvin Plantinga & Patrick Grim - 1993 - Philosophical Studies 71 (3):267-306.
Higher set theory.Harvey Friedman - manuscript
Is any set theory true?Joseph S. Ullian - 1969 - Philosophy of Science 36 (3):271-279.
From Russell's paradox to.Harvey M. Friedman - unknown
Power-like models of set theory.Ali Enayat - 2001 - Journal of Symbolic Logic 66 (4):1766-1782.
Chains of end elementary extensions of models of set theory.Andrés Villaveces - 1998 - Journal of Symbolic Logic 63 (3):1116-1136.

Analytics

Added to PP
2009-01-28

Downloads
46 (#330,292)

6 months
11 (#196,102)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Thomas Forster
Cambridge University

Citations of this work

The strength of Mac Lane set theory.A. R. D. Mathias - 2001 - Annals of Pure and Applied Logic 110 (1-3):107-234.
Automorphisms of models of set theory and extensions of NFU.Zachiri McKenzie - 2015 - Annals of Pure and Applied Logic 166 (5):601-638.
On the relative strengths of fragments of collection.Zachiri McKenzie - 2019 - Mathematical Logic Quarterly 65 (1):80-94.
Initial self-embeddings of models of set theory.Ali Enayat & Zachiri Mckenzie - 2021 - Journal of Symbolic Logic 86 (4):1584-1611.

Add more citations

References found in this work

Typical Ambiguity.Ernst P. Specker - 1962 - In Ernest Nagel (ed.), Logic, methodology, and philosophy of science. Stanford, Calif.,: Stanford University Press. pp. 116--23.
Permutation Models in the Sense of Rieger‐Bernays.T. E. Forster - 1987 - Mathematical Logic Quarterly 33 (3):201-210.
Permutation Models in the Sense of Rieger-Bernays.T. E. Forster - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (3):201-210.

Add more references