Maximal models up to the first measurable in ZFC

&
Journal of Mathematical Logic 24 (1) (2023)
  Copy   BIBTEX

Abstract

Theorem: There is a complete sentence [Formula: see text] of [Formula: see text] such that [Formula: see text] has maximal models in a set of cardinals [Formula: see text] that is cofinal in the first measurable [Formula: see text] while [Formula: see text] has no maximal models in any [Formula: see text].

Categories

Keywords

Reprint years

2024

DOI

10.1142/s0219061322500118

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,438

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

Indestructibility and measurable cardinals with few and many measures.Arthur W. Apter - 2008 - Archive for Mathematical Logic 47 (2):101-110.
Weakly measurable cardinals.Jason A. Schanker - 2011 - Mathematical Logic Quarterly 57 (3):266-280.
The number of normal measures.Sy-David Friedman & Menachem Magidor - 2009 - Journal of Symbolic Logic 74 (3):1069-1080.
Indestructibility, measurability, and degrees of supercompactness.Arthur W. Apter - 2012 - Mathematical Logic Quarterly 58 (1):75-82.
Hanf numbers for extendibility and related phenomena.John T. Baldwin & Saharon Shelah - 2022 - Archive for Mathematical Logic 61 (3):437-464.
Forcing the Least Measurable to Violate GCH.Arthur W. Apter - 1999 - Mathematical Logic Quarterly 45 (4):551-560.
Indestructibility, instances of strong compactness, and level by level inequivalence.Arthur W. Apter - 2010 - Archive for Mathematical Logic 49 (7-8):725-741.
Indestructibility and level by level equivalence and inequivalence.Arthur W. Apter - 2007 - Mathematical Logic Quarterly 53 (1):78-85.
Filters and large cardinals.Jean-Pierre Levinski - 1995 - Annals of Pure and Applied Logic 72 (2):177-212.
A model with a measurable which does not carry a normal measure.Eilon Bilinsky & Moti Gitik - 2012 - Archive for Mathematical Logic 51 (7-8):863-876.
Elementary embeddings and infinitary combinatorics.Kenneth Kunen - 1971 - Journal of Symbolic Logic 36 (3):407-413.
On measurable limits of compact cardinals.Arthur W. Apter - 1999 - Journal of Symbolic Logic 64 (4):1675-1688.
Coding into HOD via normal measures with some applications.Arthur W. Apter & Shoshana Friedman - 2011 - Mathematical Logic Quarterly 57 (4):366-372.
Closure properties of measurable ultrapowers.Philipp Lücke & Sandra Müller - 2021 - Journal of Symbolic Logic 86 (2):762-784.
Some Remarks on Normal Measures and Measurable Cardinals.Arthur W. Apter - 2001 - Mathematical Logic Quarterly 47 (1):35-44.

Analytics

Added to PP
2023-05-25

Downloads
7 (#1,369,174)

6 months
4 (#790,778)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Universal Algebra.George Grätzer - 1982 - Studia Logica 41 (4):430-431.
The amalgamation spectrum.John T. Baldwin, Alexei Kolesnikov & Saharon Shelah - 2009 - Journal of Symbolic Logic 74 (3):914-928.

View all 7 references / Add more references