Premium
ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC
Author(s) -
Murawski Roman
Publication year - 1992
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19920380106
Subject(s) - peano axioms , arithmetic , mathematics , computer science , discrete mathematics
We consider iterations of satisfaction classes and apply them to construct expansions of models of Peano arithmetic to models of A − 2 |Δ 1 1 +∑ 1 1 ‐AC. 1991 MSC: 03F35, 03C62.