{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,30]],"date-time":"2023-08-30T10:26:07Z","timestamp":1693391167693},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1989,6,1]],"date-time":"1989-06-01T00:00:00Z","timestamp":612662400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch Math Logic"],"published-print":{"date-parts":[[1989,6]]},"DOI":"10.1007\/bf01633983","type":"journal-article","created":{"date-parts":[[2005,5,6]],"date-time":"2005-05-06T12:59:34Z","timestamp":1115384374000},"page":"75-89","source":"Crossref","is-referenced-by-count":3,"title":["Quantifier elimination for Stone algebras"],"prefix":"10.1007","volume":"28","author":[{"given":"Switgard","family":"Feuerstein","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"Distributive lattices","author":"R. Balbes","year":"1974","unstructured":"Balbes, R., Dwinger, Ph.: Distributive lattices. Columbia, Missouri: University of Missouri Press 1974"},{"key":"CR2","volume-title":"Lattice theory","author":"G. Gr\u00e4tzer","year":"1971","unstructured":"Gr\u00e4tzer, G.: Lattice theory. San Francisco: Freeman 1971"},{"key":"CR3","unstructured":"Point, F.: Quantifier elimination for projectableL-groups and linear elimination for rings. Th\u00e8se, Mons 1983"},{"key":"CR4","volume-title":"Quantorenelimination f\u00fcr Stonealgebren","author":"S. Rauschning","year":"1984","unstructured":"Rauschning, S.: Quantorenelimination f\u00fcr Stonealgebren. Diplomarbeit, Heidelberg 1984"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"92","DOI":"10.2307\/2271952","volume":"43","author":"B. Rose","year":"1978","unstructured":"Rose, B.: Rings which admit elimination of quantifiers. J. Symb. Logic43, 92\u2013112 (1978)","journal-title":"J. Symb. Logic"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/BF02483714","volume":"15","author":"J. Schmid","year":"1982","unstructured":"Schmid, J.: Algebraically closed distributivep-algebras. Algebra Univers.15, 126\u2013141 (1982)","journal-title":"Algebra Univers."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"680","DOI":"10.2307\/2273597","volume":"47","author":"J. Schmid","year":"1982","unstructured":"Schmid, J.: Model companions of distributivep-algebras. J. Symb. Logic47, 680\u2013688 (1982)","journal-title":"J. Symb. Logic"},{"key":"CR8","first-page":"135","volume":"13","author":"P.H. Schmitt","year":"1976","unstructured":"Schmitt, P.H.: The model completion of Stone algebras. Ann. Sci. Univ. Clermont13, 135\u2013155 (1976)","journal-title":"Ann. Sci. Univ. Clermont"},{"key":"CR9","first-page":"64","volume":"55","author":"A. Tarski","year":"1949","unstructured":"Tarski, A.: Arithmetical classes and types of boolean algebras. Bull. Am. Soc. Math.55, 64 (1949)","journal-title":"Bull. Am. Soc. Math."},{"key":"CR10","first-page":"115","volume":"42","author":"V. Weispfenning","year":"1977","unstructured":"Weispfenning, V.: Stone algebras without prime model extensions. Unpublished manuscript. Abstract in J. Symb. Logic42, 115 (1977)","journal-title":"Abstract in J. Symb. Logic"},{"key":"CR11","unstructured":"Weispfenning, V.: Aspects of quantifier elimination in algebra. In: Burmeister, P. et al. (eds.) Universal algebra and its links. Proc. 25. Arbeitstagung Darmstadt 1983. Berlin 1984, pp.85\u2013105"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1002\/malq.19850311407","volume":"31","author":"V. Weispfenning","year":"1985","unstructured":"Weispfenning, V.: Quantifier elimination for distributive lattices and measure algebras. Z. Math. Logik Grundlagen Math.31, 249\u2013261 (1985)","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"CR13","series-title":"Lect. Notes Comput. Sci., vol. 229","first-page":"262","volume-title":"Proc. AAECC-3 Grenoble 1985","author":"V. Weispfenning","year":"1985","unstructured":"Weispfenning, V.: Efficient decision algorithms for locally finite theories. Proc. AAECC-3 Grenoble 1985. (Lect. Notes Comput. Sci., vol. 229, pp. 262\u2013273) Berlin Heidelberg New York Tokyo: Springer 1985"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01633983.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01633983\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01633983","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T08:08:25Z","timestamp":1557216505000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01633983"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,6]]},"references-count":13,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1989,6]]}},"alternative-id":["BF01633983"],"URL":"https:\/\/doi.org\/10.1007\/bf01633983","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,6]]}}}