Weak theories of concatenation and minimal essentially undecidable theories-Reference-Cited by-同舟云学术

Weak theories of concatenation and minimal essentially undecidable theories

Published:2014-07-19 Issue:7-8 Volume:53 Page:835-853
ISSN:0933-5846
Container-title:Archive for Mathematical Logic
language:en
Short-container-title:Arch. Math. Logic

Author:

Higuchi Kojiro,Horihata Yoshihiro

Publisher

Springer Science and Business Media LLC

Subject

Logic,Philosophy

Link

http://link.springer.com/content/pdf/10.1007/s00153-014-0391-x.pdf

Reference23 articles.

1. Friedman, H.: Interpretation, according to Tarski. Lecture Note of Nineteenth Annual Tarski Lectures at the University of California at Berkeley, http://www.math.ohio-state.edu/~friedman/pdf/Tarski1,052407.pdf

2. Ganea M.: Arithmetic on semigroups. J. Symb. Log. 74(1), 265–278 (2009)

3. Grzegorczyk A.: Undecidability without arithmetization. Stud. Log. 79(1), 163–230 (2005)

4. Grzegorczyk, A., Zdanowski, K.: Undecidability and concatenation. In: Marek, V.W., Ehrenfeucht, A., Srebrny, M. (eds.) Andrzej Mostowski and Foundational Studies, pp. 72–91. IOS Press, Netherlands (2008)

5. Grzegorczyk Andrzej.: Decidability without mathematics. Ann. Pure Appl. Logic 126(1–3), 309–312 (2004)

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Weak essentially undecidable theories of concatenation;Archive for Mathematical Logic;2022-03-07

2. MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES;The Journal of Symbolic Logic;2022-02-18

3. CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS;The Bulletin of Symbolic Logic;2021-01-05

4. FINDING THE LIMIT OF INCOMPLETENESS I;The Bulletin of Symbolic Logic;2020-12

5. First-order concatenation theory with bounded quantifiers;Archive for Mathematical Logic;2020-05-23