PhilSci Archive

Equivalent Axiomatizations of Euclidean Geometry

Ketland, Jeffrey (2023) Equivalent Axiomatizations of Euclidean Geometry. [Preprint]

[img]
Preview
Text
Equiv_Ax_EG.pdf - Draft Version

Download (720kB) | Preview

Abstract

I give six different first-order mathematicized axiomatic systems, expressing that physical space is Euclidean, and prove their equivalence.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Ketland, Jeffreyjeffreyketland@gmail.com0000-0002-5128-4387
Keywords: Geometry, structure of theories
Subjects: General Issues > Structure of Theories
Depositing User: Dr Jeffrey Ketland
Date Deposited: 06 Jun 2023 11:36
Last Modified: 06 Jun 2023 11:36
Item ID: 22198
Subjects: General Issues > Structure of Theories
Date: 6 June 2023
URI: https://philsci-archive.pitt.edu/id/eprint/22198

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item