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.

Ämnesord

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)

Nyckelord

standard model of arithmetic

recursively saturated

Publikations- och innehållstyp

vet (ämneskategori)

kap (ämneskategori)