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