GENERALIZATIONS OF GÖDEL’S INCOMPLETENESS THEOREMS FOR ∑n-DEFINABLE THEORIES OF ARITHMETIC

MAKOTO KIKUCHI, TAISHI KURAHASHI
  • The Review of Symbolic Logic, November 2017, Cambridge University Press
  • DOI: 10.1017/s1755020317000235

The authors haven't finished explaining this publication. If you are the author, sign in to claim or explain your work.

Read Publication

http://dx.doi.org/10.1017/s1755020317000235

The following have contributed to this page: Taishi Kurahashi