The ordered-fields tag has no wiki summary.

**27**

votes

**1**answer

2k views

### What did Rolle prove when he proved Rolle's theorem?

Rolle published what we today call Rolle's theorem about 150 years before the arithmetization of the reals. Unfortunately this proof seems to have been buried in a long book [Rolle 1691] that I can't ...

**7**

votes

**2**answers

559 views

### Does this construction yield the surreal numbers?

There are two simple constructions for creating arbitrarily large non-Archimedean ordered field extensions of the reals.
First given such a field one may consider rational functions over that field ...

**0**

votes

**1**answer

70 views

### Ways to order an algebraic extension

In following post, I describe the "classical" example of $\mathbb{Q}(\sqrt{2})$ that can be ordered in two distinct ways.
More generally, if $(k,P)$ is an ordered field, $R$ a real closure of $(k,P)$ ...

**31**

votes

**5**answers

889 views

### On the universal property of the completion of an ordered field

I have been trying to write up some notes on completion of ordered fields, ideally in the general case (i.e., not just completing $\mathbb{Q}$ to get $\mathbb{R}$ but considering the completion via ...

**5**

votes

**0**answers

492 views

### two versions of the nested interval property

There appear to be two different nested interval properties for the reals with the punchline "... then the intersection of the intervals is non-empty", and I'd like to know their respective histories ...

**10**

votes

**2**answers

639 views

### Does Rolle's Theorem imply Dedekind completeness?

I think the answer to the title question is "yes", but Gerald Edgar, in his comment on Does antidifferentiability of continuous functions imply Dedekind completeness? , points out an article (actually ...

**9**

votes

**0**answers

210 views

### Does antidifferentiability of continuous functions imply Dedekind completeness?

Let $R$ be an ordered field, and let $I$ be {$x \in R: a < x < b$} for some $a < b$ in $R$. Define notions of $R$-continuity and $R$-differentiability for functions $f : I \rightarrow R$ by ...

**3**

votes

**4**answers

835 views

### analysis over non-Archimedean ordered fields

Can anyone suggest any good references for (or any experts on) analysis over non-Archimedean ordered fields, such as the field of rational functions in one variable (ordered at 0, or if you prefer at ...