Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Comparing theories: the dynamics of changing vocabulary. A case-study in
  relativity theory   There are several first-order logic (FOL) axiomatizations of special
relativity theory in the literature, all looking essentially different but
claiming to axiomatize the same physical theory. In this paper, we elaborate a
comparison, in the framework of mathematical logic, between these FOL theories
for special relativity. For this comparison, we use a version of mathematical
definability theory in which new entities can also be defined besides new
relations over already available entities. In particular, we build an
interpretation of the reference-frame oriented theory SpecRel into the
observationally oriented Signalling theory of James Ax. This interpretation
provides SpecRel with an operational/experimental semantics. Then we make
precise, "quantitative" comparisons between these two theories via using the
notion of definitional equivalence. This is an application of logic to the
philosophy of science and physics in the spirit of Johan van Benthem's work.

31
The categories of this paper are: ao-sci
28
The categories of this paper are: alg-geom
37
The categories of this paper are: supr-con
33
The categories of this paper are: plasm-ph
10
The categories of this paper are: q-bio
20
The categories of this paper are: acc-phys
25
The categories of this paper are: patt-sol
29
The categories of this paper are: funct-an
0
The categories of this paper are: hep-ph
18
The categories of this paper are: econ
23
The categories of this paper are: solv-int
21
The categories of this paper are: adap-org
6
The categories of this paper are: astro-ph
8
The categories of this paper are: hep-ex
27
The categories of this paper are: comp-gas
36
The categories of this paper are: cmp-lg