On M-recursively saturated models of arithmetic

DOI10.21099/TKBJM/1496159540zbMath0543.03018OpenAlexW1706010168MaRDI QIDQ795824

Akito Tsuboi

Publication date: 1982

Published in: Tsukuba Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21099/tkbjm/1496159540

zbMATH Keywords

isomorphismsembeddingscountable models of Peano arithmeticM-recursive saturation

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Models with special properties (saturated, rigid, etc.) (03C50) Model theory of denumerable and separable structures (03C15)

This page was built for publication: On M-recursively saturated models of arithmetic