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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,286

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.
Reflection in Second-Order Set Theory with Abundant Urelements Bi-Interprets a Supercompact Cardinal.Joel David Hamkins & Bokai Yao - 2024 - Journal of Symbolic Logic 89 (3):1007-1043.
Reflection Principles and Second-Order Choice Principles with Urelements.Bokai Yao - 2022 - Annals of Pure and Applied Logic 173 (4):103073.
Classes and truths in set theory.Kentaro Fujimoto - 2012 - Annals of Pure and Applied Logic 163 (11):1484-1523.
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
39 (#674,811)

6 months
8 (#632,187)

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.T. Jech - 2005 - Bulletin of Symbolic Logic 11 (2):243-245.
Set theory.Thomas Jech - 1981 - Journal of Symbolic Logic.

Add more references