{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,28]],"date-time":"2023-09-28T05:40:16Z","timestamp":1695879616422},"reference-count":13,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":5430,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1992,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>A simultaneous semantical and syntactical reduction is given for the satisfiability respectively finite satisfiability of first order formulas. We choose \u2200\u2203\u2200\u221e(0, 1) as conservative reduction class and allow only formulas out of \u2200\u2203\u2200\u221e(0, 1) having a simple set theoretical model if they are satisfiable at all. With the same method we get a spectral representation of any \u03f1\u2010ary enumerable respectively coenumerable predicate by a formula out of \u2200\u2203\u2200\u221e(\u03f1, 1).<\/jats:p>","DOI":"10.1002\/malq.19920380153","type":"journal-article","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T05:50:39Z","timestamp":1180417839000},"page":"559-574","source":"Crossref","is-referenced-by-count":1,"title":["EIN NEUER BEWEIS UND EINE VERSCH\u00c4RFUNG F\u00dcR DEN REDUKTIONSTYP \u2200\u2203\u2200\u221e(0, 1) MIT EINER ANWENDUNG AUF DIE SPEKTRALE DARSTELLUNG VON PR\u00c4DIKATEN"],"prefix":"10.1002","volume":"38","author":[{"given":"Michael","family":"Deutsch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Deutsch","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","volume-title":"Solvable Cases of the Decision Problem","author":"Ackermann W.","year":"1954"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01470748"},{"key":"e_1_2_1_4_2","unstructured":"Denton J. Applications of the Herbrand theorem. Ph. D. Thesis Harvard University1963."},{"key":"e_1_2_1_5_2","first-page":"551","article-title":"Ein neuer Beweis und eine Versch\u00e4rfung f\u00fcr den konservativen Reduktionstyp \u2200\u2203\u2200\u221e(0, 1)","volume":"32","author":"Deutsch M.","year":"1986","journal-title":"Diese Zeitschrift"},{"key":"e_1_2_1_6_2","first-page":"163","article-title":"Eine Bemerkung zu spektralen Darstellungen von Q\u2010stelligen aufz\u00e4hlbaren und koaufz\u00e4hlbaren Pr\u00e4dikaten durch Ausdr\u00fccke aus \u2200\u2203\u2200\u221e(Q, 1) und \u2200\u2203\u2200(\u221e, 1)","volume":"36","author":"Deutsch M.","year":"1990","journal-title":"Diese Zeitschrift"},{"key":"e_1_2_1_7_2","volume-title":"The Decision Problem: Solvable Classes of Quantificational Formulas","author":"Dreben B. S.","year":"1979"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.2307\/2272244"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.48.3.365"},{"key":"e_1_2_1_10_2","first-page":"57","volume-title":"Proc. Symposium Math. Theory of Automata","author":"Kahr A.","year":"1962"},{"key":"e_1_2_1_11_2","first-page":"17","article-title":"Klass svedeniya \u2200\u2203","volume":"2","author":"Kostyrko V. F.","year":"1966","journal-title":"Kibernetika"},{"key":"e_1_2_1_12_2","volume-title":"Unsolvable Classes of Quantificational Formulas","author":"Lewis H. R.","year":"1979"},{"key":"e_1_2_1_13_2","volume-title":"Reduktionstheorie des Entscheidungsproblems im Pr\u00e4dikatenkalk\u00fcl der ersten Stufe","author":"Suranyi J.","year":"1959"},{"key":"e_1_2_1_14_2","first-page":"23","volume-title":"Proc. Symposium Math. Theory of Automata","author":"Wang Hao","year":"1963"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19920380153","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19920380153","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,27]],"date-time":"2023-09-27T20:34:45Z","timestamp":1695846885000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19920380153"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,1]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992,1]]}},"alternative-id":["10.1002\/malq.19920380153"],"URL":"https:\/\/doi.org\/10.1002\/malq.19920380153","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,1]]}}}