Quine's conjecture on many-sorted logic

DOI10.1007/s11229-016-1107-zzbMath1417.03120OpenAlexW1275067439WikidataQ123155920 ScholiaQ123155920MaRDI QIDQ1708876

Hans Halvorson, Thomas William Barrett

Publication date: 27 March 2018

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: http://philsci-archive.pitt.edu/11660/1/quinesconjecture.pdf

zbMATH Keywords

model theoryMorita equivalenceQuinemany-sorted logictheoretical equivalencedefinitional equivalence

Mathematics Subject Classification ID

Classical first-order logic (03B10) Special categories (18B99) Simple and semisimple modules, primitive rings and ideals in associative algebras (16D60) Properties of classes of models (03C52)

Related Items

ON MORITA EQUIVALENCE AND INTERPRETABILITY, Valuative Lattices and Spectra, From geometry to conceptual relativity, The Thomsen-Bachmann correspondence in metric geometry. I

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Newton-Cartan theory and teleparallel gravity: the force of a formulation
• On Einstein algebras and relativistic spacetimes
• Synonymous logics
• From geometry to conceptual relativity
• Glymour and Quine on theoretical equivalence
• Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik
• Newtonian Spacetime Structure in Light of the Equivalence Principle
• On the Structure of Classical Mechanics
• Unification of universes in set theory
• Properties Preserved under Definitional Equivalence and Interpretations
• Classical Mechanics Is Lagrangian; It Is Not Hamiltonian
• Mutual definability does not imply definitional equivalence, a simple example
• New Foundations for Mathematical Logic