Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Yu. L. Ersov, Decidability of the elementary theory of relatively complemented distributive lattices and the theory of filters, Algebra i Logika Sem. 3 (1964), 17–38 (Russian).
Yu. L. Ersov, I. A. Lavrov, A. D. Taimanov, and M. A. Taitslin, Elementary Theories, Russian Mathematical Surveys, vol. 20 (1965), 35–105.
S. Feferman and R. L. Vaught, The first order properties of products of algebraic systems, Fund. Math. 47 (1959), 57–103.
T. Frayne, A. C. Morel and D. S. Scott, Reduced direct products, Fund. Math. 51 (1962), 195–228.
F. Galvin, Horn sentences, Ann. Math. Logic 1 (1970), 389–422.
A. Grzegorczyk, Logical uniformity by decomposition and categoricity on Xo, Bull. Acad. Polon. Sci., Sér. sci. math., astronom. et phys., 16 (1968), 687–692.
A. Macintyre, ω1-categorical theories of abelian groups, Fund. Math. 70 (1971), 253–270.
" ", ω1-categorical theories of fields, Fund. Math. 71 (1971), 1–25.
" ", On the elementary theory of Banach algebras, Ann. Math. Logic 3 (1971).
" ", Ph.D. thesis, Stanford University, 1968, unpublished.
Yu. V. Matijasevic, All recursively enumerable sets are diophantine, Dokl. Akad. Nauk CCCP (1970). CCCP 191, 279–282 (1970). (Russian).
M. Morley, Categoricity in power, Trans. Amer. Math. Soc. 114 (1965), 514–538.
A. Mostowski, On direct products of theories, J. Symb. Logic 17 (1952), 1–31.
A. Robinson, Solution of a problem of Tarski, Fund. Math. 47 (1959), 179–204.
C. Ryll-Nardzewski, On the categoricity in power Xo. Bull. Acad. Polon. Sci., Sér. sci. math., astronom. et phys., 7 (1959), 545–548.
R. M. Smullyan, Theory of Formal Systems, Annals of Mathematics Studies, No. 47, Princeton, (1961).
A. Tarski and J. C. C. McKinsey, A Decision Method for Elementary Algebra and Geometry, Rand Corporation, Santa Monica (1948).
J. Waszkiewicz and B. Węglorz, On ωo-categoricity of powers, Bull. Acad. Polon. Sci., Ser. sci. math., astronom. et phys., 17 (1969), 195–199.
J. M. Weinstein, First order properties preserved by direct product, Ph. D. thesis, University of Wisconsin, Madison, Wis., 1965.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1972 Springer-Verlag
About this paper
Cite this paper
Macintyre, A. (1972). Direct powers with distinguished diagonal. In: Hodges, W. (eds) Conference in Mathematical Logic — London ’70. Lecture Notes in Mathematics, vol 255. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0059545
Download citation
DOI: https://doi.org/10.1007/BFb0059545
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-05744-4
Online ISBN: 978-3-540-37162-5
eBook Packages: Springer Book Archive