{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T07:10:47Z","timestamp":1693465847155},"reference-count":28,"publisher":"Wiley","issue":"9-12","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":7986,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1985,1]]},"DOI":"10.1002\/malq.19850310902","type":"journal-article","created":{"date-parts":[[2007,5,26]],"date-time":"2007-05-26T06:36:44Z","timestamp":1180161404000},"page":"131-162","source":"Crossref","is-referenced-by-count":0,"title":["The Boolean Sentence Algebra of the Theory of Linear Ordering is Atomic with Respect to Logics with a Malitz Quantifier"],"prefix":"10.1002","volume":"31","author":[{"given":"Hans\u2010Joachim","family":"Goltz","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02761800"},{"key":"e_1_2_1_3_2","unstructured":"Badger L. The Malitz quantifier meets its Ehrenfeucht game. Ph. D. Thesis Colorado 1975."},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0067642"},{"key":"e_1_2_1_5_2","volume-title":"Decidability and Generalized Quantifiers","author":"Baudisch A.","year":"1980"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.4064\/fm-49-2-129-141"},{"issue":"38","key":"e_1_2_1_7_2","first-page":"556","article-title":"Decidability of the theory of linear ordering","volume":"6","author":"Ehrenfeucht A.","year":"1959","journal-title":"AMS Notices"},{"key":"e_1_2_1_8_2","unstructured":"Faust D. H. Some recursive properties of Boolean sentence algebras. Dissertion University of Hawaii.1979."},{"key":"e_1_2_1_9_2","unstructured":"Hane W. P. andD.Myers Boolean sentence algebras: isomorphism constructions. Preprint."},{"key":"e_1_2_1_10_2","first-page":"273","article-title":"Entscheidbarkeit der Theorie der linearen Ordnung in L(Q\n                  1)","volume":"23","author":"Herre H.","year":"1977","journal-title":"This Zeitschrift"},{"key":"e_1_2_1_11_2","first-page":"73","article-title":"Entscheidbarkeit der Theorie der linearen Ordnung in L(Q\n                  \n                     x\n                   f\u00fcr regul\u00e4tes w\n                  \n                     x\n                  ) f\u00fcr","volume":"24","author":"Herre H.","year":"1978","journal-title":"Zeitsehrift"},{"key":"e_1_2_1_12_2","first-page":"345","article-title":"Entscheidbarkeit der Theorie der linearen Ordnung in Logiken met M\u00e4chtigkeitsquantoren bzw","volume":"25","author":"Herre H.","year":"1979","journal-title":"Chang\u2010Quantor. This Zeitschrift"},{"key":"e_1_2_1_13_2","unstructured":"Herre H. andH.Wolter The theory of linear ordering in logics with cardinality quantifiers. Preprint."},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0003-4843(70)80005-5"},{"key":"e_1_2_1_15_2","volume-title":"A decision procedure for the weak second order theory of linear order. Contributions to Mathematical Logic","author":"L\u00e4uchli H.","year":"1968"},{"key":"e_1_2_1_16_2","doi-asserted-by":"crossref","first-page":"109","DOI":"10.4064\/fm-59-1-109-116","article-title":"On the elementary theory of linear order","volume":"59","author":"L\u00e4uchli H.","year":"1966","journal-title":"Fund. Math."},{"key":"e_1_2_1_17_2","unstructured":"Lipner L. D. Some aspects of generalized quantifiers. Doctoral Dissertation University of California Berkeley1970."},{"key":"e_1_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(77)90019-5"},{"key":"e_1_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.4064\/fm-44-1-12-36"},{"key":"e_1_2_1_20_2","doi-asserted-by":"publisher","DOI":"10.2307\/2272887"},{"key":"e_1_2_1_21_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02761195"},{"key":"e_1_2_1_22_2","doi-asserted-by":"publisher","DOI":"10.2307\/1971037"},{"key":"e_1_2_1_23_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02019776"},{"key":"e_1_2_1_24_2","unstructured":"Trippel J. R. Die Algebra der S\u00e4tze der monadischen Theorie schwach zweiter Stufe der linearen Ordnung ist atomar. Dissertation Z\u00fcrich1978."},{"key":"e_1_2_1_25_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0067660"},{"key":"e_1_2_1_26_2","doi-asserted-by":"crossref","first-page":"21","DOI":"10.4064\/fm-107-1-21-32","article-title":"The decidability of linear orderings with generalized quantifiers","volume":"107","author":"Tuschik H. P.","year":"1980","journal-title":"Fund. Math."},{"key":"e_1_2_1_27_2","unstructured":"Tuschik H. P. Untersuchung linearer Ordnungen in der Logik mit Malitzquantoren. Dissertation B Humboldt\u2010Universit\u00e4t Berlin1981."},{"key":"e_1_2_1_28_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02790755"},{"key":"e_1_2_1_29_2","unstructured":"Wolter H. Untersuchungen zu nicht\u2010elementaren Logiken. Dissertation B Humboldt\u2010Universit\u00e4t Berlin1975."}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19850310902","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19850310902","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,30]],"date-time":"2023-08-30T07:49:09Z","timestamp":1693381749000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19850310902"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,1]]},"references-count":28,"journal-issue":{"issue":"9-12","published-print":{"date-parts":[[1985,1]]}},"alternative-id":["10.1002\/malq.19850310902"],"URL":"https:\/\/doi.org\/10.1002\/malq.19850310902","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985,1]]}}}