{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T09:05:45Z","timestamp":1749719145215},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T00:00:00Z","timestamp":1180656000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2007,6]]},"DOI":"10.1007\/s11225-007-9049-6","type":"journal-article","created":{"date-parts":[[2007,6,25]],"date-time":"2007-06-25T11:56:30Z","timestamp":1182772590000},"page":"1-30","source":"Crossref","is-referenced-by-count":15,"title":["Definability and Invariance"],"prefix":"10.1007","volume":"86","author":[{"given":"N. C. A.","family":"da Costa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. A. M.","family":"Rodrigues","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,6,26]]},"reference":[{"key":"9049_CR1","unstructured":"Bourbaki, N., Theory of Sets, London-Ontario: Hermann, Addison Wesley, 1968."},{"key":"9049_CR2","volume-title":"Model Theory and Algebraic Geometry: An Introduction to E. Hrushovski\u2019s Proof of the Geometric Mordell-Lang Conjecture","year":"1998","unstructured":"Bouscaren E. (eds) (1998) Model Theory and Algebraic Geometry: An Introduction to E. Hrushovski\u2019s Proof of the Geometric Mordell-Lang Conjecture. Springer-Verlag, New York"},{"key":"9049_CR3","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF00166367","volume":"29","author":"N.C.A. Costa da","year":"1988","unstructured":"da Costa N.C.A. and Chuaqui R. (1988) \u2018On Suppes set-theoretical predicates\u2019. Erkenntnis 29:95\u2013112","journal-title":"Erkenntnis"},{"key":"9049_CR4","volume-title":"A Shorter Model Theory","author":"W. Hodges","year":"1997","unstructured":"Hodges W. (1997). A Shorter Model Theory. Cambridge, Cambridge University Press"},{"key":"9049_CR5","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1090\/S0894-0347-96-00202-0","volume":"9","author":"E. Hrushovski","year":"1996","unstructured":"Hrushovski E. (1996). \u2018The Mordell-Lang conjecture for function fields\u2019. Journal Am. Math. Soc. 9:667\u2013690","journal-title":"Journal Am. Math. Soc."},{"key":"9049_CR6","first-page":"367","volume":"17","author":"M. Krasner","year":"1938","unstructured":"Krasner M. (1938). \u2018Une g\u00e9n\u00e9ralisation de la notion de corps\u2019. Journal de Math. Pures et Appl. 17:367\u2013385","journal-title":"Journal de Math. Pures et Appl."},{"key":"9049_CR7","unstructured":"Krasner, M., \u2018Endoth\u00e9orie de Galois abstraite\u2019, S\u00e9minaire Dubreil-Pisot, Alg. et Th\u00e9orie des Nombres 22, 6, 1968-69"},{"key":"9049_CR8","volume-title":"Model Theory: An Introduction","author":"D. Marker","year":"2002","unstructured":"Marker D. (2002). Model Theory: An Introduction. New York, Springer-Verlag"},{"key":"9049_CR9","doi-asserted-by":"crossref","first-page":"932","DOI":"10.2307\/2275062","volume":"56","author":"M.V. Marshall","year":"1991","unstructured":"Marshall M.V., Chuaqui R. (1991) \u2018Sentences of type theory: the only sentences preserved under isomorphisms\u2019. Journal of Symb. Logic 56:932\u2013948","journal-title":"Journal of Symb. Logic"},{"key":"9049_CR10","volume-title":"An Introduction to Stability Theory","author":"A. Pillay","year":"1983","unstructured":"Pillay A. (1983) An Introduction to Stability Theory. Oxford: Oxford Sci. Pu."},{"key":"9049_CR11","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198534372.001.0001","volume-title":"Geometric Stability Theory","author":"A. Pillay","year":"1996","unstructured":"Pillay A. (1996) Geometric Stability Theory. Oxford: Oxford Sci. Pu."},{"key":"9049_CR12","unstructured":"Sebasti\u00e3o e Silva, J., \u2018Para Uma Teoria Geral Dos Homomorfismos (Thesis)\u2019, in J. C. Ferreira, J. S. Guerreiro and J. S. Oliveira (eds.), Obras de Jos\u00e9 Sebasti\u00e3o e Silva, Volume 1, Lisbon: Instituto Nacional de Investiga\u00e7\u00e3o Cient\u00edfica, 1985, pp. 135\u2013339."},{"key":"9049_CR13","first-page":"327","volume":"9","author":"J. Sebasti\u00e3oe Silva","year":"1945","unstructured":"Sebasti\u00e3o e Silva J. (1945). \u2018Sugli automorfismi di un sistema matematico qualunque\u2019. Comm. Pontif. Acad. Sci. 9:327\u2013357","journal-title":"Comm. Pontif. Acad. Sci."},{"key":"9049_CR14","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1080\/01445348508837078","volume":"6","author":"J. Sebasti\u00e3oe Silva","year":"1985","unstructured":"Sebasti\u00e3o e Silva J. (1985). \u2018On automorphisms of arbitrary mathematical systems\u2019. History and Philosophy of Logic 6:91\u2013116","journal-title":"History and Philosophy of Logic"},{"key":"9049_CR15","volume-title":"Logic, Semantics, Metamathematics","author":"A. Tarski","year":"1983","unstructured":"Tarski A. (1983) Logic, Semantics, Metamathematics. Indianapolis: Hackett"},{"key":"9049_CR16","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1080\/01445348608837096","volume":"7","author":"A. Tarski","year":"1986","unstructured":"Tarski A. (1986). \u2018What are logical notions?\u2019. History and Philosophy of Logic 7:143\u2013154","journal-title":"History and Philosophy of Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-007-9049-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-007-9049-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-007-9049-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,15]],"date-time":"2024-02-15T09:35:15Z","timestamp":1707989715000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-007-9049-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,6]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,6]]}},"alternative-id":["9049"],"URL":"https:\/\/doi.org\/10.1007\/s11225-007-9049-6","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,6]]}}}