Back
Interations of satisfaction classes and models of Peano arithmetic
Authors:
- Roman Murawski
Abstract
We consider iterations of satisfaction classes and apply them to construct expansions of models of Peano arithmetic to models of A −2|Δ 11+∑ 11‐AC. 1991 MSC: 03F35, 03C62. Copyright © 1992 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim
- Record ID
- UAMc8e8cbdf6eb84ec28faa76278b5f1404
- Author
- Journal series
- Mathematical Logic Quarterly, ISSN 0942-5616
- Issue year
- 1992
- Vol
- 38
- Pages
- 59-84
- ASJC Classification
- DOI
- DOI:10.1002/malq.19920380106 Opening in a new tab
- Language
- (en) English
- Score (nominal)
- 0
- Score source
- journalList
- Publication indicators
- = 0; = 0; : 1999 = 1.180; : 2006 (2 years) = 0.629 - 2007 (5 years) =0.288
Share
- Uniform Resource Identifier
- https://researchportal.amu.edu.pl/info/article/UAMc8e8cbdf6eb84ec28faa76278b5f1404/
- URN
urn:amu-prod:UAMc8e8cbdf6eb84ec28faa76278b5f1404
* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or PerishOpening in a new tab system.