{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T12:52:01Z","timestamp":1772369521341,"version":"3.50.1"},"reference-count":11,"publisher":"Duke University Press","issue":"3","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-2018-0007","type":"journal-article","created":{"date-parts":[[2018,6,20]],"date-time":"2018-06-20T02:06:34Z","timestamp":1529460394000},"source":"Crossref","is-referenced-by-count":7,"title":["Ehrenfeucht\u2019s Lemma in Set Theory"],"prefix":"10.1215","volume":"59","author":[{"given":"Gunter","family":"Fuchs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victoria","family":"Gitman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joel David","family":"Hamkins","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"8","unstructured":"[8] Hamkins, J. D., \u201cDoes ZFC prove the universe is linearly orderable?\u201d MathOverflow answer, 2012, <a href=\"http:\/\/mathoverflow.net\/q\/110823\">http:\/\/mathoverflow.net\/q\/110823<\/a> (version 2012-11-03)."},{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Easton, W., \u201cPowers of regular cardinals,\u201d Ph.D. dissertation, Princeton University, Princeton, 1964.","DOI":"10.1016\/0003-4843(70)90012-4"},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Ehrenfeucht, A., \u201cDiscernible elements in models for Peano arithmetic,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 38 (1973), pp. 291\u20132.","DOI":"10.2307\/2272063"},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] Enayat, A., \u201cLeibnizian models of set theory,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 69 (2004), pp. 775\u201389.","DOI":"10.2178\/jsl\/1096901766"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Enayat, A., \u201cOn the Leibniz-Mycielski axiom in set theory,\u201d <i>Fundamenta Mathematicae<\/i>, vol. 181 (2004), pp. 215\u201331.","DOI":"10.4064\/fm181-3-2"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Felgner, U., \u201cChoice functions on sets and classes,\u201d <i>Studies in Logic and the Foundations of Mathematics<\/i>, vol. 84 (1976), pp. 217\u201355.","DOI":"10.1016\/S0049-237X(08)70895-4"},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Gaifman, H., \u201cModels and types of Peano\u2019s arithmetic,\u201d <i>Annals of Mathematical Logic<\/i>, vol. 9 (1976), pp. 223\u2013306.","DOI":"10.1016\/0003-4843(76)90002-4"},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Groszek, M., and R. Laver, \u201cFinite groups of OD-conjugates,\u201d <i>Periodica Mathematica Hungarica<\/i>, vol. 18 (1987), pp. 87\u201397.","DOI":"10.1007\/BF01896284"},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] Hamkins, J. D., and C. Leahy, \u201cAlgebraicity and implicit definability in set theory,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 57 (2016), pp. 431\u201339.","DOI":"10.1215\/00294527-3542326"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Hamkins, J. D., D. Linetsky, and J. Reitz, \u201cPointwise definable models of set theory,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 78 (2013), pp. 139\u201356.","DOI":"10.2178\/jsl.7801090"},{"key":"11","unstructured":"[11] Paris, J., \u201cMinimal models of ZF,\u201d in <i>Proceedings of the Bertrand Russell Memorial Conference (Uldum, 1971)<\/i>, Bertrand Russell Memorial Conference, Leeds, 1973, pp. 327\u201331."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2018-0007","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:59:30Z","timestamp":1706648370000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-59\/issue-3\/Ehrenfeuchts-Lemma-in-Set-Theory\/10.1215\/00294527-2018-0007.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1,1]]},"references-count":11,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2018,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2018-0007","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2018,1,1]]}}}