dbo:abstract
|
- PCF theory is the name of a mathematical theory, introduced by Saharon Shelah, that deals with the cofinality of the ultraproducts of ordered sets. It gives strong upper bounds on the cardinalities of power sets of singular cardinals, and has many more applications as well. The abbreviation "PCF" stands for "possible cofinalities". (en)
- 집합론에서 가능 공종도(可能共終度, 영어: possible cofinalities, 약자 pcf)는 어떤 정칙 기수의 집합의 모든 가능한 초곱들의 공종도들의 집합이다. (ko)
- Teoria PCF (od ang. possible cofinalities), teoria możliwych współkońcowości – dział teorii mnogości związany z arytmetyką liczb kardynalnych. Jednym z centralnych obiektów rozważanych w tej teorii jest zbiór współkońcowości pewnych zredukowanych porządków produktowych. Stworzył ją izraelski matematyk Saharon Shelah w latach 80. XX wieku i do dziś jest ona rozwijana, głównie przez niego. Wyniki tej teorii demonstrują, że – mimo dużej kolekcji twierdzeń niezależnościowych w arytmetyce liczb kardynalnych – wciąż można dowieść wielu własności na gruncie aksjomatyki Zermela-Fraenkla (ZFC), o ile zadaje się właściwe pytania. Z teorii możliwych współkońcowości można także wywnioskować nowe prawa klasycznej arytmetyki liczb kardynalnych. (pl)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 5233 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
dbp:wikiPageUsesTemplate
| |
dcterms:subject
| |
gold:hypernym
| |
rdf:type
| |
rdfs:comment
|
- PCF theory is the name of a mathematical theory, introduced by Saharon Shelah, that deals with the cofinality of the ultraproducts of ordered sets. It gives strong upper bounds on the cardinalities of power sets of singular cardinals, and has many more applications as well. The abbreviation "PCF" stands for "possible cofinalities". (en)
- 집합론에서 가능 공종도(可能共終度, 영어: possible cofinalities, 약자 pcf)는 어떤 정칙 기수의 집합의 모든 가능한 초곱들의 공종도들의 집합이다. (ko)
- Teoria PCF (od ang. possible cofinalities), teoria możliwych współkońcowości – dział teorii mnogości związany z arytmetyką liczb kardynalnych. Jednym z centralnych obiektów rozważanych w tej teorii jest zbiór współkońcowości pewnych zredukowanych porządków produktowych. (pl)
|
rdfs:label
|
- 가능 공종도 (ko)
- PCF theory (en)
- Teoria PCF (pl)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:knownFor
of | |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageWikiLink
of | |
is dbp:knownFor
of | |
is foaf:primaryTopic
of | |