{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,23]],"date-time":"2026-08-23T15:03:18Z","timestamp":1787497398990,"version":"build-2736575974"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540645702","type":"print"},{"value":"9783540693536","type":"electronic"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0028015","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T02:02:06Z","timestamp":1132624926000},"page":"189-202","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Spectra with only unary function symbols"],"prefix":"10.1007","author":[{"given":"Arnaud","family":"Durand","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ronald","family":"Fagin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bernd","family":"Loescher","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1002\/malq.19550010403","volume":"1","author":"G. Asser","year":"1955","unstructured":"G. Asser, Das Repr\u00e4 sentantenproblem im Pr\u00e4dikatenkalk\u00fcl der ersten Stufe mit Identit\u00e4t, Z. Math. Logik Grundlag. Math. 1, 1955, pp. 252\u2013263.","journal-title":"Z. Math. Logik Grundlag. Math."},{"key":"12_CR2","unstructured":"A. Durand, C. Lautemann and T. Schwentick, Subclasses of binary NP, Journal of Logic and Computation, to appear."},{"issue":"1\u20132","key":"12_CR3","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/0304-3975(95)00112-3","volume":"160","author":"A. Durand","year":"1996","unstructured":"A. Durand and S. Ranaivoson, First-order spectra with one binary predicate, Theoretical Computer Science 160, 1\u20132, 1996, pp. 305\u2013320.","journal-title":"Theoretical Computer Science"},{"key":"12_CR4","volume-title":"Automata, Languages, and Machines, Vol. A","author":"S. Eilenberg","year":"1974","unstructured":"S. Eilenberg, Automata, Languages, and Machines, Vol. A, Academic Press, New York and London, 1974."},{"key":"12_CR5","volume-title":"A Mathematical Introduction to Logic","author":"H. Enderton","year":"1972","unstructured":"H. Enderton, A Mathematical Introduction to Logic, Academic Press, New York and London, 1972."},{"key":"12_CR6","unstructured":"R. Fagin, Contributions to the model theory of finite structures, Ph.D. Thesis, University of California at Berkeley, 1973."},{"key":"12_CR7","unstructured":"R. Fagin, Generalized first-order spectra and polynomial-time recognizable sets, in: R. M. Karp, ed., Complexity of Computation, SIAM-AMS Proc. 7, 1974, pp. 43\u201373."},{"key":"12_CR8","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1002\/malq.19750210117","volume":"21","author":"R. Fagin","year":"1975","unstructured":"R. Fagin, A spectrum hierarchy, Z. Math. Logik Grundlag. Math. 21, 1975, pp. 123\u2013134.","journal-title":"Z. Math. Logik Grundlag. Math."},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(93)90218-I","volume":"116","author":"R. Fagin","year":"1993","unstructured":"R. Fagin, Finite-model theory\u2014a. personal perspective, Theoretical Computer Science 116, 1993, pp. 3\u201331.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"12_CR10","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1006\/inco.1995.1100","volume":"120","author":"R. Fagin","year":"1995","unstructured":"R. Fagin, L. Stockmeyer and M. Y. Vardi, On monadic NP vs. monadic NP, Information and Computation 120, 1, 1995, pp. 78\u201392.","journal-title":"Information and Computation"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/BF01699468","volume":"18","author":"E. Grandjean","year":"1985","unstructured":"E. Grandjean, Universal quantifiers and time complexity of random access machines, Math. Systems Theory 18, 1985, pp. 171\u2013187.","journal-title":"Math. Systems Theory"},{"issue":"2","key":"12_CR12","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1016\/0022-0000(90)90009-A","volume":"40","author":"E. Grandjean","year":"1990","unstructured":"E. Grandjean, First-order spectra with one variable, J. Comput. Systems Sci. 40, 2, 1990, pp. 136\u2013153.","journal-title":"J. Comput. Systems Sci."},{"key":"12_CR13","unstructured":"Y. Gurevich and S. Shelah, The monadic second-order theory of one unary function, in preparation."},{"key":"12_CR14","unstructured":"K. Harrow, Sub-elementary classes of functions and relations, Doctoral Dissertation, New York University, Department of Mathematics, 1973."},{"key":"12_CR15","doi-asserted-by":"crossref","first-page":"139","DOI":"10.2307\/2272354","volume":"39","author":"N. G. Jones","year":"1974","unstructured":"N. G. Jones and A. L. Selman, Turing machines and the spectra of first-order formulas, J. Symbolic Logic 39, 1974, pp. 139\u2013150.","journal-title":"J. Symbolic Logic"},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/S0020-0190(96)00198-6","volume":"61","author":"B. Loescher","year":"1997","unstructured":"B. Loescher, One unary function says less than two in existential second order logic, Information Processing Letters 61, 1997, pp. 69\u201375.","journal-title":"Information Processing Letters"},{"key":"12_CR17","unstructured":"B. Loescher and A. Sharell, The expressive power of quantification over functions in existential second order logic, in preparation."},{"key":"12_CR18","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF01786976","volume":"15","author":"J. Lynch","year":"1982","unstructured":"J. Lynch, Complexity classes and theories of finite models, Math. Systems Theory 15, 1982, pp. 127\u2013144.","journal-title":"Math. Systems Theory"},{"key":"12_CR19","unstructured":"F. Olive, Caract\u00e9risation logique des probl\u00e8mes NP: robustesse et normalisation, Ph.D. Thesis, University de Caen, 1996."},{"key":"12_CR20","doi-asserted-by":"crossref","first-page":"160","DOI":"10.2307\/2266243","volume":"17","author":"H. Scholz","year":"1952","unstructured":"H. Scholz, Problem #1: Ein ungel\u00f6stes Problem in der symbolischen Logik, J. Symbolic Logic 17, 1952, p. 160.","journal-title":"J. Symbolic Logic"},{"key":"12_CR21","volume-title":"Mathematical Logic","author":"J. R. Shoenfield","year":"1967","unstructured":"J. R. Shoenfield, Mathematical Logic, Addison-Wesley, Reading, MA, 1967."},{"key":"12_CR22","unstructured":"A. Woods, Some problems in logic and number theory and their connections, Ph.D. Thesis, University of Manchester, 1981."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0028015","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T09:08:40Z","timestamp":1558256920000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0028015"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540645702","9783540693536"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0028015","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"15 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}