No label defined (Q4247804)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1302488
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1302488 |
Statements
9 January 2000
0 references
end extension
0 references
conservative extension
0 references
minimal extension
0 references
power-like model
0 references
Zermelo-Fraenkel set theory ZF
0 references
Peano arithmetic PA
0 references
survey
0 references
0.7841699123382568
0 references
0.7790827751159668
0 references
0.7670237421989441
0 references
This paper is a survey of results in the comparative model theory of Peano arithmetic PA and Zermelo-Fraenkel set theory ZF focusing on variants of the MacDowell-Specker-Gaifman-Phillips theorem about end extensions of models of PA and on variants of a corollary of the theorem about power-like models of PA. Variants are considered for models of set theory: end extensions, conservative extensions, minimal extensions, and power-like models, often with the help of large cardinal axioms. Some open questions are posed, too. For the entire collection see [Zbl 0905.00049].
0 references
