String theory

DOI10.2307/2272846zbMath0298.02011OpenAlexW4235531587WikidataQ56432516 ScholiaQ56432516MaRDI QIDQ5966796

John Corcoran, Michael Maloney, William Frank

Publication date: 1975

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272846

Mathematics Subject Classification ID

Related Items (23)

CONSISTENCY AND THE THEORY OF TRUTH ⋮ Curves in Gödel-space: towards a structuralist ontology of mathematical signs ⋮ A step towards absolute versions of metamathematical results ⋮ Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions ⋮ INTERLEAVING LOGIC AND COUNTING ⋮ The logical strength of compositional principles ⋮ The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper ⋮ First-order concatenation theory with bounded quantifiers ⋮ 2011 Spring Meeting of the Association for Symbolic Logic ⋮ Remarks on the development of computability ⋮ The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper ⋮ Deflationary truth and the ontology of expressions ⋮ A General Setting for Dedekind's Axiomatization of the Positive Integers ⋮ The scope of Gödel's first incompleteness theorem ⋮ Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence ⋮ Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic ⋮ Deflationism beyond arithmetic ⋮ The Tarskian Turn: Deflationism and Axiomatic Truth ⋮ The good, the bad and the ugly ⋮ A New–old Characterisation of Logical Knowledge ⋮ Categoricity ⋮ ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS ⋮ Schemata: The Concept of Schema in the History of Logic

Cites Work

• Banishing the rule of substitution for functional variables
• Unnamed Item

This page was built for publication: String theory