On the decision problem for theories of finite models
- 1 March 1964
- journal article
- Published by Springer Nature in Israel Journal of Mathematics
- Vol. 2 (1) , 55-70
- https://doi.org/10.1007/bf02759735
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- On a Theorem of Cobham Concerning Undecidable TheoriesPublished by Elsevier ,1966
- Elementary properties of Abelian groupsFundamenta Mathematicae, 1955
- Undecidability of some simple formalized theoriesFundamenta Mathematicae, 1953
- On a type of completeness characterizing the general laws for separation of point-pairsTransactions of the American Mathematical Society, 1927