What Mathematical Theories of Truth Should be Like (and Can be)

zbMath1322.03008arXiv1311.3539MaRDI QIDQ5498640

Seppo Heikkilä

Publication date: 10 February 2015

Full work available at URL: https://arxiv.org/abs/1311.3539

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Models of arithmetic and set theory (03C62) Set theory (03E99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

This page was built for publication: What Mathematical Theories of Truth Should be Like (and Can be)