Axiomatizations of Peano Arithmetic: a truth-theoretic view

• We study the family of axiomatizations of Peano arithemtic, both locally and globally, using the lens provided by axiomatic truth 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

Peano arithmetic

axiomatic theories of truth

axiomatization

schemes

conservativity

Publikations- och innehållstyp

ref (ämneskategori)

art (ämneskategori)