Canonical functions, non-regular ultrafilters and Ulam's problem on ω1

DOI10.2178/jsl/1058448434zbMath1057.03040MaRDI QIDQ3160564

Oliver Deiser, Dieter Donder

Publication date: 9 February 2005

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1058448434

zbMATH Keywords

consistency; domination; combinatorial principles; Ulam problem; equiconsistency; canonical functions; limit of measurable cardinals

Mathematics Subject Classification ID

03E35: Consistency and independence results

03E55: Large cardinals

Related Items

BOUNDING BY CANONICAL FUNCTIONS, WITH CH, Incompatible bounded category forcing axioms, 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09, Projective well-orderings and bounded forcing axioms, Weak saturation properties and side conditions, Covering theorems for the core model, and an application to stationary set reflection, On a convenient property about \([\gamma^{\aleph_0}\)], The canonical function game, More on regular and decomposable ultrafilters in ZFC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some principles related to Chang's conjecture
• On the consistency strength of accessible Jonsson cardinals and of the weak Chang conjecture
• Model theory.
• Forcings with ideals and simple forcing notions
• Large cardinal axioms and independence: The continuum problem revisited
• Weakly Normal Filters and Irregular Ultrafilters
• Nonregular Ultrafilters and Large Cardinals
• Regularity properties of ideals and ultrafilters
• BOUNDING BY CANONICAL FUNCTIONS, WITH CH