Some applications of short core models

DOI10.1016/0168-0072(88)90026-7MaRDI QIDQ1099171zbMATH OpenOpenAlexFDO

Authors Peter Koepke

Publication date 1988

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(88)90026-7

zbMATH Keywords

Chang's conjectureconsistency strength of combinatorial principlesfree subset propertyinner modelsJónsson cardinalsmeasurable cardinalsnon-closure property of elementary embeddings of the universeshort core models

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55)

Review text

The author reviews the main properties of short core models (which arise in the study of inner models with a sequence of measurable cardinals) and applies his theory to get estimates on the consistency strength of various combinatorial principles in terms of the existence of inner models with many measurable cardinals. The principles considered include instances of Chang's conjecture, ``accessible Jónsson cardinals, the free subset property and a non-closure property of elementary embeddings of the universe.

Recommendations

• Some consistency strength analyses using higher core models
• Core models
• scientific article; zbMATH DE number 994189
• scientific article; zbMATH DE number 1390274
• On the consistency strength of accessible Jonsson cardinals and of the weak Chang conjecture

Cites work

• \(\aleph_\omega\) may have a strong partition relation
• A Nonconstructible Δ 1 3 Set of Integers
• scientific article; zbMATH DE number 3861143 (Why is no real title available?)
• scientific article; zbMATH DE number 3529851 (Why is no real title available?)
• scientific article; zbMATH DE number 3336797 (Why is no real title available?)
• scientific article; zbMATH DE number 3356764 (Why is no real title available?)
• Independence of strong partition relation for small cardinals, and the free-subset problem
• Model theory
• Non-closure of the image model and absence of fixed points
• On the consistency strength of accessible Jonsson cardinals and of the weak Chang conjecture
• Set theory. An introduction to large cardinals
• Sets constructed from sequences of measures: Revisited
• Sets constructible from sequences of ultrafilters
• The consistency strength of the free-subset property for ω_ω
• The core model for sequences of measures. I
• The covering lemma for L[U]

Cited in

(16)

• Some descriptive set theory and core models
• On the free subset property at singular cardinals
• Order types of free subsets
• More canonical forms and dense free subsets.
• The consistency strength of \(\aleph_\omega\) and \(\aleph_{\omega_1}\) being Rowbottom cardinals without the axiom of choice
• Homogeneously Souslin sets in small inner models
• Some consistency strength analyses using higher core models
• Simplest possible locally definable well-orders
• Co-stationarity of the ground model
• A Short Note on Containment of Cores
• On possible non-homeomorphic substructures of the real line
• Measurable cardinals and good \(\Sigma_1(\kappa)\)-wellorderings
• scientific article; zbMATH DE number 5242355 (Why is no real title available?)
• -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders
• On _1-definable closed unbounded sets
• Models for short sequences of measures in the cofinality- constructible model

This page was built for publication: Some applications of short core models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1099171)