A notion of recursive saturation for models of arithmetic with the standard predicate
Paper in proceedings, 2004

Author

Fredrik Engström

Chalmers, Department of Mathematics

University of Gothenburg

Nonstandard Models of Arithmetic and Analysis

Subject Categories

Algebra and Logic

Philosophy

More information

Created

10/6/2017