The Recursively Saturated Part of Models of Peano Arithmetic

DOI10.1002/malq.19860321910zbMath0622.03024OpenAlexW2066811341MaRDI QIDQ3758814

Henryk Kotlarski

Publication date: 1986

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

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

zbMATH Keywords

models of arithmeticrecursive saturation

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

This page was built for publication: The Recursively Saturated Part of Models of Peano Arithmetic