Satisfaction classes in nonstandard models of first-order arithmetic
Licentiatavhandling, 2002
models of arithmetic
satisfaction classes
Författare
Fredrik Engström
Chalmers, Institutionen för matematik
Göteborgs universitet
Ämneskategorier
Algebra och logik
Department of Mathematics, Chalmers University of Technology and Göteborg University: 2002:24