Satisfaction classes in nonstandard models of first-order arithmetic

Detta är en avhandling från Chalmers University of Technology

Författare: Fredrik Engström; Chalmers Tekniska Högskola Göteborgs Universitet.; Chalmers University Of Technology University Of Gothenburg.; [2002]

Nyckelord: NATURVETENSKAP; NATURAL SCIENCES; Matematisk logik; Mathematical logic; satisfaction classes; models of arithmetic;

Sammanfattning:

  KLICKA HÄR FÖR ATT SE AVHANDLINGEN I FULLTEXT. (PDF-format)