AxiomOfChoice
- 531
- 1
If you have [itex]a > b[/itex] and [itex]c \geq d[/itex], do you have [itex]a + c > b + d[/itex]?
Question about ordered field axioms
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 2K views
Discussion
Physics news on Phys.org
Moo Of Doom
- 365
- 1
Yes you do, but it's a theorem about ordered fields, not an axiom (usually). You may try to prove it from the axioms.
Similar threads
Checking Field Axioms for $G = F \times F$
- Guest2
- · Replies 3 ·
- Linear and Abstract Algebra
- Replies
- 3
Graduate Decidability of -1<1/0<1 using the ordered field axioms and first order logic
- ad infinitum
- · Replies 5 ·
- Set Theory, Logic, Probability, Statistics
- Replies
- 5
Graduate A question about ordered set and cofinality
- prophetlmn
- · Replies 1 ·
- Set Theory, Logic, Probability, Statistics
- Replies
- 1
Proving x=y using field axioms in R | Field Axiom Proof
- Tomp
- · Replies 5 ·
- Calculus and Beyond Homework Help
- Replies
- 5
Using field axioms to prove a set is not a field
- notnottrue
- · Replies 3 ·
- Calculus and Beyond Homework Help
- Replies
- 3
Apostol's Field Axioms Homework: Solving Problems and Proving Theorems
- intwo
- · Replies 6 ·
- Calculus and Beyond Homework Help
- Replies
- 6
Undergrad The other day our lecturer was going through field axioms, rules of
- 11thHeaven
- · Replies 9 ·
- Set Theory, Logic, Probability, Statistics
- Replies
- 9
Graduate Proving 2+2=4 Using Field Axioms
- rafasaur
- · Replies 5 ·
- Linear and Abstract Algebra
- Replies
- 5
Graduate Proving Field Axioms: Help & Solutions
- Demonoid
- · Replies 2 ·
- Linear and Abstract Algebra
- Replies
- 2
Prove that F satisfies all field axioms by method of direct verification
- GOsuchessplayer
- · Replies 4 ·
- Calculus and Beyond Homework Help
- Replies
- 4