Characterizations of pretameness and the Ord-cc (Q2636530): Difference between revisions
From MaRDI portal
Changed an Item |
Created claim: Wikidata QID (P12): Q129997808, #quickstatements; #temporary_batch_1728564448551 |
||
(One intermediate revision by one other user not shown) | |||
Property / cites work | |||
Property / cites work: Hyperclass Forcing in Morse-Kelley Class Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3921212 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fine structure and class forcing / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Long projective wellorderings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: CLASS FORCING, THE FORCING THEOREM AND BOOLEAN COMPLETIONS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Set theory. An introduction to independence proofs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Forcing with proper classes / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q129997808 / rank | |||
Normal rank |
Latest revision as of 14:21, 10 October 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Characterizations of pretameness and the Ord-cc |
scientific article |
Statements
Characterizations of pretameness and the Ord-cc (English)
0 references
5 June 2018
0 references
class forcing
0 references
pretameness
0 references
Ord-cc
0 references
forcing theorem
0 references
nice names
0 references