{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:20:47Z","timestamp":1726410047169},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319933412"},{"type":"electronic","value":"9783319933429"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-93342-9_7","type":"book-chapter","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T05:06:39Z","timestamp":1540357599000},"page":"109-120","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Structure and Structures"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Kahle","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,10,25]]},"reference":[{"issue":"8","key":"7_CR1","doi-asserted-by":"publisher","first-page":"2463","DOI":"10.1007\/s11229-015-0819-9","volume":"192","author":"Carolin Antos","year":"2015","unstructured":"Antos, Carolin, Sy-David Friedman, Radek Honzik, and Claudio Ternullo. 2015. Multiverse conceptions in set theory. Synthese 192(8): 2463\u20132488.","journal-title":"Synthese"},{"key":"7_CR2","unstructured":"Bernays, Paul. 1950. Mathematische Existenz und Widerspruchsfreiheit. In Etudes de Philosophie des Sciences, 11\u201325. Neuch\u00e2tel: \u00c9ditions du Griffon. Reprinted in Bernays (1976), p. 92\u2013106."},{"key":"7_CR3","unstructured":"Bernays, Paul. 1976. Abhandlungen zur Philosophie der Mathematik. Darmstadt: Wissenschaftliche Buchgesellschaft."},{"key":"7_CR4","volume-title":"Foundations of constructive analysis","author":"Errett Bishop","year":"1967","unstructured":"Bishop, Errett. 1967. Foundations of constructive analysis. New York: McGraw-Hill."},{"issue":"4","key":"7_CR5","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1016\/0315-0860(75)90113-5","volume":"2","author":"Errett Bishop","year":"1975","unstructured":"Bishop, Errett. 1975. The crisis in contemporary mathematics. Historia Mathematica 2(4): 507\u2013517.","journal-title":"Historia Mathematica"},{"key":"7_CR6","volume-title":"Critical thinking","author":"Max Black","year":"1946","unstructured":"Black, Max. 1946. Critical thinking. New York: Prentice-Hall."},{"key":"7_CR7","unstructured":"Born, Max. 1966. Symbol and reality. Dialectica 20(2): 143\u2013157. Archives de l\u2019institut international des sciences th\u00e9oriques, vol. 14: objectivit\u00e9 et r\u00e9alit\u00e9 dans les diff\u00e9rentes sciences (colloque de l\u2019acad\u00e9mie internationale de philosophie des sciences)."},{"issue":"4","key":"7_CR8","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1080\/00029890.1950.11999523","volume":"57","author":"Nicolas Bourbaki","year":"1950","unstructured":"Bourbaki, Nicolas. 1950. Architecture of mathematics. The American Mathematical Monthly 57(4): 221\u2013232.","journal-title":"The American Mathematical Monthly"},{"key":"7_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-7917-0","volume-title":"Modern Algebra and the Rise of Mathematical Structures","author":"Leo Corry","year":"2004","unstructured":"Corry, Leo. 2004. Modern algebra and the rise of mathematical structures, 2nd revised ed. Basel: Birkh\u00e4user."},{"key":"7_CR10","volume-title":"Was sind und was sollen die Zahlen?","author":"Richard Dedekind","year":"1888","unstructured":"Dedekind, Richard. 1888. Was sind und was sollen die Zahlen? Braunschweig: Vieweg."},{"issue":"4","key":"7_CR11","doi-asserted-by":"publisher","first-page":"401","DOI":"10.2307\/420965","volume":"6","author":"Solomon Feferman","year":"2000","unstructured":"Feferman, Solomon, Harvey M. Friedman, Penelope Maddy, and John R. Steel. 2000. Does mathematics need new axioms? Bulletin of Symbolic Logic 6(4): 401\u2013446.","journal-title":"Bulletin of Symbolic Logic"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/S0049-237X(98)80018-9","volume-title":"Handbook of proof theory","author":"Matthew V H Fairtlough","year":"1998","unstructured":"Fairtlough, Matthew V. H., and Stanley S. Wainer. 1998. Hierarchies of provably recursive functions. In Handbook of proof theory, ed. S. Buss, 149\u2013207. Amsterdam: North-Holland."},{"issue":"1","key":"7_CR13","doi-asserted-by":"publisher","first-page":"xl","DOI":"10.1112\/plms\/s2-19.1.1-v","volume":"s2-19","author":"G. H. H.","year":"1921","unstructured":"Hardy, G. H. 1921. Srinivasa Ramanujan. Proceedings of the London Mathematical Society s2\u201319(1): xl\u2013lviii.","journal-title":"Proceedings of the London Mathematical Society"},{"key":"7_CR14","first-page":"1","volume-title":"Grundz\u00fcge der Mathematik, vol. I","author":"Hans Hermes","year":"1958","unstructured":"Hermes, Hans, and Werner Markwald. 1958. Grundlagen der Mathematik. In Grundz\u00fcge der Mathematik, vol. I, ed. H. Behnke, K. Fladt, and W. S\u00fcss, 1\u201389. G\u00f6ttingen: Vandenhoek & Ruprecht."},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/978-3-319-51608-0_22","volume-title":"Varieties of scientific realism","author":"Reinhard Kahle","year":"2017","unstructured":"Kahle, Reinhard. 2017. Mathematical truth revisited: Mathematics as a toolbox. In Varieties of scientific realism, ed. Evandro Agazzi, 395\u2013406. Cham: Springer."},{"key":"7_CR16","unstructured":"Kahle, Reinhard, and Wilfried Keller. 2015. Syntax versus semantics. In 4th International Conference on Tools for Teaching Logic, ed. M.A. Huertas, J. Marcos, M. Manzano, S. Pinchinat, and F. Schwarzentruber, 75\u201384. University of Rennes 1."},{"key":"7_CR17","volume-title":"Applied proof theory","author":"Ulrich Kohlenbach","year":"2008","unstructured":"Kohlenbach, Ulrich. 2008. Applied proof theory. Berlin: Springer."},{"key":"7_CR18","first-page":"138","volume-title":"Problems in the philosophy of mathematics Studies in logic and the foundations of mathematics","author":"Georg Kreisel","year":"1967","unstructured":"Kreisel, Georg. 1967. Informal rigour and completeness proofs. In Problems in the philosophy of mathematics. Studies in logic and the foundations of mathematics, vol. 47, ed. I. Lakatos, 138\u2013186. Amsterdam: North-Holland."},{"key":"7_CR19","unstructured":"Peano, Giuseppe. 1889. Arithmetices Principia Novo Methodo Exposita. Augustae Taurinorum: Bocca."},{"key":"7_CR20","volume-title":"A concise introduction to mathematical logic","author":"Wolfgang Rautenberg","year":"2006","unstructured":"Rautenberg, Wolfgang. 2006. A concise introduction to mathematical logic, 2nd ed. New York: Springer.","edition":"2"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Reich, Karin. 2006. Gro\u00dfe Forschung, Gro\u00dfe Lehre: Emil Artin. In Zum Gedenken an Emil Artin (1898\u20131962). Hamburger Universit\u00e4tsreden. Neue Folge, vol 9, ed. Der Pr\u00e4sident der Universit\u00e4t Hamburg, 17\u201341. Hamburg:Hamburg University Press.","DOI":"10.15460\/hup.243.1974"},{"key":"7_CR22","unstructured":"Shoenfield, Joseph R. 2000. Mathematical logic. Reading, MA: Addison-Wesley, 1967. Reprinted by ASL, AK Peters."},{"key":"7_CR23","unstructured":"Thiel, Christian. 2006. Kreativit\u00e4t in der mathematischen Grundlagenforschung. In Kreativit\u00e4t, ed. G. Abel, 360\u2013375. Hamburg: Mainer. Kolloquienbetr\u00e4ge vom XX. Deutschen Kongre\u00df f\u00fcr Philosophie, 26.\u201330. September 2005 an der Technischen Universit\u00e4t Berlin."},{"key":"7_CR24","unstructured":"Zweistein (alias Thomas von Randow). 1963. Logelei. Die Zeit, Ausgabe 31, 2. http:\/\/www.zeit.de\/1963\/31\/logelei ."}],"container-title":["Boston Studies in the Philosophy and History of Science","Truth, Existence and Explanation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-93342-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,6]],"date-time":"2023-09-06T05:29:06Z","timestamp":1693978146000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-93342-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319933412","9783319933429"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-93342-9_7","relation":{},"ISSN":["0068-0346","2214-7942"],"issn-type":[{"type":"print","value":"0068-0346"},{"type":"electronic","value":"2214-7942"}],"subject":[],"published":{"date-parts":[[2018]]}}}