Pages that link to "Item:Q4706123"
From MaRDI portal
The following pages link to Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics (Q4706123):
Displaying 8 items.
- Carnap's early metatheory: scope and limits (Q1708750) (← links)
- Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics (Q1942335) (← 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)
- COMPLETENESS AND CATEGORICITY (IN POWER): FORMALIZATION WITHOUT FOUNDATIONALISM (Q2925323) (← links)
- Why Post Did [Not] Have Turing’s Thesis (Q3305321) (← links)
- Zermelo: definiteness and the universe of definable sets (Q4470280) (← links)
