Σ<sub>1</sub>(<i>κ</i>)-DEFINABLE SUBSETS OF H(<i>κ</i><sup>+</sup>) (Q5359578): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Normalize DOI.
 
(6 intermediate revisions by 5 users not shown)
Property / DOI
 
Property / DOI: 10.1017/jsl.2017.36 / rank
Normal rank
 
Property / author
 
Property / author: Ralf-Dieter Schindler / rank
Normal rank
 
Property / author
 
Property / author: Ralf-Dieter Schindler / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2751908908 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1710.09766 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The bounded proper forcing axiom and well orderings of the reals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on <i>ω</i><sub>1</sub> / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5439451 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Δ<sub>1</sub>-Definability of the non-stationary ideal at successor cardinals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ramsey-like cardinals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ramsey-like cardinals II / rank
 
Normal rank
Property / cites work
 
Property / cites work: The bounded proper forcing axiom / rank
 
Normal rank
Property / cites work
 
Property / cites work: Locally Σ<sub>1</sub>-definable well-orders of H(κ<sup>+</sup>) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Simplest possible locally definable well-orders / rank
 
Normal rank
Property / cites work
 
Property / cites work: Set Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Precipitous ideals / rank
 
Normal rank
Property / cites work
 
Property / cites work: <i>K</i>Without the Measurable / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4805123 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4830329 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Forcing over Models of Determinacy / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Brief History of Determinacy / rank
 
Normal rank
Property / cites work
 
Property / cites work: -definability at uncountable regular cardinals / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Hurewicz dichotomy for generalized Baire spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Precipitous ideals and \(\sum^1_4\) sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Trees and -subsets of <sup>ω1</sup>ω<sub>1</sub> / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4291791 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5322161 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Optimal Proofs of Determinacy / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Core Model Toolbox and Guide / rank
 
Normal rank
Property / cites work
 
Property / cites work: Semi-proper forcing, remarkable cardinals, and Bounded Martin's Maximum / rank
 
Normal rank
Property / cites work
 
Property / cites work: Thin equivalence relations and inner models / rank
 
Normal rank
Property / cites work
 
Property / cites work: PERFECT SUBSETS OF GENERALIZED BAIRE SPACES AND LONG GAMES / rank
 
Normal rank
Property / cites work
 
Property / cites work: Greatly Erdős cardinals with some generalizations to the Chang and Ramsey properties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Inner models with many Woodin cardinals / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Outline of Inner Model Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complexity of reals in inner models of set theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: The axiom of determinacy, forcing axioms, and the nonstationary ideal / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1017/JSL.2017.36 / rank
 
Normal rank

Latest revision as of 16:46, 30 December 2024

scientific article; zbMATH DE number 6779963
Language Label Description Also known as
English
Σ<sub>1</sub>(<i>κ</i>)-DEFINABLE SUBSETS OF H(<i>κ</i><sup>+</sup>)
scientific article; zbMATH DE number 6779963

    Statements

    Σ<sub>1</sub>(<i>κ</i>)-DEFINABLE SUBSETS OF H(<i>κ</i><sup>+</sup>) (English)
    0 references
    0 references
    0 references
    0 references
    26 September 2017
    0 references
    \(\Sigma_1\)-definability
    0 references
    lightface formulas
    0 references
    large cardinals
    0 references
    well-orders
    0 references
    club filter
    0 references
    nonstationary ideal
    0 references
    Bernstein sets
    0 references
    iterated ultrapowers
    0 references
    iterated generic ultrapowers
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references