^1_1-definability at uncountable regular cardinals

DOI10.2178/JSL/1344862172zbMATH Open1257.03080OpenAlexW2170135945MaRDI QIDQ2915903FDOQ2915903

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)

Cites Work

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

Cited In (17)

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

This page was built for publication: \(\Sigma ^{1}_{1}\)-definability at uncountable regular cardinals

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