In mathematics, a nice name is a set-theoretical concept used in forcing to impose an upper bound on the number of subsets in the generic model. It is a technical concept used in the context of forcing to prove independence results in set theory such as Easton's theorem.

PropertyValue
dbpprop:abstract
  • In mathematics, a nice name is a set-theoretical concept used in forcing to impose an upper bound on the number of subsets in the generic model. It is a technical concept used in the context of forcing to prove independence results in set theory such as Easton's theorem.
dbpprop:hasPhotoCollection
rdfs:comment
  • In mathematics, a nice name is a set-theoretical concept used in forcing to impose an upper bound on the number of subsets in the generic model. It is a technical concept used in the context of forcing to prove independence results in set theory such as Easton's theorem.
rdfs:label
  • Nice name
owl:sameAs
skos:subject
foaf:page