A Note on Real Subsets of A Recursively Saturated Model
From MaRDI portal
Publication:3989272
DOI10.1002/malq.19910371304zbMath0743.03029OpenAlexW2118299170MaRDI QIDQ3989272
Publication date: 28 June 1992
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19910371304
Related Items
On expandability of models of Peano arithmetic to models of the alternative set theory, Automorphisms of recursively saturated models of arithmetic