{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,15]],"date-time":"2026-02-15T03:29:22Z","timestamp":1771126162880,"version":"3.50.1"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2009,10,8]],"date-time":"2009-10-08T00:00:00Z","timestamp":1254960000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2011,4]]},"DOI":"10.1007\/s10485-009-9212-5","type":"journal-article","created":{"date-parts":[[2009,10,7]],"date-time":"2009-10-07T06:30:45Z","timestamp":1254897045000},"page":"455-468","source":"Crossref","is-referenced-by-count":5,"title":["The Finite and the Infinite"],"prefix":"10.1007","volume":"19","author":[{"given":"Horst","family":"Herrlich","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,10,8]]},"reference":[{"key":"9212_CR1","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/s00605-007-0468-2","volume":"151","author":"B Banaschewski","year":"2007","unstructured":"Banaschewski, B., Schuster, P.: The shrinking principle and the axiom of choice. Monatsh. Math. 151, 263\u2013270 (2007)","journal-title":"Monatsh. Math."},{"key":"9212_CR2","unstructured":"Bolzano, B.: Paradoxien des Unendlichen Reclam (1851)"},{"key":"9212_CR3","unstructured":"Borges, J.L.: Der ewige Wettlauf zwischen Achilles und der Schildkr\u00f6te (1929). In: Eine neue Widerlegung der Zeit, pp. 35\u201342. Eichborn Verlag, Frankfurt am Main (2003)"},{"key":"9212_CR4","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1305\/ndjfl\/1093870222","volume":"24","author":"N Brunner","year":"1983","unstructured":"Brunner, N.: Sequential compactness and the axiom of choice. Notre Dame J. Form. Log. 24, 89\u201392 (1983)","journal-title":"Notre Dame J. Form. Log."},{"key":"9212_CR5","unstructured":"Dedekind, R.: Was sind und was sollen die Zahlen? (1887)"},{"key":"9212_CR6","series-title":"Springer Lecture Notes Math","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/BFb0059148","volume-title":"Set-theoretical foundations of category theory.","author":"S Feferman","year":"1969","unstructured":"Feferman, S.: Set-theoretical foundations of category theory. Springer Lecture Notes Math., vol. 106, pp. 201\u2013247. Springer, New York (1969)","edition":"106"},{"key":"9212_CR7","unstructured":"Galilei, G.: Discorsi e Dimostrazioni Matematiche Intorno a due Nuove Scienze Attenenti Alla Mecanica & i Movimenti Locali (1638). English translation: Dialogues Concerning Two New Sciences. Dover, New York (1914)"},{"key":"9212_CR8","series-title":"Springer Lecture Notes Math","volume-title":"Axiom of choice","author":"H Herrlich","year":"2006","unstructured":"Herrlich, H.: Axiom of choice. Springer Lecture Notes Math., vol. 1876. Springer, New York (2006)"},{"key":"9212_CR9","volume-title":"Category Theory","author":"H Herrlich","year":"1973","unstructured":"Herrlich, H., Strecker, G.E.: Category Theory (1973), 3rd edn. Heldermann Verlag, Lemgo (2007)","edition":"3"},{"key":"9212_CR10","first-page":"707","volume":"47","author":"H Herrlich","year":"2006","unstructured":"Herrlich, H., Tachtsis, E.: On the number of Russell\u2019s socks or 2\u2009+\u20092\u2009+\u20092\u2009+\u2009...\u2009=\u2009? Comment. Math. Univ. Carol. 47, 707\u2013717 (2006)","journal-title":"Math. Univ. Carol."},{"key":"9212_CR11","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/BF01206605","volume":"95","author":"D Hilbert","year":"1926","unstructured":"Hilbert, D.: \u00dcber das Unendliche. Math. Ann. 95, 161\u2013190 (1926)","journal-title":"Math. Ann."},{"key":"9212_CR12","doi-asserted-by":"crossref","unstructured":"Howard, P., Rubin, J.E.: Consequences of the axiom of choice. AMS Math. Surv. Monogr. 59 (1998)","DOI":"10.1090\/surv\/059"},{"key":"9212_CR13","doi-asserted-by":"crossref","first-page":"169","DOI":"10.4064\/fm-133-3-169-177","volume":"133","author":"P Howard","year":"1989","unstructured":"Howard, P., Yorke, M.: Definitions of finite. Fundam. Math. 133, 169\u2013177 (1989)","journal-title":"Fundam. Math."},{"key":"9212_CR14","unstructured":"Jech, T.J.: The Axiom of Choice (1973). North Holland Studies in Logic and the Foundations of Math, vol. 75. Reprint: Dover, New York (2008)"},{"key":"9212_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-9478-5","volume-title":"Zermelo\u2019s Axiom of Choice, its Origins, Development and Influence","author":"GH Moore","year":"1982","unstructured":"Moore, G.H.: Zermelo\u2019s Axiom of Choice, its Origins, Development and Influence. Springer, New York (1982)"},{"key":"9212_CR16","unstructured":"von Neumann, J.: Eine Axiomatisierung der Mengenlehre. J. Reine Angew. Math. 154, 219\u2013240 (1925). English translation in van Heijenoort, J. (ed.). From Frege to G\u00f6del, pp. 393\u2013413. Harvard University Press, Cambridge (1967)"},{"key":"9212_CR17","unstructured":"Pascal, B.: Pensees III (1670)"},{"key":"9212_CR18","volume-title":"Philosophical Essays","author":"B Russell","year":"1910","unstructured":"Russell, B.: Philosophical Essays. Longmans, London (1910)"},{"key":"9212_CR19","volume-title":"Mysticism and Logic","author":"B Russell","year":"1929","unstructured":"Russell, B.: Mysticism and Logic. Norton, New York (1929)"},{"key":"9212_CR20","unstructured":"Sponsel, R.: Das Ganze ist gr\u00f6\u00dfer als der Teil. http:\/\/www.sgipt.org\/wisms\/mathe\/ML\/euklid8.htm (2006)"},{"key":"9212_CR21","doi-asserted-by":"crossref","first-page":"45","DOI":"10.4064\/fm-6-1-45-95","volume":"6","author":"A Tarski","year":"1924","unstructured":"Tarski, A.: Sur les ensembles finis. Fundam. Math. 6, 45\u201395 (1924)","journal-title":"Fundam. Math."},{"key":"9212_CR22","unstructured":"Weyl, H.: Philosophie der Mathematik und Naturwissenschaft. In: Oldenbourg, R. (ed.) Handbuch der Philosophie (1926). English translation: Philosophy of Mathematics and Natural Science. Princeton University Press, Princeton (1949)"},{"key":"9212_CR23","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1007\/BF03024481","volume":"7","author":"H Weyl","year":"1985","unstructured":"Weyl, H.: Axiomatic versus constructive methods in mathematics. Math. Intell. 7, 10\u201317, 38 (1985)","journal-title":"Math. Intell."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-009-9212-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-009-9212-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-009-9212-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T14:25:57Z","timestamp":1559139957000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-009-9212-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,8]]},"references-count":23,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,4]]}},"alternative-id":["9212"],"URL":"https:\/\/doi.org\/10.1007\/s10485-009-9212-5","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,10,8]]}}}