Unifying the model theory of first-order and second-order arithmetic via WKL*_0

• We develop machinery to make the Arithmetized Completeness Theorem more effective in the study of many models of IΔ0+BΣ1+exp, including all countable ones, by passing on to the conservative extension View the MathML source of IΔ0+BΣ1+exp. Our detailed study of the model theory of View the MathML source leads to the simplification and improvement of many results in the model theory of Peano arithmetic and its fragments pertaining to the construction of various types of end extensions and initial segments.

Ämnesord

NATURVETENSKAP  -- Matematik (hsv//swe)

NATURAL SCIENCES  -- Mathematics (hsv//eng)

NATURVETENSKAP  -- Matematik -- Algebra och logik (hsv//swe)

NATURAL SCIENCES  -- Mathematics -- Algebra and Logic (hsv//eng)

HUMANIORA  -- Filosofi, etik och religion -- Filosofi (hsv//swe)

HUMANITIES  -- Philosophy, Ethics and Religion -- Philosophy (hsv//eng)

Nyckelord

Nonstandard models

first order arithmetic

second order arithmetic

Publikations- och innehållstyp

ref (ämneskategori)

art (ämneskategori)