Kelley-Morse+Types of well order is not a conservative extension of Kelley Morse
Archive for Mathematical Logic 33 (1):13-21 (1994)
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 theoryMy 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.
Individualist Ethics and the Welfare State. [REVIEW]Douglas J. Den Uyl - 2001 - Journal of Ayn Rand Studies 3 (1):109 - 115.
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.
Analytics
Added to PP
2013-12-01
Downloads
16 (#669,202)
6 months
1 (#448,551)
2013-12-01
Downloads
16 (#669,202)
6 months
1 (#448,551)
Historical graph of 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.
