ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC

DOI10.1002/MALQ.19920380106zbMATH Open0803.03040OpenAlexW2003710519MaRDI QIDQ4295209

Roman Murawski

Publication date: 8 June 1994

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19920380106

zbMATH Keywords

comprehension axiommodels of arithmeticrecursively saturated modelexpandabilityinductive satisfaction classsecond- order arithmetic

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Second- and higher-order arithmetic and fragments (03F35)

Related Items (1)

Minimal satisfaction classes with an application to rigid models of Peano arithmetic

This page was built for publication: ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4295209)