Shoenfield's absoluteness theorem

GPTKB entity

Statements (17)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo countable transitive models of ZFC
gptkbp:citation J. R. Shoenfield, 'Unramified Forcing', in Logic, Methodology and Philosophy of Science, 1962
gptkbp:concerns gptkb:arithmetical_hierarchy
analytic hierarchy
models of set theory
gptkbp:field gptkb:set_theory
https://www.w3.org/2000/01/rdf-schema#label Shoenfield's absoluteness theorem
gptkbp:implies projective determinacy for Σ₁² sets is absolute
gptkbp:namedAfter gptkb:Joseph_R._Shoenfield
gptkbp:publishedIn 1961
gptkbp:state Σ₁² statements are absolute between transitive models of ZFC containing the same ordinals
gptkbp:usedIn gptkb:descriptive_set_theory
model theory
forcing arguments
gptkbp:bfsParent gptkb:Joseph_R._Shoenfield
gptkbp:bfsLayer 8