MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
2

It there any relation between the axiom of choice and Euclidean Geometry ??

I mean what are the known statements, theorems or results in euclidean geometry that are dependent on AC ?? (this question has been asked by someone else as a comment to my last question. See HERE)

flag
Both things are called "axioms"... – Asaf Karagila Jan 15 at 19:21
@Asaf: As a set theorist you mean no relation exists. No statement or theorem or result in euclidean geometry is dependent on AC ? Is it provable ?? – Jekteem Jan 15 at 19:27
1 
 I never said anything about that. It also depends on what you define as Euclidean geometry. One could argue that the Banach-Tarski theorem applies to Euclidean geometry; while another could argue that the classical Euclidean geometry is effectively a constructive theory and there is no appeal to infinitary arguments which would require the axiom of choice. I only said that both the axioms of Euclidean geometry and the axiom of choice are named "axioms". – Asaf Karagila Jan 15 at 19:35
@Asaf: I see :) – Jekteem Jan 15 at 19:46
1 
 What do you mean by a relation? As it stands, this is not a real question. – Emil Jeřábek Jan 15 at 20:01
show 3 more comments

closed as not a real question by Dan Petersen, Yemon Choi, Emil Jeřábek, quid, Bruce Westbury Jan 15 at 21:13

1 Answer

7

Tarski gave a first-order formulation of Euclidean geometry and proved it complete (without using the axiom of choice). In particular, that means that Euclidean geometry is the same in every model of ZF, with or without choice. One might question whether Tarski's formulation actually captures all of Euclidean geometry, but it certainly includes everything in Euclid.

link|flag

Not the answer you're looking for? Browse other questions tagged or ask your own question.