Construction of Satisfaction Classes for Nonstandard Models
- 1 September 1981
- journal article
- Published by Canadian Mathematical Society in Canadian Mathematical Bulletin
- Vol. 24 (3), 283-293
- https://doi.org/10.4153/cmb-1981-045-3
Abstract
Given a resplendent model for Peano arithmetic there exists a full satisfaction class over , i.e. an assignment of truth-values, to all closed formulas in the sense of with parameters from , which satisfies the usual semantic rules. The construction is based on the consistency of an appropriate system of -logic which is proved by an analysis of standard approximations of nonstandard formulas.Keywords
This publication has 5 references indexed in Scilit:
- A rather classless modelProceedings of the American Mathematical Society, 1977
- An introduction to recursively saturated and resplendent modelsThe Journal of Symbolic Logic, 1976
- Admissible Sets and StructuresPublished by Springer Science and Business Media LLC ,1975
- Nonstandard logicThe Journal of Symbolic Logic, 1968
- On Languages Which are Based on Non-Standard ArithmeticNagoya Mathematical Journal, 1963