End-extensions preserving power set

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


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.



    Upload a copy of this work     Papers currently archived: 94,439

External links

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

Through your library


Added to PP

53 (#297,001)

6 months
18 (#192,829)

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