Pages that link to "Item:Q3958419"
From MaRDI portal
The following pages link to Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory (Q3958419):
Displayed 29 items.
- Axiomatization and models of scientific theories (Q429827) (← links)
- Neo-Fregeanism: an embarrassment of riches (Q558727) (← links)
- Foundations for analysis and proof theory (Q798634) (← links)
- Completing the Gödel-Zermelo correspondence (Q802533) (← links)
- Formalization, syntax and the standard model of arithmetic (Q882845) (← links)
- Burali-Forti's paradox: A reappraisal of its origins (Q1157318) (← links)
- Sixty years after Gödel (Q1178182) (← links)
- Toward a modal-structural interpretation of set theory (Q1202500) (← links)
- Zermelo in the mirror of the Baer correspondence, 1930--1931. (Q1427539) (← links)
- Hilbert on the infinite: The role of set theory in the evolution of Hilbert's thought (Q1604656) (← links)
- Hilbert's paradox (Q1604663) (← links)
- Traditional logic and the early history of sets, 1854-1908 (Q1913678) (← links)
- Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic'' (Q1942090) (← links)
- Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics (Q1942335) (← links)
- Historians and Philosophers of Logic: Are They Compatible? The Bolzano-Weierstrass Theorem as a Case Study (Q2757982) (← links)
- ‘ich habe mich wohl gehütet, alle patronen auf einmal zu verschießen’. ernst zermelo in göttingen (Q3033723) (← links)
- Early History of the Generalized Continuum Hypothesis: 1878–1938 (Q3112603) (← links)
- A critical appraisal of second-order logic (Q3141185) (← links)
- Notes on the fate of logicism from<i>principia mathematica</i>to gödel's incompletability theorem (Q3220546) (← links)
- Discussion on the foundation of mathematics (Q3318743) (← links)
- Zermelo: Boundary numbers and domains of sets continued (Q3439852) (← links)
- Second-order languages and mathematical practice (Q3727947) (← links)
- Developing arithmetic in set theory without infinity: some historical remarks (Q3786464) (← links)
- Completeness and categoricity: Frege, gödel and model theory (Q4373014) (← links)
- Zermelo: definiteness and the universe of definable sets (Q4470280) (← links)
- Zermelo and the Skolem Paradox (Q4508278) (← links)
- Zermelo and Set Theory (Q4678931) (← links)
- Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic (Q4706120) (← links)
- Zermelo and Set Theory (Q5717235) (← links)