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: 91,252

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.
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.
On the Consistency of a Positive Theory.Olivier Esser - 1999 - Mathematical Logic Quarterly 45 (1):105-116.
Fixed-points of Set-continuous Operators.O. Esser, R. Hinnion & D. Dzierzgowski - 2000 - Mathematical Logic Quarterly 46 (2):183-194.
Teaching Temperance to the “Cookie Monster”: Ethical Challenges to Data Mining and Direct Marketing.John Morse & Suzanne Morse - 2002 - Business and Society Review 107 (1):76-97.
Mereological sets of distributive classes.Andrzej Pietruszczak - 1996 - Logic and Logical Philosophy 4:105-122.
Variations in sending Morse code.Charles Windle - 1955 - Journal of Experimental Psychology 50 (1):75.
SU(1, 1) Perturbations of the s-Wave Morse Potential Problem.Haluk Beker - 1998 - Foundations of Physics 28 (6):999-1004.
Afscheid van Jaco.Jan van Eijck - unknown
Individualist Ethics and the Welfare State. [REVIEW]Douglas J. Den Uyl - 2001 - Journal of Ayn Rand Studies 3 (1):109 - 115.
Logic of paradoxes in classical set theories.Boris Čulina - 2013 - Synthese 190 (3):525-547.
Reasoning about Art.David Kelley - 2001 - Journal of Ayn Rand Studies 2 (2):335 - 340.
The relative difficulty of Morse code alphabet characters learned by the whole method.S. D. S. Spragg - 1943 - Journal of Experimental Psychology 33 (2):108.
A1 is not a conservative extension of s4 but of S.Michiro Kondo - 1989 - Journal of Philosophical Logic 18 (3):321 - 323.
The Three Actors (Kelley Rees) The Rule of Three Actors in the Classical Greek Drama; a Dissertation … for the Degree of Doctor of Philosophy. By Kelley Rees. University of Chicago Press, 1908. Small Quarto, pp. 86. Price, $79. [REVIEW]A. W. Verrall - 1909 - The Classical Review 23 (06):191-193.

Analytics

Added to PP
2013-12-01

Downloads
21 (#700,240)

6 months
5 (#565,734)

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