Locally Σ1-definable well-orders of H(κ+)

DOI10.4064/FM226-3-2zbMath1341.03075OpenAlexW2320441726MaRDI QIDQ5168575

Peter Holy, Philipp Lücke

Publication date: 7 July 2014

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4064/fm226-3-2

zbMATH Keywords

forcingdefinable well-ordersfailure of GCH

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other notions of set-theoretic definability (03E47)

Related Items (6)

Continuous images of closed sets in generalized Baire spaces ⋮ -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders ⋮ Σ₁(κ)-DEFINABLE SUBSETS OF H(κ⁺) ⋮ Forcing lightface definable well-orders without the GCH ⋮ Closed maximality principles and generalized Baire spaces ⋮ \(\Sigma_1\)-wellorders without collapsing

This page was built for publication: Locally Σ₁-definable well-orders of H(κ⁺)