Abstract
First we give the basic definitions with which we shall be working in this part.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Ershov, Yu., Lavrov, I., Taimanov, A., Taitslin, M. Elementary theories. Russian Mathematical Surveys, 20 (1965), 35–105.
Rabin, M. Decidability of second-order theories and automata on infinite trees. Trans. Amer. Math. Soc., 141 (1969), 1–35.
Tarski, A., Mostowski, A., Robinson, R. M. Undecidable Theories. Amsterdam: North-Holland (1953).
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1976 Springer-Verlag Inc.
About this chapter
Cite this chapter
Monk, J.D. (1976). Some Decidable Theories. In: Mathematical Logic. Graduate Texts in Mathematics, vol 37. Springer, New York, NY. https://doi.org/10.1007/978-1-4684-9452-5_14
Download citation
DOI: https://doi.org/10.1007/978-1-4684-9452-5_14
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4684-9454-9
Online ISBN: 978-1-4684-9452-5
eBook Packages: Springer Book Archive