Standard Models of Arithmetic

• We study models of arithmetic that arise as "the standard model of arithmetic" in some model of Zermelo-Fraenkel set theory.

Subject headings

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

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

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

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

Keyword

standard model of arithmetic

recursively saturated

Publication and Content Type

vet (subject category)

kap (subject category)