{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,31]],"date-time":"2024-01-31T00:12:08Z","timestamp":1706659928597},"reference-count":24,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2018,1,1]]},"DOI":"10.1215\/00294527-2017-0020","type":"journal-article","created":{"date-parts":[[2017,8,25]],"date-time":"2017-08-25T02:02:21Z","timestamp":1503626541000},"source":"Crossref","is-referenced-by-count":1,"title":["Invariance and Definability, with and without Equality"],"prefix":"10.1215","volume":"59","author":[{"given":"Denis","family":"Bonnay","sequence":"first","affiliation":[]},{"given":"Fredrik","family":"Engstr\u00f6m","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":"[1] Barwise, K. J., \u201cBack and forth through infinitary logic,\u201d pp. 5\u201334 in <i>Studies in Model Theory<\/i>, edited by M. D. Morley, vol. 8 of <i>Mathematical Association of America Studies in Mathematics<\/i>, Mathematical Association of America, Buffalo, N.Y., 1973."},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Bonnay, D., \u201cLogicality and invariance,\u201d <i>Bulletin of Symbolic Logic<\/i>, vol. 14 (2008), pp. 29\u201368.","DOI":"10.2178\/bsl\/1208358843"},{"key":"3","unstructured":"[3] Bonnay, D., \u201cQu\u2019est-ce qu\u2019une constante logique ?,\u201d Ph.D. dissertation, Universit\u00e9 Paris I, Paris, France, 2006."},{"key":"4","unstructured":"[4] Cameron, P. J., <i>Oligomorphic Permutation Groups<\/i>, vol. 152 of <i>London Mathematical Society Lecture Note Series<\/i>, Cambridge University Press, Cambridge, 1990."},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Casanovas, E., \u201cLogical operations and invariance,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 36 (2007), pp. 33\u201360.","DOI":"10.1007\/s10992-006-9034-y"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Casanovas, E., P. Dellunde, and R. Jansana, \u201cOn elementary equivalence for equality-free logic,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 37 (1996), pp. 506\u201322.","DOI":"10.1305\/ndjfl\/1039886524"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Casanovas, E., and R. Farr\u00e9, \u201cWeak forms of elimination of imaginaries,\u201d <i>Mathematical Logic Quarterly<\/i>, vol. 50 (2004), pp. 126\u201340.","DOI":"10.1002\/malq.200310083"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] da Costa, N. C. A., and A. A. M. Rodrigues, \u201cDefinability and invariance,\u201d <i>Studia Logica<\/i>, vol. 86 (2007), pp. 1\u201330.","DOI":"10.1007\/s11225-007-9049-6"},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] Feferman, S., \u201cLogic, logics, and logicism,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 40 (1999), pp. 31\u201354.","DOI":"10.1305\/ndjfl\/1039096304"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] Feferman, S., \u201cSet-theoretical invariance criteria for logicality,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 51 (2010), pp. 3\u201320.","DOI":"10.1215\/00294527-2010-002"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Feferman, S., \u201cWhich quantifiers are logical? A combined semantical and inferential criterion,\u201d pp. 19\u201330 in <i>Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics and Language<\/i>, edited by A. Torza, vol. 373 of <i>Synthese Library<\/i>, Springer, Cham, 2015.","DOI":"10.1007\/978-3-319-18362-6_2"},{"key":"12","unstructured":"[12] Hodges, W., <i>Model Theory<\/i>, vol. 42 of <i>Encyclopedia of Mathematics and Its Applications<\/i>, Cambridge University Press Cambridge, 1993."},{"key":"13","unstructured":"[13] Karp, C., <i>Languages with Expressions of Infinite Length<\/i>, North-Holland, Amsterdam, 1964."},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] Klein, F., \u201cVergleichende betrachtungen \u00fcber neuere geometrische forschungen,\u201d <i>Mathematische Annalen<\/i>, vol. 43 (1893), pp. 63\u2013100.","DOI":"10.1007\/BF01446615"},{"key":"15","unstructured":"[15] Krasner, M., \u201cRemarque au sujet d\u2019 \u2018Une g\u00e9n\u00e9ralisation de la notion de corps,\u201d' <i>Journal de math\u00e9matiques pures et appliqu\u00e9es<\/i>, vol. 17 (1939), pp. 417\u201318."},{"key":"16","unstructured":"[16] Krasner, M., \u201cG\u00e9n\u00e9ralisation abstraite de la th\u00e9orie de Galois,\u201d pp. 163\u201368 in <i>Alg\u00e8bre et Th\u00e9orie des Nombres<\/i>, vol. 24 of <i>Colloques Internationaux du Centre National de la Recherche Scientifique<\/i>, Centre National de la Recherche Scientifique, Paris, 1950."},{"key":"17","doi-asserted-by":"crossref","unstructured":"[17] Lang, S., <i>Algebra<\/i>, third edition, vol. 211 of <i>Graduate Texts in Mathematics<\/i>, Springer, New York, 2002.","DOI":"10.1007\/978-1-4613-0041-0"},{"key":"18","unstructured":"[18] Lindstr\u00f6m, P., \u201cFirst order predicate logic with generalized quantifiers,\u201d <i>Theoria<\/i>, vol. 32 (1966), pp. 165\u201371."},{"key":"19","unstructured":"[19] MacFarlane, J., <i>What does it mean to say that logic is formal?<\/i>, Ph.D. dissertation, University of Pittsburgh, Pittsburgh, Pa., 2000."},{"key":"20","doi-asserted-by":"crossref","unstructured":"[20] McGee, V., \u201cLogical operations,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 25 (1996), pp. 567\u201380.","DOI":"10.1007\/BF00265253"},{"key":"21","unstructured":"[21] Poizat, B., \u201cLa th\u00e9orie de Galois abstraite,\u201d <i>Elefteria<\/i>, vol. 3 (1985), pp. 99\u2013107."},{"key":"22","unstructured":"[22] Sher, G., <i>The Bounds of Logic: A Generalized Viewpoint<\/i>, MIT Press, Cambridge, Mass., 1991."},{"key":"23","doi-asserted-by":"crossref","unstructured":"[23] Stoller, G., \u201cExample of a proper subgroup of $S_{\\infty}$ which has a set-transitivity property,\u201d <i>Bulletin of the American Mathematical Society<\/i>, vol. 69 (1963), pp. 220\u201321.","DOI":"10.1090\/S0002-9904-1963-10922-2"},{"key":"24","doi-asserted-by":"crossref","unstructured":"[24] Tarski, A., \u201cWhat are logical notions?,\u201d <i>History and Philosophy of Logic<\/i>, vol. 7 (1986), pp. 143\u201354.","DOI":"10.1080\/01445348608837096"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2017-0020","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:59:20Z","timestamp":1706648360000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-59\/issue-1\/Invariance-and-Definability-with-and-without-Equality\/10.1215\/00294527-2017-0020.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1,1]]},"references-count":24,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2018,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2017-0020","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2018,1,1]]}}}