Mostowski collapse lemma

GPTKB entity

Statements (11)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo well-founded extensional relations
gptkbp:field gptkb:set_theory
https://www.w3.org/2000/01/rdf-schema#label Mostowski collapse lemma
gptkbp:namedAfter gptkb:Andrzej_Mostowski
gptkbp:sentence Every well-founded extensional relation is isomorphic to the membership relation on a unique transitive set.
gptkbp:usedIn gptkb:set_theory
model theory
gptkbp:yearProposed 1949
gptkbp:bfsParent gptkb:Andrzej_Mostowski
gptkbp:bfsLayer 6