{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:44:12Z","timestamp":1725795852182},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319080185"},{"type":"electronic","value":"9783319080192"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08019-2_15","type":"book-chapter","created":{"date-parts":[[2014,6,5]],"date-time":"2014-06-05T01:09:47Z","timestamp":1401930587000},"page":"143-152","source":"Crossref","is-referenced-by-count":6,"title":["Isomorphisms of Non-Standard Fields and Ash\u2019s Conjecture"],"prefix":"10.1007","author":[{"given":"Rumen","family":"Dimitrov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentina","family":"Harizanov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Russell","family":"Miller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K. J.","family":"Mourad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"#cr-split#-15_CR1.1","unstructured":"Davis, M., Matiyasevich, Y., Robinson, J.: Hilbert's tenth problem: Diophantine equations: positive aspects of a negative solution, Mathematical developments arising from Hilbert problems. In: Proc. Sympos. Pure Math., vol.\u00a0XXVIII, Northern Illinois Univ, De Kalb, Ill (1974)"},{"key":"#cr-split#-15_CR1.2","unstructured":"Amer. Math. Soc., Providence, RI, pp. 323-378 (1976)"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Dimitrov, R.D.: Quasimaximality and principal filters isomorphism between \n                  \n                    \n                  \n                  $\\mathcal{E}^{\\ast }$\n                 and \n                  \n                    \n                  \n                  $\\mathcal{L}^{\\ast }(V_{\\infty })$\n                . Arch. Math. Logic\u00a043, 415\u2013424 (2004)","DOI":"10.1007\/s00153-003-0196-9"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Dimitrov, R.D.: A class of \n                  \n                    \n                  \n                  $\\Sigma _{3}^{0}$\n                 modular lattices embeddable as principal filters in \n                  \n                    \n                  \n                  $\\mathcal{L}^{\\ast }(V_{\\infty }) $\n                . Arch. Math. Logic\u00a047(2), 111\u2013132 (2008)","DOI":"10.1007\/s00153-008-0078-2"},{"key":"15_CR4","unstructured":"Dimitrov, R.D.: Cohesive powers of computable structures, Annuare De L\u2019Universite De Sofia \u201cSt. Kliment Ohridski\u201d. Fac. Math. and Inf., Tome\u00a099, 193\u2013201 (2009)"},{"key":"15_CR5","unstructured":"Dimitrov, R.D.: Extensions of certain partial automorphisms of \n                  \n                    \n                  \n                  $\\mathcal{L}^{\\ast }(V_{\\infty })$\n                , Annuare De L\u2019Universite De Sofia \u201cSt. Kliment Ohridski\u201d. Fac. Math. and Inf., Tome\u00a099, 183\u2013191 (2009)"},{"key":"15_CR6","unstructured":"Feferman, S., Scott, D.S., Tennenbaum, S.: Models of arithmetic through function rings. Notices Amer. Math. Soc.\u00a06, 173. Abstract #556-31 (1959)"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Guichard, D.R.: Automorphisms of substructure lattices in recursive algebra. Ann. Pure Appl. Logic\u00a025(1), 47\u201358 (1983)","DOI":"10.1016\/0168-0072(83)90053-2"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Hirschfeld, J.: Models of arithmetic and recursive functions. Israel Journal of Mathematics\u00a020(2), 111\u2013126 (1975)","DOI":"10.1007\/BF02757881"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Hirschfeld, J., Wheeler, W.: Forcing, arithmetic, division rings. Lecture Notes in Mathematics, vol.\u00a0454. Springer, Berlin (1975)","DOI":"10.1007\/BFb0064082"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Robinson, J.: Definability and decision problems in arithmetic. Journal of Symbolic Logic\u00a014(2), 98\u2013114 (1949)","DOI":"10.2307\/2266510"},{"key":"15_CR11","unstructured":"Koenigsmann, J.: Defining \u2124 in \u211a, forthcoming in the Annals of Mathematics, \n                  \n                    http:\/\/arxiv.org\/abs\/1011.3424"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Lerman, M.: Recursive functions modulo co-r-maximal sets. Transactions of the American Mathematical Society\u00a0148(2), 429\u2013444 (1970)","DOI":"10.2307\/1995381"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"McLaughlin, T.: Some extension and rearrangement theorems for Nerode semirings, Zeitschr. f. math. Logic und Grundlagen d. Math.\u00a035, 197\u2013209 (1989)","DOI":"10.1002\/malq.19890350303"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"McLaughlin, T.: Sub-arithmetical ultrapowers: a survey. Annals of Pure and Applied Logic\u00a049(2), 143\u2013191 (1990)","DOI":"10.1016\/0168-0072(90)90064-9"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"McLaughlin, T.: \u03941 ultrapowers are totally rigid. Archive for Mathematical Logic\u00a046, 379\u2013384 (2007)","DOI":"10.1007\/s00153-007-0038-2"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Metakides, G., Nerode, A.: Recursively enumerable vector spaces. Annals of Mathematical Logic\u00a011, 147\u2013171 (1977)","DOI":"10.1016\/0003-4843(77)90015-8"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Robinson, R.: Arithmetical definitions in the ring of integers. Proceedings of the American Mathematical Society\u00a02(2), 279\u2013284 (1951)","DOI":"10.2307\/2032501"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Soare, R.I.: Recursively Enumerable Sets and Degrees. A Study of Computable Functions and Computably Generated Sets. Springer, Berlin (1987)","DOI":"10.1007\/978-3-662-02460-7"}],"container-title":["Lecture Notes in Computer Science","Language, Life, Limits"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08019-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T00:43:43Z","timestamp":1558917823000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08019-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319080185","9783319080192"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08019-2_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}