Ordinal definable set

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual
rdfs:label	Ordinal definable set
owl:sameAs	dbr:Ordinal_definable_set
skos:prefLabel	Ordinal definable set
skos:altLabel	V=HOD hereditarily ordinal definable ordinal definable set
is clgo:knownFor of	Kurt Gödel

About: clgr:Ordinal_definable_set