Publisher
Springer International Publishing
Reference41 articles.
1. Avigad, J., Sommer, R.: A model-theoretical approach to ordinal analysis. Bull. Symb. Log. 3, 17–59 (1997)
2. Berger, R.: The undecidability of the domino problem. Mem. Am. Math. Soc. 66 (1966)
3. Carnap, R.: Logische Syntax der Sprache. Springer, Berlin (1934)
4. Cohen, P.: Set Theory and the Continuum Hypothesis, Benjamin, New York (1963)
5. Conway J.H: Unpredictable iterations. In: Proc. 1972 Number Th. Conf, pp. 49–52. University Press of Colorado, Boulder (1972)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献