ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC
type: Item
instance of: scholarly article
title: ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC
zbMATH Open document ID: 0803.03040
author: Roman Murawski
published in: Mathematical Logic Quarterly
publication date: 1994-06-08T00:00:00Z
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 03C62
zbMATH DE Number: 584611
zbMATH Keywords: models of arithmetic
zbMATH Keywords: expandability
zbMATH Keywords: recursively saturated model
zbMATH Keywords: second- order arithmetic
zbMATH Keywords: comprehension axiom
zbMATH Keywords: inductive satisfaction class
MaRDI profile type: Publication
full work available at URL: malq.19920380106
OpenAlex ID: W2003710519
DOI: 10.1002/MALQ.19920380106
description: scientific article; zbMATH DE number 584611