Q1003136

From Wikidata
Jump to: navigation, search

Forcing (Q1003136)[edit]

technique invented by Paul Cohen for proving consistency and independence results [edit]

No aliases defined. [add]

Statements