A notion of recursive saturation for models of arithmetic with the standard predicate
Paper in proceeding, 2004
Author
Fredrik Engström
Chalmers, Department of Mathematics
University of Gothenburg
Nonstandard Models of Arithmetic and Analysis
Subject Categories
Algebra and Logic
Philosophy