Comparing Theories: The Dynamics of Changing Vocabulary

DOI10.1007/978-3-319-06025-5_6zbMath1344.03009arXiv1307.1885OpenAlexW3105738884MaRDI QIDQ5249669

Istvan Németi, Hajnalka Andréka

Publication date: 11 May 2015

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1307.1885

zbMATH Keywords

special relativity theoryfirst-order logic axiomatizations

Mathematics Subject Classification ID

Special relativity (83A05) Classical first-order logic (03B10) Other applications of logic (03B80) Logic in the philosophy of science (03A10)

Related Items (8)

Investigations of isotropy and homogeneity of spacetime in first-order logic ⋮ GROUPS OF WORLDVIEW TRANSFORMATIONS IMPLIED BY EINSTEIN’S SPECIAL PRINCIPLE OF RELATIVITY OVER ARBITRARY ORDERED FIELDS ⋮ Finite-Variable Logics Do Not Have Weak Beth Definability Property ⋮ How many varieties of cylindric algebras are there ⋮ From geometry to conceptual relativity ⋮ Rózsa Péter: Recursive function theory's founding mother ⋮ In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics ⋮ Why Not Categorical Equivalence?

This page was built for publication: Comparing Theories: The Dynamics of Changing Vocabulary