Pages that link to "Item:Q4706123"

The following pages link to Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics (Q4706123):

Displayed 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)