^1_1-definability at uncountable regular cardinals
Let \(\kappa\) be an uncountable regular cardinal. The set of all functions \(f : \kappa \rightarrow \kappa\) is called the generalized Baire space for \(\kappa\). Let \(\kappa\) be an uncountable regular cardinal with \(\kappa = \kappa^{<\kappa}\), \(A \subseteq {}^{\kappa}\kappa\). The author shows that there is a \(<\kappa\)-closed forcing \(\mathbb{P}\) that satisfies the \(\kappa^+\)-chain condition and forces \(A\) to be a \(\Delta_1^1\)-subset of \({}^{\kappa}\kappa\) in every \(\mathbb{P}\)-generic extension of \(V\).NEWLINENEWLINE The author gives some applications of this result: (1) Given a set \(x\), there is a partial order with the above properties that forces \(x\) to be an element of \(L(\mathcal{P}(\kappa))\). (2) There is a partial order with the above properties forcing the existence of a well-ordering of \({}^{\kappa}\kappa\) whose graph is a \(\Delta_2^1\)-subset of \({}^{\kappa}\kappa \times {}^{\kappa}\kappa\). (3) The author shows that generic absoluteness for \(\Sigma_3^1({}^{\kappa}\kappa)\)-formulae under \(<\kappa\)-closed forcing that satisfy the \(\kappa^+\)-chain condition is inconsistent.
- A Cantor-Bendixson theorem for the space ${ω_1}^{ω_1}$
- Certain very large cardinals are not created in small forcing extensions
- Closed maximality principles: implications, separations and combinations
- Condensation and large cardinals
- Generic absoluteness
- scientific article; zbMATH DE number 1163933 (Why is no real title available?)
- scientific article; zbMATH DE number 218608 (Why is no real title available?)
- scientific article; zbMATH DE number 1450237 (Why is no real title available?)
- scientific article; zbMATH DE number 3351572 (Why is no real title available?)
- Iterated forcing and elementary embeddings
- L ∞λ -Equivalence, Isomorphism and Potential Isomorphism
- Large cardinals and locally defined well-orders of the universe
- Long projective wellorderings
- On Scott and Karp trees of uncountable models
- The canary tree revisited
- The number of L∞κ-equivalent nonisomorphic models for κ weakly compact
- Trees
- Trees and -subsets of ω1ω1
- Trees and Ehrenfeucht-Fraïssé games
- Choiceless Ramsey theory of linear orders
- Forcing axioms and the complexity of non-stationary ideals
- Partition properties for simply definable colourings
- Kurepa trees and spectra of \(\mathcal{L}_{\omega_1, \omega}\)-sentences
- Closed maximality principles and generalized Baire spaces
- Simplest possible locally definable well-orders
- The independence of
- Perfect subsets of generalized Baire spaces and long games
- Generic extensions of models of ZFC
- Large cardinals and definable well-orders, without the GCH
- Definable combinatorics at the first uncountable cardinal
- The Hurewicz dichotomy for generalized Baire spaces
- Kurepa trees and the failure of the Galvin property
- Δ1-Definability of the non-stationary ideal at successor cardinals
- \(\Sigma_1(\kappa)\)-definable subsets of \(\mathrm{H}(\kappa^+)\)
- -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders
- Strongly unfoldable, splitting and bounding
- Kurepa trees, continuous images, and perfect set properties
- Inclusion modulo nonstationary
- 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)
