{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:46:55Z","timestamp":1725558415166},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540408017"},{"type":"electronic","value":"9783540452201"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45220-1_27","type":"book-chapter","created":{"date-parts":[[2010,6,25]],"date-time":"2010-06-25T23:33:58Z","timestamp":1277508838000},"page":"330-344","source":"Crossref","is-referenced-by-count":10,"title":["Computational Aspects of \u03a3-Definability over the Real Numbers without the Equality Test"],"prefix":"10.1007","author":[{"given":"Margarita","family":"Korovina","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/0168-0072(89)90036-5","volume":"45","author":"M. Ajtai","year":"1989","unstructured":"Ajtai, M.: First-order definability on finite structures. Annals of Pure and Applied Logic\u00a045, 211\u2013225 (1989)","journal-title":"Annals of Pure and Applied Logic"},{"key":"27_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-11035-5","volume-title":"Admissible sets and Structures","author":"J. Barwise","year":"1975","unstructured":"Barwise, J.: Admissible sets and Structures. Springer, Berlin (1975)"},{"key":"27_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44622-2_1","volume-title":"Computer Science Logic","author":"A. Blass","year":"2000","unstructured":"Blass, A., Gurevich, Y.: Background, reserve and Gandy machines. In: Clote, P.G., Schwichtenberg, H. (eds.) CSL 2000. LNCS, vol.\u00a01862, pp. 1\u201317. Springer, Heidelberg (2000)"},{"key":"27_CR4","volume-title":"Complexity and Real Computation","author":"L. Blum","year":"1996","unstructured":"Blum, L., Cucker, F., Shub, M., Smale, S.: Complexity and Real Computation. Springer, Berlin (1996)"},{"key":"27_CR5","volume-title":"Real Algebraic Geometry","author":"J. Bochnak","year":"1999","unstructured":"Bochnak, J., Coste, M., Roy, M.-F.: Real Algebraic Geometry. Springer, Berlin (1999)"},{"key":"27_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90074-P","volume":"101","author":"E. Dahlhaus","year":"1992","unstructured":"Dahlhaus, E., Makowsky, J.A.: Query languages for hierarchic databases. Information and Computation\u00a0101, 1\u201332 (1992)","journal-title":"Information and Computation"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Delzell, C.N.: A finiteness theorem for open semi-algebraic sets, with application to Hilbert\u2019s 17th problem. In: Ordered Fields and Real Algebraic Geometry. Contemp. Math, vol.\u00a08, pp. 79\u201397. AMS (1982)","DOI":"10.1090\/conm\/008\/653176"},{"key":"27_CR8","volume-title":"Finite Model Theory","author":"H. Ebbinghaus","year":"1999","unstructured":"Ebbinghaus, H., Flum, J.: Finite Model Theory. Springer, Berlin (1999)"},{"key":"27_CR9","unstructured":"Engeler, E.: Formal Languages: Automata and Structures. Markham Publishing Co. (1968)"},{"key":"27_CR10","volume-title":"Definability and computability","author":"Y.L. Ershov","year":"1996","unstructured":"Ershov, Y.L.: Definability and computability. Plenum, New-York (1996)"},{"key":"27_CR11","first-page":"323","volume":"20","author":"H. Friedman","year":"1992","unstructured":"Friedman, H., Ko, K.: Computational complexity of real functions. Theoretical Computer Science\u00a020, 323\u2013352 (1992)","journal-title":"Theoretical Computer Science"},{"key":"27_CR12","volume-title":"Dynamic Logic","author":"D. Harel","year":"2002","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2002)"},{"key":"27_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0539-5","volume-title":"Descriptive Complexity","author":"N. Immerman","year":"1999","unstructured":"Immerman, N.: Descriptive Complexity. Springer, New-York (1999)"},{"key":"27_CR14","volume-title":"Languages with Expressions of Infinite Length","author":"C. Karp","year":"1964","unstructured":"Karp, C.: Languages with Expressions of Infinite Length. North-Holland, Amsterdam (1964)"},{"key":"27_CR15","doi-asserted-by":"crossref","unstructured":"Kohlenbach, U.: Proof theory and computational analysis. Electronic Notes in Theoretical Computer Science, vol.\u00a013 (1998)","DOI":"10.1016\/S1571-0661(05)80219-1"},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"Korovina, M.: Fixed points on the reals numbers without the equality test. Electronic Notes in Theoretical Computer Science, vol. 66(1) (2002)","DOI":"10.1016\/S1571-0661(04)80382-7"},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"Korovina, M.: Recent advances in \u03a3-definability over continuous data types. BRICS Report Series RS-03-23 (2003), http:\/\/www.brics.dk\/RS\/03\/23\/index.html","DOI":"10.7146\/brics.v10i23.21793"},{"key":"27_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/10703163_14","volume-title":"Computer Science Logic","author":"M. Korovina","year":"1999","unstructured":"Korovina, M., Kudinov, O.: Characteristic properties of majorant-computability over the reals. In: Gottlob, G., Grandjean, E., Seyr, K. (eds.) CSL 1998. LNCS, vol.\u00a01584, pp. 188\u2013204. Springer, Heidelberg (1999)"},{"key":"27_CR19","doi-asserted-by":"publisher","first-page":"427","DOI":"10.2307\/1994926","volume":"138","author":"Y.N. Moschovakis","year":"1969","unstructured":"Moschovakis, Y.N.: Abstract first order computability I, II. Transactions of the American Mathematical Society\u00a0138, 427\u2013504 (1969)","journal-title":"Transactions of the American Mathematical Society"},{"key":"27_CR20","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Elementary Induction on Abstract Structures","author":"Y.N. Moschovakis","year":"1974","unstructured":"Moschovakis, Y.N.: Elementary Induction on Abstract Structures. Studies in Logic and the Foundations of Mathematics, vol.\u00a077. North-Holland, Amsterdam (1974)"},{"key":"27_CR21","volume-title":"Computability in Analysis and Physics","author":"M.B. Pour-El","year":"1988","unstructured":"Pour-El, M.B., Richards, J.I.: Computability in Analysis and Physics. Springer, Berlin (1988)"},{"key":"27_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1007\/3-540-45575-2_38","volume-title":"Perspectives of System Informatics","author":"V. Sazonov","year":"2001","unstructured":"Sazonov, V.: Using agents for concurrent querying of web-like databases via hyperset- theoretic approach. In: Bj\u00f8rner, D., Broy, M., Zamulin, A.V. (eds.) PSI 2001. LNCS, vol.\u00a02244, pp. 378\u2013394. Springer, Heidelberg (2001)"},{"key":"27_CR23","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1142\/S0129054191000170","volume":"2","author":"J.V. Tucker","year":"1991","unstructured":"Tucker, J.V., Zucker, J.I.: Projections of semicomputable relations on astract data types. International Journal of the Foundations of Computer Science\u00a02, 267\u2013296 (1991)","journal-title":"International Journal of the Foundations of Computer Science"},{"key":"27_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable Analysis","author":"K. Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Computable Analysis. Springer, Berlin (2000)"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45220-1_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T13:01:33Z","timestamp":1559221293000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45220-1_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540408017","9783540452201"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45220-1_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}