Solovay model

GPTKB entity

Statements (17)
Predicate Object
gptkbp:instanceOf gptkb:logic
gptkbp:assumes existence of an inaccessible cardinal
gptkbp:compatibleWith Axiom of Choice (full)
gptkbp:consistencyRelativeTo ZFC + existence of an inaccessible cardinal
gptkbp:contrastsWith gptkb:ZFC
gptkbp:field gptkb:set_theory
gptkbp:hasConcept model of ZF + DC + all sets of reals are Lebesgue measurable
https://www.w3.org/2000/01/rdf-schema#label Solovay model
gptkbp:introduced gptkb:Robert_M._Solovay
gptkbp:introducedIn 1970
gptkbp:namedAfter gptkb:Robert_M._Solovay
gptkbp:property all sets of real numbers have the perfect set property
all sets of real numbers are Lebesgue measurable
all sets of real numbers have the property of Baire
gptkbp:usedIn gptkb:descriptive_set_theory
gptkbp:bfsParent gptkb:Cohen's_forcing
gptkbp:bfsLayer 5