Pointwise definable models of set theory (Q4916549): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q55896321, #quickstatements; #temporary_batch_1711234560214 |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / arXiv ID | |||
Property / arXiv ID: 1105.4597 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Counting models of set theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some applications of Jensen's coding theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Large cardinals and definable well-orders on the universe / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Models of set theory with definable ordinals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Hypothesis that all Classes are Nameable / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5484945 / rank | |||
Normal rank |
Latest revision as of 10:02, 6 July 2024
scientific article; zbMATH DE number 6156706
Language | Label | Description | Also known as |
---|---|---|---|
English | Pointwise definable models of set theory |
scientific article; zbMATH DE number 6156706 |
Statements
Pointwise definable models of set theory (English)
0 references
23 April 2013
0 references
pointwise definable model
0 references
transitive model
0 references
countable model
0 references
class forcing extension
0 references
Gödel-Bernays set theory
0 references
first-order definable
0 references