On the constructive truth and falsity in Peano arithmetic

DOI10.1007/978-3-030-36755-8_5zbMath1485.03250arXiv1905.10494OpenAlexW2995027571MaRDI QIDQ2177579

Hirohiko Kushida

Publication date: 6 May 2020

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

zbMATH Keywords

modal logicPeano arithmeticfoundations of mathematics

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50)