A notion of recursive saturation for models of arithmetic with the standard predicate
Paper i proceeding, 2004
Författare
Fredrik Engström
Chalmers, Institutionen för matematik
Göteborgs universitet
Nonstandard Models of Arithmetic and Analysis
Ämneskategorier
Algebra och logik
Filosofi