Ketland, Jeffrey (2023) Equivalent Axiomatizations of Euclidean Geometry. [Preprint]
|
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: |
| Item Type: | Preprint | ||||||
|---|---|---|---|---|---|---|---|
| Creators: |
|
||||||
| 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 |



