3 results
Infinite imprimitive homogeneous 3-edge-colored complete graphs
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-179
- Print publication:
- March 1999
-
- Article
- Export citation
Angus Macintyre, Kenneth McKenna, and Lou van den Dries. Elimination of quantifiers in algebraic structures. Advances in mathematics, vol. 47 (1983), pp. 74–87. - L. P. D. van den Dries. A linearly ordered ring whose theory admits elimination of quantifiers is a real closed field. Proceedings of the American Mathematical Society, vol. 79 (1980), pp. 97–100. - Bruce I. Rose. Rings which admit elimination of quantifiers. The journal of symbolic logic, vol. 43 (1978), pp. 92–112; Corrigendum, vol. 44 (1979), pp. 109–110. - Chantal Berline. Rings which admit elimination of quantifiers. The journal of symbolic logic, vol. 43 (1978), vol. 46 (1981), pp. 56–58. - M. Boffa, A. Macintyre, and F. Point. The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 20–30. - Chantal Berline. Elimination of quantifiers for non semi-simple rings of characteristic p. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 10–19.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1079-1080
- Print publication:
- December 1985
-
- Article
- Export citation
Undecidable Lt theories of topological abelian groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 761-772
- Print publication:
- December 1981
-
- Article
- Export citation