{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:05Z","timestamp":1760202605634},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642040269"},{"type":"electronic","value":"9783642040276"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04027-6_31","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T13:27:52Z","timestamp":1252934872000},"page":"424-439","source":"Crossref","is-referenced-by-count":1,"title":["Decidable Extensions of Church\u2019s Problem"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Rabinovich","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","unstructured":"B\u00fcchi, J.R.: On a decision method in restricted second order arithmetic. In: Nagel, E., et al. (eds.) Proc. International Congress on Logic, Methodology and Philosophy of Science, pp. 1\u201311. Stanford University Press (1960)"},{"issue":"27","key":"31_CR2","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1090\/S0002-9947-1969-0280205-0","volume":"138","author":"J.R. B\u00fcchi","year":"1969","unstructured":"B\u00fcchi, J.R., Landweber, L.H.: Solving sequential conditions by finitestate strategies. Transactions of the AMS\u00a0138(27), 295\u2013311 (1969)","journal-title":"Transactions of the AMS"},{"issue":"1","key":"31_CR3","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1006\/inco.2001.3139","volume":"176","author":"O. Carton","year":"2002","unstructured":"Carton, O., Thomas, W.: The Monadic Theory of Morphic Infinite Words and Generalizations. Inf. Comput.\u00a0176(1), 51\u201365 (2002)","journal-title":"Inf. Comput."},{"key":"31_CR4","unstructured":"Church, A.: Logic, Arithmetic and Automata. In: Proc. Intrnat. Cong. Math. 1963, Almquist and Wilksells, Uppsala (1963)"},{"issue":"2","key":"31_CR5","doi-asserted-by":"publisher","first-page":"169","DOI":"10.2307\/2269808","volume":"31","author":"C. Elgot","year":"1966","unstructured":"Elgot, C., Rabin, M.O.: Decidability and Undecidability of Extensions of Second (First) Order Theory of (Generalized) Successor. J. Symb. Log.\u00a031(2), 169\u2013181 (1966)","journal-title":"J. Symb. Log."},{"key":"31_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36387-4","volume-title":"Automata, Logics, and Infinite Games","author":"E. Gr\u00e4del","year":"2002","unstructured":"Gr\u00e4del, E., Thomas, W., Wilke, T.: Automata, Logics, and Infinite Games. LNCS, vol.\u00a02500. Springer, Heidelberg (2002)"},{"key":"31_CR7","first-page":"479","volume-title":"Model-Theoretic Logics","author":"Y. Gurevich","year":"1985","unstructured":"Gurevich, Y.: Monadic second-order theories. In: Barwise, J., Feferman, S. (eds.) Model-Theoretic Logics, pp. 479\u2013506. Springer, Heidelberg (1985)"},{"key":"31_CR8","doi-asserted-by":"crossref","first-page":"57","DOI":"10.4064\/fm-47-1-57-103","volume":"47","author":"S. Feferman","year":"1959","unstructured":"Feferman, S., Vaught, R.L.: The first-order properties of products of algebraic systems. Fundamenta Mathematica\u00a047, 57\u2013103 (1959)","journal-title":"Fundamenta Mathematica"},{"key":"31_CR9","unstructured":"McNaughton, R.: Finite-state infinite games. Project MAC Rep. MIT, Cambridge (1965)"},{"key":"31_CR10","volume-title":"Pure and Applied Mathematics","author":"D. Perrin","year":"2004","unstructured":"Perrin, D., Pin, J.E.: Infinite Words Automata, Semigroups, Logic and Games. In: Pure and Applied Mathematics, vol.\u00a0141. Elsevier, Amsterdam (2004)"},{"issue":"6","key":"31_CR11","doi-asserted-by":"publisher","first-page":"870","DOI":"10.1016\/j.ic.2006.12.004","volume":"205","author":"A. Rabinovich","year":"2007","unstructured":"Rabinovich, A.: On decidability of Monadic logic of order over the naturals extended by monadic predicates. Information and Computation\u00a0205(6), 870\u2013889 (2007)","journal-title":"Information and Computation"},{"issue":"4:9","key":"31_CR12","first-page":"1","volume":"3","author":"A. Rabinovich","year":"2007","unstructured":"Rabinovich, A.: Church Synthesis Problem with Parameters. Logical Methods in Computer Science\u00a03(4:9), 1\u201324 (2007)","journal-title":"Logical Methods in Computer Science"},{"key":"31_CR13","doi-asserted-by":"crossref","unstructured":"Rabinovich, A.: Decidable Extensions of Church\u2019s Problem (full version) (2009), http:\/\/www.cs.tau.ac.il\/~rabinoa\/csl09a-full","DOI":"10.1007\/978-3-642-04027-6_31"},{"key":"31_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"562","DOI":"10.1007\/11874683_37","volume-title":"Computer Science Logic","author":"A. Rabinovich","year":"2006","unstructured":"Rabinovich, A., Thomas, W.: Decidable Theories of the Ordering of Natural Numbers with Unary Predicates. In: \u00c9sik, Z. (ed.) CSL 2006. LNCS, vol.\u00a04207, pp. 562\u2013574. Springer, Heidelberg (2006)"},{"issue":"2","key":"31_CR15","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1090\/S0002-9939-1958-0093479-4","volume":"9","author":"R.M. Robinson","year":"1958","unstructured":"Robinson, R.M.: Restricted Set-Theoretical Definitions in Arithmetic. Proceedings of the AMS\u00a09(2), 238\u2013242 (1958)","journal-title":"Proceedings of the AMS"},{"key":"31_CR16","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1070\/IM1984v022n03ABEH001456","volume":"22","author":"A. Semenov","year":"1984","unstructured":"Semenov, A.: Logical theories of one-place functions on the set of natural numbers. Mathematics of the USSR - Izvestia\u00a022, 587\u2013618 (1984)","journal-title":"Mathematics of the USSR - Izvestia"},{"key":"31_CR17","doi-asserted-by":"publisher","first-page":"379","DOI":"10.2307\/1971037","volume":"102","author":"S. Shelah","year":"1975","unstructured":"Shelah, S.: The monadic theory of order. Ann. of Math.\u00a0102, 379\u2013419 (1975)","journal-title":"Ann. of Math."},{"key":"31_CR18","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/BF02280817","volume":"17","author":"D. Siefkes","year":"1975","unstructured":"Siefkes, D.: The recursive sets in certain monadic second order fragments of arithmetic. Arch. Math. Logik\u00a017, 71\u201380 (1975)","journal-title":"Arch. Math. Logik"},{"key":"31_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/3-540-63246-8_8","volume-title":"Structures in Logic and Computer Science","author":"W. Thomas","year":"1997","unstructured":"Thomas, W.: Ehrenfeucht games, the composition method, and the monadic theory of ordinal words. In: Mycielski, J., Rozenberg, G., Salomaa, A. (eds.) Structures in Logic and Computer Science. LNCS, vol.\u00a01261, pp. 118\u2013143. Springer, Heidelberg (1997)"},{"key":"31_CR20","first-page":"23","volume":"59","author":"B.A. Trakhtenbrot","year":"1966","unstructured":"Trakhtenbrot, B.A.: Finite automata and the logic of one-place predicates (Russian version 1961). AMS Transl.\u00a059, 23\u201355 (1966)","journal-title":"AMS Transl."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04027-6_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T11:19:25Z","timestamp":1558523965000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04027-6_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642040269","9783642040276"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04027-6_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}