forcing

in set theory, a technique for enlarging models of axioms of set theory (e.g. ZFC) by adjoining new elements, often used for proving consistency and independence results

Wikidata entity: Q1003136

P2534 defining formula Math M[G]={val⁡(u,G)|u∈M(ℙ)} ???
P1889 different from ... Q7289554 (ramified forcing) ramified forcing
P61 discoverer or inventor ... Q216809 (Paul Cohen) Paul Cohen
P7235 in defining formula Math G ???
P7235 in defining formula Math M ???
P31 instance of ... Q3918374 (scientific technique) scientific technique
P6104 maintained by WikiProject ... Q8487137 (WikiProject Mathematics) WikiProject Mathematics
P361 part of ... Q12482 (set theory) set theory
P1482 Stack Exchange tag Url Newest 'forcing' Questions - MathOverflow ???
P910 topic's main category ... Q8465461 (Category:Forcing (mathematics)) Category:Forcing (mathematics)
External Ids
P2581BabelNet ID00739900n
P2581BabelNet ID00739900n
P1417Encyclopædia Britannica Online IDtopic/forcing-mathematics
P646Freebase ID/m/013tlv
P8408KBpedia IDForcingMathematics
P2812MathWorld IDForcing
P6366Microsoft Academic ID (discontinued)197115733
P10283OpenAlex IDC197115733

Why not click here or view trends?

log id: 7550097