Mostowski collapse

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:alsoKnownAs gptkb:Mostowski_collapsing_lemma
gptkbp:appliesTo well-founded extensional relations
gptkbp:describes process of mapping well-founded extensional relations to transitive sets
gptkbp:field gptkb:set_theory
gptkbp:firstPublished 1949
https://www.w3.org/2000/01/rdf-schema#label Mostowski collapse
gptkbp:namedAfter gptkb:Andrzej_Mostowski
gptkbp:result unique transitive set and isomorphism
gptkbp:usedIn model theory
set-theoretic constructions
gptkbp:bfsParent gptkb:Set_theory
gptkbp:bfsLayer 5