Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Comparing Classical and Relativistic Kinematics in First-Order Logic - MaRDI portal

Comparing Classical and Relativistic Kinematics in First-Order Logic

From MaRDI portal

Publication:5197381

Jump to:navigation, search

DOI10.2143/LEA.241.0.3275105zbMath1436.03097arXiv1707.05371OpenAlexW2964292529MaRDI QIDQ5197381

Gergely Székely, Koen Lefever

Publication date: 23 September 2019

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

zbMATH Keywords

first-order logic special relativity axiomatization definitional equivalence classical kinematics logical Interpretation

Mathematics Subject Classification ID

Special relativity (83A05) Relativistic dynamics for problems in Hamiltonian and Lagrangian mechanics (70H40) Foundations of classical theories (including reverse mathematics) (03B30) Kinematics of a particle (70B05)

Related Items (3)

DISTANCES BETWEEN FORMAL THEORIES ⋮ On generalization of definitional equivalence to non-disjoint languages ⋮ In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics

This page was built for publication: Comparing Classical and Relativistic Kinematics in First-Order Logic

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5197381&oldid=19783237"