Alfred Tarski and undecidable theories

DOI10.2307/2273902zbMath0628.01018OpenAlexW2095717848MaRDI QIDQ3764095

George F. McNulty

Publication date: 1986

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273902

zbMATH Keywords

decidabilitydecision problemlogical formalisms

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Cites Work

• Recursive unsolvability of group theoretic problems
• Base-undecidable properties of universal varieties
• Some sufficient conditions for the representability of relation algebras
• A detailed argument for the Post-Linial theorems
• Results regarding the axiomatization of partial propositional calculi
• The representation of relational algebras
• The lattice of interpretability types of varieties
• Recursive Unsolvability of a problem of Thue
• An Unsolvable Problem of Elementary Number Theory

This page was built for publication: Alfred Tarski and undecidable theories