Mostowski collapse lemma

Property	Value
rdf:type	owl:NamedIndividual Lemma
rdfs:label	Mostowski collapse lemma
owl:sameAs	dbr:Mostowski_collapse_lemma
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Representation_theorem http://en.wikipedia.org/wiki/Category:Lemmas http://en.wikipedia.org/wiki/List_of_lemmas
skos:prefLabel	Mostowski collapse lemma
skos:altLabel	Mostowski collapse Mostowski's collapsing theorem
is clgo:knownFor of	Andrzej Mostowski

About: clgr:Mostowski_collapse_lemma