Andréka, Hajnal and Madarász, Judit X. and Németi, István and Székely, Gergely (2012) A logic road from special to general relativity. [Preprint]

Preview

PDF AMNSzSynthese_exteded_preprint_revised.pdf - Updated Version Download (207kB)

Abstract

We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we ``derive'' an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of general relativity. This way we hope to make general relativity more accessible for the non-specialist.

---

Export/Citation:

EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL

Social Networking:

Share |

---

Item Type:	Preprint
Creators:	Creators Email ORCID Andréka, Hajnal Madarász, Judit X. Németi, István Székely, Gergely
Additional Information:	Synthese 186 3, pp. 633-469. (2012)
Keywords:	first-order logic, axiomatization, foundation of relativity theory
Subjects:	Specific Sciences > Physics > Relativity Theory
Depositing User:	Gergely Székely
Date Deposited:	15 Aug 2013 19:38
Last Modified:	15 Aug 2013 19:38
Item ID:	9931
Official URL:	http://link.springer.com/article/10.1007%2Fs11229-...
Subjects:	Specific Sciences > Physics > Relativity Theory
Date:	May 2012
URI:	https://philsci-archive.pitt.edu/id/eprint/9931

Available Versions of this Item

• A logic road from special to general relativity. (deposited 07 May 2010)
  • A logic road from special to general relativity. (deposited 13 Feb 2011 02:22)
    • A logic road from special to general relativity. (deposited 15 Aug 2013 19:38) [Currently Displayed]
  • A logic road from special to general relativity. (deposited 23 Jan 2011 13:40)

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item