Pages that link to "Item:Q4706120"
From MaRDI portal
The following pages link to Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic (Q4706120):
Displaying 21 items.
- The mentor of Alan Turing: Max Newman (1897--1984) as a logician (Q384416) (← links)
- Carnap's early semantics (Q486945) (← links)
- Submodels in Carnap's early axiomatics revisited (Q488356) (← links)
- Husserl and Hilbert on completeness, still (Q513991) (← links)
- Second-order characterizable cardinals and ordinals (Q861573) (← links)
- From Dedekind to Zermelo versus Peano to Gödel (Q1694959) (← links)
- Carnap's early metatheory: scope and limits (Q1708750) (← links)
- Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization (Q1708761) (← links)
- On the virtue of categoricity (Q1981999) (← links)
- Axiomatizations of arithmetic and the first-order/second-order divide (Q2053347) (← links)
- Completeness: from Husserl to Carnap (Q2169125) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- Frege and the origins of model theory in nineteenth century geometry (Q2695380) (← links)
- Carnap’s Untersuchungen: Logicism, Formal Axiomatics, and Metatheory (Q2906144) (← links)
- COMPLETENESS AND CATEGORICITY (IN POWER): FORMALIZATION WITHOUT FOUNDATIONALISM (Q2925323) (← links)
- On Arbitrary sets and<i>ZFC</i> (Q3174638) (← links)
- PROJECTIVE DUALITY AND THE RISE OF MODERN LOGIC (Q5037516) (← links)
- Second Order Logic or Set Theory? (Q5388758) (← links)
- What is Tarski's <i>Common</i> Concept of Consequence? (Q5479567) (← links)
- On the Axiom of Canonicity (Q6107281) (← links)
- INTERPRETATION, LOGIC AND PHILOSOPHY: JEAN NICOD’S <i>GEOMETRY IN THE SENSIBLE WORLD</i> (Q6188336) (← links)
