Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
From MaRDI portal
Publication:3958419
DOI10.1080/01445348008837006zbMath0495.01007OpenAlexW2029079161WikidataQ58351201 ScholiaQ58351201MaRDI QIDQ3958419
Publication date: 1980
Published in: History and Philosophy of Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/01445348008837006
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Set theory (03Exx)
Related Items (31)
Second-order languages and mathematical practice ⋮ Traditional logic and the early history of sets, 1854-1908 ⋮ Formalization, syntax and the standard model of arithmetic ⋮ Notes on the fate of logicism fromprincipia mathematicato gödel's incompletability theorem ⋮ Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic ⋮ Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics ⋮ Axiomatization and models of scientific theories ⋮ Burali-Forti's paradox: A reappraisal of its origins ⋮ Developing arithmetic in set theory without infinity: some historical remarks ⋮ Explanation by induction? ⋮ Zermelo and Set Theory ⋮ Zermelo in the mirror of the Baer correspondence, 1930--1931. ⋮ Sixty years after Gödel ⋮ Completeness and categoricity: Frege, gödel and model theory ⋮ Discussion on the foundation of mathematics ⋮ Toward a modal-structural interpretation of set theory ⋮ Historians and Philosophers of Logic: Are They Compatible? The Bolzano-Weierstrass Theorem as a Case Study ⋮ ‘ich habe mich wohl gehütet, alle patronen auf einmal zu verschießen’. ernst zermelo in göttingen ⋮ Neo-Fregeanism: an embarrassment of riches ⋮ Zermelo and Set Theory ⋮ Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic ⋮ Zermelo: definiteness and the universe of definable sets ⋮ Early History of the Generalized Continuum Hypothesis: 1878–1938 ⋮ A New–old Characterisation of Logical Knowledge ⋮ Foundations for analysis and proof theory ⋮ Completing the Gödel-Zermelo correspondence ⋮ Zermelo: Boundary numbers and domains of sets continued ⋮ A critical appraisal of second-order logic ⋮ Zermelo and the Skolem Paradox ⋮ Hilbert on the infinite: The role of set theory in the evolution of Hilbert's thought ⋮ Hilbert's paradox
This page was built for publication: Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
