-definability at uncountable regular cardinals

DOI10.2178/jsl/1344862172zbMath1257.03080OpenAlexW2170135945MaRDI QIDQ2915903

Philipp Lücke

Publication date: 19 September 2012

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

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

zbMATH Keywords

forcinggeneric absolutenessalmost disjoint codinggeneralized Baire space\(\Sigma_1^1\)-subsetcanonical function coding

Mathematics Subject Classification ID

Descriptive set theory (03E15) Other aspects of forcing and Boolean-valued models (03E40) Other notions of set-theoretic definability (03E47)

Related Items (13)

Kurepa trees and the failure of the Galvin property ⋮ Forcing axioms and the complexity of non-stationary ideals ⋮ Partition properties for simply definable colourings ⋮ Choiceless Ramsey theory of linear orders ⋮ Continuous images of closed sets in generalized Baire spaces ⋮ -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders ⋮ Simplest possible locally definable well-orders ⋮ Σ₁(κ)-DEFINABLE SUBSETS OF H(κ⁺) ⋮ Kurepa trees and spectra of \(\mathcal{L}_{\omega_1, \omega}\)-sentences ⋮ Large cardinals and definable well-orders, without the GCH ⋮ The Hurewicz dichotomy for generalized Baire spaces ⋮ Closed maximality principles and generalized Baire spaces ⋮ Inclusion modulo nonstationary

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Large cardinals and locally defined well-orders of the universe
• Trees and Ehrenfeucht-Fraïssé games
• Certain very large cardinals are not created in small forcing extensions
• Iterated Forcing and Elementary Embeddings
• Condensation and large cardinals
• A Cantor-Bendixson theorem for the space ${ω_1}^{ω_1}$
• On Scott and Karp trees of uncountable models
• L ∞λ -Equivalence, Isomorphism and Potential Isomorphism
• Long projective wellorderings
• Trees and -subsets of ^ω1ω₁
• The canary tree revisited
• The number of L_∞κ-equivalent nonisomorphic models for κ weakly compact
• Closed maximality principles: implications, separations and combinations
• Trees
• Generic absoluteness

This page was built for publication: -definability at uncountable regular cardinals