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
Barwise, K.J. (ed.): Handbook of mathematical logic North-Holland Publ. Co., Amsterdam-London, 1977
Baudisch, A.: Elimination of the quantifier Q in the theory of abelian groups Bull. de l'Acad. Polon. Sci., Ser. Sci. Math. Astronom. Phys. 24 (1976), 543–549.
Baudisch, A.: Decidability of the theory of abelian groups with Ramsey quantifiers Bull. de l'Acad. Polon. Sci., Ser. Sci. Math. Astronom. Phys. 25 (1977), 733–739
Chang, C.C. & Keisler, H.J.: Model theory North-Holland Publ. Co., Amsterdam-London, 1973
Cowles, J.: The theory of archimedean real closed fields in logics with Ramsey quantifiers Fund. Math. 103 (1979), 65–76
Courant, R.: Vorlesungen über Differential-und Integralrechnung (2 Bände) Springer Verlag, Heidelberg-Berlin-New York, 1971/72
Fuchs, L.: Partially ordered algebraic systems Pergamon Press, Oxford, 1963.
Magidor, M. & Malitz, J.: Compact extensions of L(Q) (part 1a) Ann. Math, Logic 11 (1977), 217–261
Mostowski, A.: On a generalization of quantifiers Fund. Math. 44 (1957), 12–36
Schmitt, P.H.: Model theory of ordered abelian groups Habilitationsschrift Univ. Heidelberg, 1982
Szmielew, W.: Elementary properties of abelian groups Fund. Math. 41 (1955), 203–271
Weispfenning, V.: Elimination of quantifiers for certain ordered and lattice-ordered abelian groups Bull. Soc. Math. Belg. 33 (1981), 131–155
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag
About this paper
Cite this paper
Lenski, W. (1984). Elimination of quantifiers for the theory of Archimedean ordered divisible groups in a logic with Ramsey quantifiers. In: Müller, G.H., Richter, M.M. (eds) Models and Sets. Lecture Notes in Mathematics, vol 1103. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0099390
Download citation
DOI: https://doi.org/10.1007/BFb0099390
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13900-3
Online ISBN: 978-3-540-39115-9
eBook Packages: Springer Book Archive