Gerla, Giangiacomo Point-free continuum. (English) Zbl 07309830 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 427-475 (2021). MSC: 01-02 03-03 26-03 00A30 PDF BibTeX XML Cite \textit{G. Gerla}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 427--475 (2021; Zbl 07309830) Full Text: DOI
Heinzmann, Gerhard; Petitot, Jean The functional role of structures in Bourbaki. (English) Zbl 07327356 Reck, Erich H. (ed.) et al., The prehistory of mathematical structuralism. Oxford: Oxford University Press (ISBN 978-0-19-064122-1/hbk). Logic and Computation in Philosophy, 187-214 (2020). MSC: 03-03 03A05 01A60 00A30 PDF BibTeX XML Cite \textit{G. Heinzmann} and \textit{J. Petitot}, in: The prehistory of mathematical structuralism. Oxford: Oxford University Press. 187--214 (2020; Zbl 07327356) Full Text: DOI
Chailos, George The notion of infinity within the Zermelo system and its relation to the axiom of countable choice. (English) Zbl 06800648 Theor. Math. Appl. 6, No. 1, 39-66 (2016). MSC: 03E30 03C62 03A05 PDF BibTeX XML Cite \textit{G. Chailos}, Theor. Math. Appl. 6, No. 1, 39--66 (2016; Zbl 06800648) Full Text: arXiv
Venturi, Giorgio Foundation of mathematics between theory and practice. (English. French summary) Zbl 1318.03020 Philos. Sci., Paris 18, No. 1, 45-80 (2014). MSC: 03A05 00A30 PDF BibTeX XML Cite \textit{G. Venturi}, Philos. Sci., Paris 18, No. 1, 45--80 (2014; Zbl 1318.03020)
Kalanov, Temur Z. On rationalization of the foundations of differential calculus. (English) Zbl 1446.03030 Bull. Pure Appl. Sci. E, Math. Stat. 31, No. 1, 1-7 (2012). MSC: 03B30 26A03 26A06 00A30 PDF BibTeX XML Cite \textit{T. Z. Kalanov}, Bull. Pure Appl. Sci. E, Math. Stat. 31, No. 1, 1--7 (2012; Zbl 1446.03030)
Arrigoni, Tatiana; Friedman, Sy-David Foundational implications of the inner model hypothesis. (English) Zbl 1270.03090 Ann. Pure Appl. Logic 163, No. 10, 1360-1366 (2012). MSC: 03E35 03E65 03E45 00A30 PDF BibTeX XML Cite \textit{T. Arrigoni} and \textit{S.-D. Friedman}, Ann. Pure Appl. Logic 163, No. 10, 1360--1366 (2012; Zbl 1270.03090) Full Text: DOI
Linnebo, Øystein; Pettigrew, Richard Category theory as an autonomous foundation. (English) Zbl 1270.18001 Philos. Math. (3) 19, No. 3, 227-254 (2011). MSC: 18A15 00A30 03A05 PDF BibTeX XML Cite \textit{Ø. Linnebo} and \textit{R. Pettigrew}, Philos. Math. (3) 19, No. 3, 227--254 (2011; Zbl 1270.18001) Full Text: DOI
Sher, Gila Is logic in the mind or in the world? (English) Zbl 1235.03020 Synthese 181, No. 2, 353-365 (2011). MSC: 03A05 00A30 PDF BibTeX XML Cite \textit{G. Sher}, Synthese 181, No. 2, 353--365 (2011; Zbl 1235.03020) Full Text: DOI
Tieszen, Richard Poincaré on intuition and arithmetic: une “saine psychologie”? (English) Zbl 1241.03004 Bour, Pierre Edouard (ed.) et al., Construction. Festschrift for Gerhard Heinzmann on the occasion of his 60th birthday. London: College Publications (ISBN 978-1-84890-016-5/pbk). Tributes 14, 97-106 (2010). Reviewer: Italo Simonelli (Westminster, MD) MSC: 03A05 00A30 01A55 01A60 03B30 03F55 PDF BibTeX XML Cite \textit{R. Tieszen}, Tributes 14, 97--106 (2010; Zbl 1241.03004)
Reck, Erich H. Dedekind, structural reasoning, and mathematical understanding. (English) Zbl 1198.00007 Van Kerkhove, Bart (ed.), New perspectives on mathematical practices. Essays in philosophy and history of mathematics. Papers from the 2nd perspectives on mathematical practices conference (PMP2007), Free University of Brussels, Brussels, March 26–28, 2007. Hackensack, NJ: World Scientific (ISBN 978-981-281-222-3/hbk; 978-981-281-223-0/ebook). 150-173 (2009). Reviewer: Angel Francisco Tenorio Villalon (Seville) MSC: 00A30 01A70 03A05 00B25 01-06 01A55 01A60 03-03 03-06 PDF BibTeX XML Cite \textit{E. H. Reck}, in: New perspectives on mathematical practices. Essays in philosophy and history of mathematics. Papers from the 2nd perspectives on mathematical practices conference (PMP2007), Free University of Brussels, Brussels, March 26--28, 2007. Hackensack, NJ: World Scientific. 150--173 (2009; Zbl 1198.00007)
Pedroso, Makmiller On three arguments against categorical structuralism. (English) Zbl 1195.03006 Synthese 170, No. 1, 21-31 (2009). Reviewer: Gregor Nickel (Siegen) MSC: 03A05 00A30 18A15 18B05 PDF BibTeX XML Cite \textit{M. Pedroso}, Synthese 170, No. 1, 21--31 (2009; Zbl 1195.03006) Full Text: DOI
Grattan-Guinness, I. Algebras, projective geometry, mathematical logic, and constructing the world: intersections in the philosophy of mathematics of A. N. Whitehead. (English) Zbl 1046.00003 Hist. Math. 29, No. 4, 427-462 (2002); corrigendum ibid. 30, No. 1, 96 (2003). Reviewer: Michel Weber (Louvain-la-Neuve) MSC: 00A30 01A60 03-03 03A05 01A70 PDF BibTeX XML Cite \textit{I. Grattan-Guinness}, Hist. Math. 29, No. 4, 427--462 (2003; Zbl 1046.00003) Full Text: DOI
Majer, Ulrich Husserl and Hilbert on completeness. A neglected chapter in early twentieth century foundations of mathematics. (English) Zbl 0936.01017 Synthese 110, No. 1, 37-56 (1997). Reviewer: J.J.Burckhardt (Zürich) MSC: 01A60 03-03 00A30 PDF BibTeX XML Cite \textit{U. Majer}, Synthese 110, No. 1, 37--56 (1997; Zbl 0936.01017) Full Text: DOI
Stelzner, Werner Gottlob Frege: Jena and the birth of modern logic. (Gottlob Frege: Jena und die Geburt der modernen Logik.) (German) Zbl 0908.01013 Jena: Verein zur Regionalförderung von Forschung, Innovation und Technologie für die Strukturentwicklung. 95 S. (1996). Reviewer: V.Peckhaus (Erlangen) MSC: 01A70 01A73 01A60 00A30 01A55 03-03 PDF BibTeX XML Cite \textit{W. Stelzner}, Gottlob Frege: Jena und die Geburt der modernen Logik. Jena: Verein zur Regionalförderung von Forschung, Innovation und Technologie für die Strukturentwicklung (1996; Zbl 0908.01013)
Dummett, Michael Introductory remarks. (English) Zbl 0878.03004 Czermak, Johannes (ed.), Philosophy of mathematics. Proceedings of the 15th international Wittgenstein-Symposium, August 16-23, 1992, Kirchberg am Wechsel, Austria. Part I. Wien: Hölder-Pichler-Tempsky. Schriftenreihe der Wittgenstein-Gesellschaft. 20/I, 69-76 (1993). Reviewer: V.Peckhaus (Erlangen) MSC: 03A05 03-03 01A55 00A30 PDF BibTeX XML Cite \textit{M. Dummett}, in: Philosophy of mathematics. Proceedings of the 15th international Wittgenstein-Symposium, 16-23 August 1992, Kirchberg am Wechsel, Austria. Part I. Wien: Hölder-Pichler-Tempsky. 69--76 (1993; Zbl 0878.03004)
Mac Lane, Saunders Is Mathias an ontologist? (English) Zbl 0786.03001 Set theory of the continuum, Pap. Math. Sci. Res. Inst. Workshop, Berkeley/CA (USA) 1989, Math. Sci. Res. Inst. Publ. 26, 119-122 (1992). Reviewer: S.Gottwald (Leipzig) MSC: 03A05 00A30 03E99 PDF BibTeX XML Cite \textit{S. Mac Lane}, Math. Sci. Res. Inst. Publ. 26, 119--122 (1992; Zbl 0786.03001)
Mathias, Adrian R. D. What is Mac Lane missing? (English) Zbl 0786.03002 Set theory of the continuum, Pap. Math. Sci. Res. Inst. Workshop, Berkeley/CA (USA) 1989, Math. Sci. Res. Inst. Publ. 26, 113-118 (1992). Reviewer: S.Gottwald (Leipzig) MSC: 03A05 03E99 00A30 PDF BibTeX XML Cite \textit{A. R. D. Mathias}, Math. Sci. Res. Inst. Publ. 26, 113--118 (1992; Zbl 0786.03002)
Mac Lane, Saunders Mathematics, form and function. (English) Zbl 0666.00019 New York etc.: Springer-Verlag. XI, 476 p. DM 128.00 (1986). Reviewer: A.Bothner MSC: 00A30 00-01 00A05 00A06 03A05 PDF BibTeX XML
Sambin, Giovanni Towards the roots of logic. (Italian) Zbl 0595.03001 Atti degli incontri di logica matematica, Vol. 2, Siena/Italia 1983/84, 377-386 (1985). Reviewer: A.Ursini MSC: 03A05 00A30 PDF BibTeX XML
Winterbourne, Anthony T. Algebra and pure time: Hamilton’s affinity with Kant. (English) Zbl 0489.01013 Hist. Math. 9, 195-200 (1982). MSC: 01A55 00A30 PDF BibTeX XML Cite \textit{A. T. Winterbourne}, Hist. Math. 9, 195--200 (1982; Zbl 0489.01013) Full Text: DOI
Beth, E. W. Heuristische und formale Beweisführung. (Dutch) Zbl 0098.24106 Math. Centrum, Amsterdam ZW 1961-011, 1-2 (1961). MSC: 03A05 PDF BibTeX XML
Asser, Günter Rekursive Wortfunktionen. (German) Zbl 0098.24402 Z. Math. Logik Grundlagen Math. 6, 258-278 (1960). PDF BibTeX XML Cite \textit{G. Asser}, Z. Math. Logik Grundlagen Math. 6, 258--278 (1960; Zbl 0098.24402) Full Text: DOI
Spector, C. Hyperarithmetical quantifiers. (English) Zbl 0098.24301 Fundam. Math. 48, 313-320 (1960). PDF BibTeX XML Cite \textit{C. Spector}, Fundam. Math. 48, 313--320 (1960; Zbl 0098.24301) Full Text: DOI EuDML
Harrop, Ronald Concerning formulas of the types A \(\rightarrow\) B \(\vee\) C, A \( \rightarrow\) (E x) B (x) in intuitionistic formal systems. (English) Zbl 0098.24201 J. Symb. Log. 25, 27-32 (1960). PDF BibTeX XML Cite \textit{R. Harrop}, J. Symb. Log. 25, 27--32 (1960; Zbl 0098.24201) Full Text: DOI
More, Trenchard jun. On the construction of Venn diagrams. (English) Zbl 0098.24501 J. Symb. Log. 24, 303-304 (1959). PDF BibTeX XML Cite \textit{T. More jun.}, J. Symb. Log. 24, 303--304 (1959; Zbl 0098.24501) Full Text: DOI
Shapiro, H. S. Numbers and functions computable by means of rational recurrence formulae. (English) Zbl 0098.24403 Commun. Pure Appl. Math. 12, 513-522 (1959). PDF BibTeX XML Cite \textit{H. S. Shapiro}, Commun. Pure Appl. Math. 12, 513--522 (1959; Zbl 0098.24403) Full Text: DOI
Shvyrev, V. S. Zur Frage der kausalen Implikation. (Russian) Zbl 0098.24107 Logich. Issled., Moskva, 139-158 (1959). MSC: 03A05 00A30 PDF BibTeX XML
Kol’man, É. Die Bedeutung der symbolischen Logik. (Russian) Zbl 0098.24104 Logich. Issled., Moskva, 3-19 (1959). MSC: 03A05 PDF BibTeX XML
Mshvenieradze, V. V. Über das philosophische Wesen der “semantischen Konzeption der Wahrheit”. (Russian) Zbl 0098.24103 Logich. Issled., Moskva, 48-68 (1959). MSC: 00A30 PDF BibTeX XML
Ershov, A. P. On operator algorithms. (Russian) Zbl 0098.24401 Dokl. Akad. Nauk SSSR 122, 967-970 (1958). PDF BibTeX XML Cite \textit{A. P. Ershov}, Dokl. Akad. Nauk SSSR 122, 967--970 (1958; Zbl 0098.24401)
Kropp, G. Struktur und philosophischer Standort der Mathematik. (German) Zbl 0098.24101 Sitzungsber. Berliner Math. Ges. 1957/58, 25-28 (1958). MSC: 00A30 PDF BibTeX XML