Satisfaction classes in nonstandard models of first-order arithmetic
Licentiate thesis, 2002
models of arithmetic
satisfaction classes
Author
Fredrik Engström
Chalmers, Department of Mathematics
University of Gothenburg
Subject Categories
Algebra and Logic
Department of Mathematics, Chalmers University of Technology and Göteborg University: 2002:24