Appendix to the paper ``Definable sets and expansions of models of Peano arithmetic'' (Q914670)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Appendix to the paper ``Definable sets and expansions of models of Peano arithmetic |
scientific article; zbMATH DE number 4150154
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Appendix to the paper ``Definable sets and expansions of models of Peano arithmetic'' |
scientific article; zbMATH DE number 4150154 |
Statements
Appendix to the paper ``Definable sets and expansions of models of Peano arithmetic'' (English)
0 references
1990
0 references
The author fills a gap in the proof of Theorem 12 of his paper mentioned in the title [ibid. 27, No.1, 21-33 (1988; Zbl 0645.03031)].
0 references
Peano arithmetic
0 references
expandability
0 references
nonstandard model
0 references
recursively saturated model
0 references
nonstandard definability
0 references
countable models
0 references
satisfaction classes
0 references
