On a Theorem of Cobham Concerning Undecidable Theories
- 1 January 1966
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- The first order properties of products of algebraic systemsFundamenta Mathematicae, 1959
- Degrees of formal systemsThe Journal of Symbolic Logic, 1958
- The classical and the ω-complete arithmeticThe Journal of Symbolic Logic, 1958
- Degrees of unsolvability associated with classes of formalized theoriesThe Journal of Symbolic Logic, 1957
- Decidability and essential undecidabilityThe Journal of Symbolic Logic, 1957
- Two theories with axioms built by means of pleonasmsThe Journal of Symbolic Logic, 1957
- Syntactical transformsTransactions of the American Mathematical Society, 1957