The following pages link to String theory (Q5966796):
Displaying 26 items.
- Deflationary truth and the ontology of expressions (Q513895) (← links)
- Curves in Gödel-space: towards a structuralist ontology of mathematical signs (Q603909) (← links)
- The good, the bad and the ugly (Q1036086) (← links)
- The logical strength of compositional principles (Q1704080) (← links)
- Deflationism beyond arithmetic (Q2052155) (← links)
- First-order concatenation theory with bounded quantifiers (Q2219089) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions (Q2963970) (← links)
- CONSISTENCY AND THE THEORY OF TRUTH (Q3195585) (← links)
- Remarks on the development of computability (Q3310596) (← links)
- Schemata: The Concept of Schema in the History of Logic (Q3430938) (← links)
- Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence (Q3618448) (← links)
- The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper (Q4611683) (← links)
- Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic (Q4706120) (← links)
- Categoricity (Q4739896) (← links)
- The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper (Q4914192) (← links)
- A General Setting for Dedekind's Axiomatization of the Positive Integers (Q4914193) (← links)
- The Tarskian Turn: Deflationism and Axiomatic Truth (Q4983369) (← links)
- ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS (Q5001552) (← links)
- 2011 Spring Meeting of the Association for Symbolic Logic (Q5388759) (← links)
- A New–old Characterisation of Logical Knowledge (Q5497107) (← links)
- A step towards absolute versions of metamathematical results (Q6150669) (← links)
- INTERLEAVING LOGIC AND COUNTING (Q6199174) (← links)
- The philosophy of logic of John Corcoran (Q6610493) (← links)
- Corcoran the mathematician (Q6610495) (← links)
- Quantifier-free induction for lists (Q6617170) (← links)
