DOI10.1007/BF01622877zbMath0677.03046MaRDI QIDQ1123191
S. H. Smith
Publication date: 1989 Published in: Archive for Mathematical Logic (Search for Journal in Brave)
zbMATH Keywords
collection; induction; overspill
Mathematics Subject Classification ID
03F30: First-order arithmetic and fragments
03H15: Nonstandard models of arithmetic
Related Items