{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T07:55:31Z","timestamp":1775462131650,"version":"3.50.1"},"reference-count":41,"publisher":"Wiley","issue":"19-24","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":10543,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1978,1]]},"DOI":"10.1002\/malq.19780241913","type":"journal-article","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T22:02:27Z","timestamp":1180389747000},"page":"375-384","source":"Crossref","is-referenced-by-count":3,"title":["Zum Entscheidungsproblem f\u00fcr Theorien in Logiken mit Monadischen Verallgemeinerten Quantoren"],"prefix":"10.1002","volume":"24","author":[{"given":"H.","family":"Herre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. G.","family":"Pinus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","first-page":"31","article-title":"Axiomatische Untersuchungen \u00fcber einige mit der Presburger Arithmetik verwandte Systeme","volume":"12","author":"Apelt H.","year":"1966","journal-title":"Diese Zeitschr."},{"key":"e_1_2_1_3_2","unstructured":"Baudisch A. Entscheidbarkeit der Theorie der abelschen Gruppen mit Kardinalquantoren. Preprint1975."},{"key":"e_1_2_1_4_2","first-page":"268","article-title":"Decidability of the theory of one unary function","volume":"6","author":"Ehrenfeucht A.","year":"1959","journal-title":"Not. Amer. Math. Soc."},{"key":"e_1_2_1_5_2","first-page":"268","article-title":"Decidability of the theory of linear ordering relation","volume":"6","author":"Ehrenfeucht A.","year":"1959","journal-title":"Not. Amer. Math. Soc."},{"key":"e_1_2_1_6_2","doi-asserted-by":"crossref","first-page":"31","DOI":"10.4064\/fm-54-3-291-302","article-title":"Skolem\u2010type normal forms for first order languages with a generalized quantifier","volume":"54","author":"Fuhrken G.","year":"1964","journal-title":"Fund. Math."},{"key":"e_1_2_1_7_2","doi-asserted-by":"crossref","unstructured":"Fuhrken G. Languages with added quantifier there exist at least \u03c9\u03b1. In: The Theory of Models Amsterdam1965 121\u2013131.","DOI":"10.1016\/B978-0-7204-2233-7.50019-8"},{"key":"e_1_2_1_8_2","first-page":"31","article-title":"A remark on the H\u00e4rtig quantifier","volume":"18","author":"Fuhrken G.","year":"1972","journal-title":"Diese Zeitschr."},{"key":"e_1_2_1_9_2","unstructured":"Fuhrken G. Briefliche Mitteilungen1974 1975."},{"key":"e_1_2_1_10_2","unstructured":"H\u00e4rtig K. \u00dcber einen Quantifikator mit zwei Wirkungsbereichen. Coll. on the Found. of Math. Math. Machines and their Appl. Tihany1962."},{"key":"e_1_2_1_11_2","first-page":"6","article-title":"Universelle Interpretierbarkeit in Verb\u00e4nden","author":"Hauschild K.","year":"1970","journal-title":"Wiss. Z. Humboldt\u2010Univ., Math.\u2010Nat. R."},{"key":"e_1_2_1_12_2","first-page":"31","article-title":"Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren","volume":"21","author":"Herre H.","year":"1975","journal-title":"Diese Zeitschr."},{"key":"e_1_2_1_13_2","doi-asserted-by":"crossref","unstructured":"Herre H. Entscheidungsprobleme f\u00fcr Theorien in Logiken mit verallgemeinerten Quantoren. Dissertation Berlin1975.","DOI":"10.1002\/malq.19750210131"},{"key":"e_1_2_1_14_2","first-page":"31","article-title":"Entscheidbarkeit der Theorie der linearen Ordnung in L\n                  Q\n                  1","volume":"23","author":"Herre H.","year":"1977","journal-title":"Diese Zeitschr."},{"key":"e_1_2_1_15_2","first-page":"31","article-title":"Entscheidbarkeit der Theorie der linearen Ordnung in L\n                  Q\n                  \n                     x\n                   f\u00fcr regul\u00e4res \u03c9\n                     x","volume":"24","author":"Herre H.","year":"1978","journal-title":"Diese Zeitschr."},{"key":"e_1_2_1_16_2","first-page":"31","article-title":"Semantische Untersuchungen \u00fcber Quantoren I\u2013III","volume":"15","author":"Issel W.","year":"1969","journal-title":"Diese Zeitschr."},{"key":"e_1_2_1_16_3","first-page":"31","volume":"16","year":"1970","journal-title":"Diese Zeitschr."},{"key":"e_1_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0003-4843(70)80005-5"},{"key":"e_1_2_1_18_2","unstructured":"Keisler H. J. Models with orderings. In: Log. Meth. and Phil. of Sci. III (ed. B. v. Rootselaar and J. F. Staal) Amsterdam1968 35\u201362."},{"key":"e_1_2_1_19_2","article-title":"First order predicate logic with generalized quantifiers","volume":"32","author":"Lindstr\u00f6m P.","year":"1966","journal-title":"Theoria"},{"key":"e_1_2_1_20_2","unstructured":"Lipner L. D. Some aspects of generalized quantifiers. Theses. The Univ. of Calif. at Berkeley1970."},{"key":"e_1_2_1_21_2","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1972.40.139"},{"key":"e_1_2_1_22_2","doi-asserted-by":"crossref","first-page":"31","DOI":"10.4064\/fm-44-1-12-36","article-title":"On a generalization of quantifiers","volume":"44","author":"Mostowski A.","year":"1957","journal-title":"Fund. Math."},{"key":"e_1_2_1_23_2","article-title":"Theorie der Booleschen Algebren in der Logik mit dem Quantor Q0 \u201ees existieren unendlich viele\u201d\ufe01","volume":"17","author":"Pinus A. G.","year":"1976","journal-title":"Sib. Math. J."},{"key":"e_1_2_1_24_2","article-title":"Theorie der Klasse der lokal S\u2010freien Algebren in Logiken mit dem Quantor Q \u201ces existieren wenigstens viele\u201d","volume":"5","author":"Pinus A. G.","journal-title":"Sbornik Algebra"},{"key":"e_1_2_1_25_2","doi-asserted-by":"publisher","DOI":"10.2307\/1995086"},{"key":"e_1_2_1_26_2","first-page":"31","article-title":"Plurality quantification","volume":"27","author":"Resher N.","year":"1962","journal-title":"J. Symb. Log."},{"key":"e_1_2_1_27_2","unstructured":"Schiemann I. Untersuchungen zu Logiken mit Lindstr\u00f6mquantoren. Dissertation (A) Berlin1977."},{"key":"e_1_2_1_28_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0079102"},{"key":"e_1_2_1_29_2","first-page":"31","article-title":"Generalized quantifiers and wellordering","volume":"15","author":"Slomson A.","year":"1972","journal-title":"Arch. Math. Log."},{"key":"e_1_2_1_30_2","unstructured":"Szczerba L. Notions of interpretability of elementary theories. Preprint1975."},{"key":"e_1_2_1_31_2","unstructured":"Tarski A. Mostowski A. andR.Robinson Undecidable Theories. Amsterdam1953."},{"key":"e_1_2_1_32_2","unstructured":"Tuschik P. Elimination von Kardinalquantoren. Preprint1975."},{"key":"e_1_2_1_33_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02790755"},{"key":"e_1_2_1_34_2","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1975.56.265"},{"key":"e_1_2_1_35_2","doi-asserted-by":"crossref","first-page":"31","DOI":"10.4064\/fm-54-3-303-304","article-title":"The completeness of logic with the added quantifier \u201cthere are uncountably many\u201d","volume":"54","author":"Vaught R.","year":"1964","journal-title":"Fund. Math."},{"key":"e_1_2_1_36_2","unstructured":"Weese M. Zur Entscheidbarkeit der Topologie derp\u2010adischen Zahlk\u00f6rper in Sprachen mit M\u00e4chtigkeitsquantoren. Dissertation Berlin1974."},{"key":"e_1_2_1_37_2","unstructured":"Weese M. Unentscheidbarkeit und Universalit\u00e4t der Theorie der Booleschen Algebren mit H\u00e4rtig\u2010Quantor. In Vorbereitung."},{"key":"e_1_2_1_38_2","unstructured":"Weese M. Entscheidbarkeit der Theorie der Booleschen Algebren mit M\u00e4chtigkeitsquantoren. Dissertation (B) Berlin1977."},{"key":"e_1_2_1_39_2","article-title":"The undecidability of the theory of well\u2010orderings with H\u00e4rtig\u2010quantifier","author":"Weese M.","journal-title":"Bull. de l'Acad. Polon. des Sci."},{"key":"e_1_2_1_40_2","unstructured":"Wolter H. Untersuchungen zu nicht\u2010elementaren Logiken. Dissertation (B) Berlin1975."},{"key":"e_1_2_1_41_2","first-page":"31","article-title":"Incompleteness in Lp languages","volume":"66","author":"Yasuhara M.","year":"1969","journal-title":"Fund. Math."}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19780241913","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19780241913","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,1]],"date-time":"2023-09-01T18:50:19Z","timestamp":1693594219000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19780241913"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978,1]]},"references-count":41,"journal-issue":{"issue":"19-24","published-print":{"date-parts":[[1978,1]]}},"alternative-id":["10.1002\/malq.19780241913"],"URL":"https:\/\/doi.org\/10.1002\/malq.19780241913","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1978,1]]}}}