Kelley-Morse+Types of well order is not a conservative extension of Kelley Morse

&
Archive for Mathematical Logic 33 (1):13-21 (1994)
  Copy   BIBTEX

Abstract

Assuming the consistency ofZF + “There is an inaccessible number of inaccessibles”, we prove that Kelley Morse theory plus types is not a conservative extension of Kelley-Morse theory

Categories

Keywords

Reprint years

DOI

10.1007/bf01275467

Links

PhilArchive



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

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

Types in class set theory and inaccessible cardinals.M. Victoria Marshall - 1996 - Archive for Mathematical Logic 35 (3):145-156.
On the Consistency of a Positive Theory.Olivier Esser - 1999 - Mathematical Logic Quarterly 45 (1):105-116.
An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory.Olivier Esser - 1997 - Mathematical Logic Quarterly 43 (3):369-377.
Hyperclass forcing in Morse-Kelley class theory.Carolin Antos & Sy-David Friedman - 2017 - Journal of Symbolic Logic 82 (2):549-575.
Fixed-points of Set-continuous Operators.O. Esser, R. Hinnion & D. Dzierzgowski - 2000 - Mathematical Logic Quarterly 46 (2):183-194.
The Solution of the Invariant Subspace Problem. Part I. Complex Hilbert space.Jaykov Foukzon - 2022 - Journal of Advances in Mathematics and Computer Science 37 (10):51-89.
Reflection in Second-Order Set Theory with Abundant Urelements Bi-Interprets a Supercompact Cardinal.Joel David Hamkins & Bokai Yao - forthcoming - Journal of Symbolic Logic:1-36.
Reflection Principles and Second-Order Choice Principles with Urelements.Bokai Yao - 2022 - Annals of Pure and Applied Logic 173 (4):103073.
Hyperclass Forcing in Morse-Kelley Class Theory.Carolin Antos & Sy-David Friedman - 2018 - In Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo (eds.), The Hyperuniverse Project and Maximality. Basel, Switzerland: Birkhäuser. pp. 17-46.
Internal Set Theory IST# Based on Hyper Infinitary Logic with Restricted Modus Ponens Rule: Nonconservative Extension of the Model Theoretical NSA.Jaykov Foukzon - 2022 - Journal of Advances in Mathematics and Computer Science 37 (7): 16-43.

Analytics

Added to PP
2013-12-01

Downloads
26 (#599,609)

6 months
8 (#505,181)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Types in class set theory and inaccessible cardinals.M. Victoria Marshall - 1996 - Archive for Mathematical Logic 35 (3):145-156.

Add more citations

References found in this work

Set theory.Thomas Jech - 1981 - Journal of Symbolic Logic.
Set Theory.T. Jech - 2005 - Bulletin of Symbolic Logic 11 (2):243-245.

Add more references