The first omitting cardinal for Magidority

&
Mathematical Logic Quarterly 65 (1):95-104 (2019)
  Copy   BIBTEX

Abstract

An infinite cardinal λ is Magidor if and only if. It is known that if λ is Magidor then for some, and the first such α is denoted by. In this paper we try to understand some of the properties of. We prove that can be the successor of a supercompact cardinal, when λ is a Magidor cardinal. From this result we obtain the consistency of being a successor of a singular cardinal with uncountable cofinality.

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.201800026

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,471

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

Omitting types for infinitary [ 0, 1 ] -valued logic.Christopher J. Eagle - 2014 - Annals of Pure and Applied Logic 165 (3):913-932.
Small universal families for graphs omitting cliques without GCH.Katherine Thompson - 2010 - Archive for Mathematical Logic 49 (7-8):799-811.
Many Normal Measures.Shimon Garti - 2014 - Notre Dame Journal of Formal Logic 55 (3):349-357.
Stationary Cardinals.Wenzhi Sun - 1993 - Archive for Mathematical Logic 32 (6):429-442.
Two cardinal models for singular µ.Shimon Garti & Saharon Shelah - 2007 - Mathematical Logic Quarterly 53 (6):636-641.
Omitting Types in an Intermediate Logic.Seyed-Mohammad Bagheri & Massoud Pourmahdian - 2011 - Studia Logica 97 (3):319-328.
Hanf number of omitting type for simple first-order theories.Saharon Shelah - 1979 - Journal of Symbolic Logic 44 (3):319-324.
Neat Embeddings, Omitting Types, and Interpolation: An Overview.Tarek Ahmed - 2003 - Notre Dame Journal of Formal Logic 44 (3):157-173.
An equiconsistency for universal indestructibility.Arthur W. Apter & Grigor Sargsyan - 2010 - Journal of Symbolic Logic 75 (1):314-322.
Neat Embeddings, Omitting Types, and Interpolation: An Overview.Tarek Sayed Ahmed - 2003 - Notre Dame Journal of Formal Logic 44 (3):157-173.
An Omitting Types Theorem for first order logic with infinitary relation symbols.Tarek Sayed Ahmed & Basim Samir - 2007 - Mathematical Logic Quarterly 53 (6):564-570.
Models Omitting Given Complete Types.Akito Tsuboi - 2008 - Notre Dame Journal of Formal Logic 49 (4):393-399.
More on the Least Strongly Compact Cardinal.Arthur W. Apter - 1997 - Mathematical Logic Quarterly 43 (3):427-430.
A Cardinal Pattern Inspired by AD.Arthur W. Apter - 1996 - Mathematical Logic Quarterly 42 (1):211-218.
Tall cardinals.Joel D. Hamkins - 2009 - Mathematical Logic Quarterly 55 (1):68-86.

Analytics

Added to PP
2019-05-05

Downloads
12 (#1,092,281)

6 months
4 (#799,214)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Suitable extender models II: Beyond ω-huge.W. Hugh Woodin - 2011 - Journal of Mathematical Logic 11 (2):115-436.

Add more references