On recursively saturated models of arithmetic
Year: 1975
Type: book-chapter
Source: Lecture notes in mathematics
DOI: 10.1007/bfb0080973
Authors: Jon Barwise, John Schlipf
Institution: University of Wisconsin–Madison
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W79809236