{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,23]],"date-time":"2023-08-23T18:51:53Z","timestamp":1692816713003},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,3,7]],"date-time":"2016-03-07T00:00:00Z","timestamp":1457308800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1007\/s11225-016-9660-5","type":"journal-article","created":{"date-parts":[[2016,3,7]],"date-time":"2016-03-07T03:21:29Z","timestamp":1457320889000},"page":"277-304","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Theory of Infinitary Relations Extending Zermelo\u2019s Theory of Infinitary Propositions"],"prefix":"10.1007","volume":"104","author":[{"given":"R. Gregory","family":"Taylor","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,3,7]]},"reference":[{"key":"9660_CR1","volume-title":"Set Theory: An Introduction to Large Cardinals","author":"R. Drake F.","year":"1974","unstructured":"Drake F. R.: Set Theory: An Introduction to Large Cardinals. North-Holland, Amsterdam (1974)"},{"key":"9660_CR2","unstructured":"Ebbinghaus, H.-D., in cooperation with V. Peckhaus, Ernst Zermelo: An Approach to His Life and Work, Springer-Verlag, Berlin, 2007."},{"key":"9660_CR3","unstructured":"Ebbinghaus, H.-D., and A. Kanamori, (eds.), Ernst Zermelo: Collected Works Vol. 1: Set Theory, Miscellanea, Springer-Verlag, Berlin, 2010."},{"key":"9660_CR4","unstructured":"Feferman, S., J. Dawson, S. Kleene, G. Moore, R. Solovay, and J. van Heijenoort, (eds.), Kurt G\u00f6del: Collected Works, Vol. 2: Publications 1938\u20131974, Oxford University Press, New York, 1990."},{"key":"9660_CR5","unstructured":"Felgner, U., Introductory note to 1908b, in Ebbinghaus and Kanamori [3], pp. 160\u201388."},{"key":"9660_CR6","unstructured":"G\u00f6del, K., The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory, Annals of Mathematics Studies 3, Princeton University Press, Princeton, New Jersey, 1940. Reprinted in Feferman et\u00a0al. [4], pp. 33\u2013101."},{"key":"9660_CR7","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":"9660_CR8","volume-title":"Bertrand Russell: Essays in Analysis","year":"1973","unstructured":"Lackey, D. (ed.): Bertrand Russell: Essays in Analysis. George Braziller, New York (1973)"},{"key":"9660_CR9","volume-title":"Model Theory: An Introduction","author":"D. Marker","year":"2002","unstructured":"Marker D.: Model Theory: An Introduction. Springer-Verlag, New York (2002)"},{"key":"9660_CR10","unstructured":"Russell, B., On some difficulties in the theory of transfinite numbers and order types, Proceedings of the London Mathematical Society, second series, no. 4 (1906), 29\u201353. Reprinted in Lackey [8], pp. 135\u201364."},{"key":"9660_CR11","unstructured":"Skolem, T., Einige Bemerkungen zur axiomatischen Begr\u00fcndung der Mengenlehre, Matematikerkongressen i Helsingfors den 4\u20137 Juli 1922, Den femte skandinaviska matematikerkongressen, Redog\u00f6relse (Akademiska Bokhandeln, Helsinki, 1923), 217\u2013232. Appears, in English translation by S. Bauer-Mengelberg, in Van Heijenoort [14], pp. 291\u2013301."},{"key":"9660_CR12","doi-asserted-by":"crossref","DOI":"10.1090\/coll\/041","volume-title":"A Formalization of Set Theory without Variables","author":"A. Tarski","year":"1987","unstructured":"Tarski A., Givant S.: A Formalization of Set Theory without Variables. American Mathematical Society, Providence, Rhode Island (1987)"},{"key":"9660_CR13","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1305\/ndjfl\/1093633905","volume":"34","author":"G. Taylor R.","year":"1993","unstructured":"Taylor R. G.: Zermelo, reductionism, and the philosophy of mathematics. Notre Dame Journal of Formal Logic 34, 539\u2013563 (1993)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9660_CR14","volume-title":"From Frege to G\u00f6del: A Source Book in Mathematical Logic","year":"1967","unstructured":"van Heijenoort, J. (ed.): From Frege to G\u00f6del: A Source Book in Mathematical Logic. Harvard University Press, Cambridge (1967)"},{"key":"9660_CR15","doi-asserted-by":"crossref","unstructured":"Zermelo, E., Neuer Beweis f\u00fcr die M\u00f6glichkeit einer Wohlordnung, Mathematische Annalen 65:107\u2013128, 1908. Appears, together with English translation by S. Bauer-Mengelberg, in Ebbinghaus and Kanamori [3], pp. 120\u2013159. Page references are to [3].","DOI":"10.1007\/BF01450054"},{"key":"9660_CR16","doi-asserted-by":"crossref","unstructured":"Zermelo, E., Untersuchungen \u00fcber die Grundlagen der Mengenlehre I, Mathematische Annalen 65:261\u2013281, 1908. Appears, together with English translation by S. Bauer-Mengelberg, in Ebbinghaus and Kanamori [3], pp. 188\u2013229. Page references are to [3].","DOI":"10.1007\/BF01449999"},{"key":"9660_CR17","doi-asserted-by":"crossref","unstructured":"Zermelo, E., \u00dcber den Begriff der Definitheit in der Axiomatik, Fundamenta mathematic\u00e6 14:339\u2013344, 1929. Appears, together with English translation by E. de Pellegrin, in Ebbinghaus and Kanamori [3], pp. 358\u2013367. Page references are to [3].","DOI":"10.4064\/fm-14-1-339-344"},{"key":"9660_CR18","doi-asserted-by":"crossref","unstructured":"Zermelo, E., Grenzzahlen und Mengenbereiche. Neue Untersuchungen \u00fcber die Grundlagen der Mengenlehre, Fundamenta mathematic\u00e6 16:29\u201347, 1930. Appears, together with English translation by E. de Pellegrin, in Ebbinghaus and Kanamori [3], pp. 400\u2013431. Page references are to [3].","DOI":"10.4064\/fm-16-1-29-47"},{"key":"9660_CR19","unstructured":"Zermelo, E., \u00dcber Stufen der Quantifikation und die Logik des Unendlichen, Jahresbericht der Deutschen Mathematiker-Vereinigung 41:85\u201388, 1932. Appears, together with English translation by E. de Pellegrin, in Ebbinghaus and Kanamori [3], pp. 542\u2013549. Page references are to [3]."},{"key":"9660_CR20","doi-asserted-by":"crossref","unstructured":"Zermelo, E., Grundlagen einer allgemeinen Theorie der mathematischen Satzsysteme, Fundamenta mathematic\u00e6 25:136\u2013146, 1935. Appears, together with English translation by E. de Pellegrin, in Ebbinghaus and Kanamori [3], pp. 582\u2013599. Page references are to [3].","DOI":"10.4064\/fm-25-1-136-146"},{"key":"9660_CR21","unstructured":"Zermelo, E., Letter to K. G\u00f6del dated October 29, 1931, in Ebbinghaus and Kanamori [3], pp. 500\u2013501. German original together with English translation by E. de Pellegrin."},{"key":"9660_CR22","unstructured":"Zermelo, E., Thesen \u00fcber das Unendliche in der Mathematik (17. Juli 1921), in Ebbinghaus and Kanamori [3], pp. 306\u2013307. German original together with English translation by E. de Pellegrin."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9660-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-016-9660-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9660-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,5]],"date-time":"2019-09-05T04:37:51Z","timestamp":1567658271000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-016-9660-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,7]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,4]]}},"alternative-id":["9660"],"URL":"https:\/\/doi.org\/10.1007\/s11225-016-9660-5","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,3,7]]}}}