The Recursively Saturated Part of Models of Peano Arithmetic
From MaRDI portal
Publication:3758814
DOI10.1002/malq.19860321910zbMath0622.03024OpenAlexW2066811341MaRDI QIDQ3758814
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
This page was built for publication: The Recursively Saturated Part of Models of Peano Arithmetic