{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T01:34:01Z","timestamp":1648949641283},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1985,12,1]],"date-time":"1985-12-01T00:00:00Z","timestamp":502243200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch math Logik"],"published-print":{"date-parts":[[1985,12]]},"DOI":"10.1007\/bf02007550","type":"journal-article","created":{"date-parts":[[2005,8,11]],"date-time":"2005-08-11T08:49:28Z","timestamp":1123750168000},"page":"1-11","source":"Crossref","is-referenced-by-count":0,"title":["Quantifier elimination for modules"],"prefix":"10.1007","volume":"25","author":[{"given":"Volker","family":"Weispfenning","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF02007550_CR1","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1007\/BF02756561","volume":"25","author":"W. Baur","year":"1976","unstructured":"Baur, W.: Elimination of quantifiers for modules. Israel J. Math.25, 64\u201370 (1976).","journal-title":"Israel J. Math."},{"key":"BF02007550_CR2","unstructured":"Belegradek, O.V.: Abelian groups which admit elimination of quantifiers. AMS Abstracts 81T-03-489."},{"key":"BF02007550_CR3","first-page":"69","volume-title":"Quantifier eliminable groups. Proc. Logic Coll. '80","author":"G. Cherlin","year":"1982","unstructured":"Cherlin, G., Felgner, U.: Quantifier eliminable groups. Proc. Logic Coll. '80, pp. 69\u201381. Amsterdam: North-Holland 1982."},{"key":"BF02007550_CR4","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0003-4843(71)90016-7","volume":"2","author":"P. Eklof","year":"1971","unstructured":"Eklof, P., Sabbagh, G.: Model completions and modules. Ann. Math. Logic2, 251\u2013295 (1971).","journal-title":"Ann. Math. Logic"},{"key":"BF02007550_CR5","unstructured":"Fisher, E.: Abelian structures. I. In: Abelian group theory, 2nd ed. New Mexico State Univ. Conf., 1976, Springer LNM, Vol. 616."},{"key":"BF02007550_CR6","unstructured":"Hodges, W.: Unpublished notes."},{"key":"BF02007550_CR7","unstructured":"Kaplansky, I.: Infinite abelian groups, 2nd ed. Ann Arbor 1971."},{"key":"BF02007550_CR8","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1090\/S0002-9947-1952-0046349-0","volume":"72","author":"I. Kaplansky","year":"1952","unstructured":"Kaplansky, I.: Modules over Dedekind rings and valuation rings. Trans. Am. Math. Soc.72, 327\u2013340 (1952).","journal-title":"Trans. Am. Math. Soc."},{"key":"BF02007550_CR9","volume-title":"Multiplicative theory of ideals","author":"M.D. Larsen","year":"1971","unstructured":"Larsen, M.D., McCarthy, P.J.: Multiplicative theory of ideals. New York: Academic Press 1971."},{"key":"BF02007550_CR10","unstructured":"Lambek, J.: Lectures on rings and modules. Waltham 1966."},{"key":"BF02007550_CR11","unstructured":"Monk, L.: The theory of abelian groups is Kalmar-elementary (preprint)."},{"key":"BF02007550_CR12","first-page":"109","volume":"33","author":"M. Prest","year":"1981","unstructured":"Prest, M.: Quantifier elimination for modules. Bull. Soc. Math. Belg.33, 109\u2013129 (1981).","journal-title":"Bull. Soc. Math. Belg."},{"key":"BF02007550_CR13","doi-asserted-by":"crossref","first-page":"970","DOI":"10.2307\/2273662","volume":"48","author":"Ph. Rothmaler","year":"1983","unstructured":"Rothmaler, Ph.: Some model theory of modules. II. On stability and categoricity of flat modules. J. Symb. Logic48, 970\u2013985 (1983).","journal-title":"J. Symb. Logic"},{"key":"BF02007550_CR14","doi-asserted-by":"crossref","first-page":"32","DOI":"10.2307\/2274088","volume":"49","author":"Ph. Rothmaler","year":"1984","unstructured":"Rothmaler, Ph.: Some model theory of modules. III. On infiniteness of sets definable in modules. J. Symb. Logic49, 32\u201346 (1984).","journal-title":"J. Symb. Logic"},{"issue":"A","key":"BF02007550_CR15","first-page":"1289","volume":"272","author":"G. Sabbagh","year":"1971","unstructured":"Sabbagh, G.: Sous-modules purs, existentiellement clos et \u00e9l\u00e9mentaires, C.R. Acad. Sci. Paris272, ser. A, 1289\u20131292 (1971).","journal-title":"C.R. Acad. Sci. Paris"},{"key":"BF02007550_CR16","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/BF01987821","volume":"21","author":"L.V. Tyukavkin","year":"1982","unstructured":"Tyukavkin, L.V.: Model-completeness for certain theories of modules. Algebra and Logic21, 50\u201357 (1982).","journal-title":"Algebra and Logic"}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007550.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02007550\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007550","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T07:29:37Z","timestamp":1557818977000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02007550"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,12]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1985,12]]}},"alternative-id":["BF02007550"],"URL":"https:\/\/doi.org\/10.1007\/bf02007550","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985,12]]}}}