Newbetuts
.
New posts in ordered-fields
How do extension fields implement $>, <$ comparisons?
abstract-algebra
extension-field
ordered-fields
What is Tarski’s definition of real number multiplication?
real-analysis
logic
real-numbers
ordered-fields
second-order-logic
Least upper bound property implies Cauchy completeness
real-analysis
real-numbers
ordered-fields
Every ordered field has a subfield isomorphic to $\mathbb Q$?
real-analysis
field-theory
ordered-fields
real-numbers
Ordering the field of real rational functions
relations
order-theory
proof-verification
ordered-fields
Is the multiplicative structure of a totally ordered field unique?
ordered-fields
Field having an archimedean ordering and a non archimedean ordering
field-theory
ordered-fields
Can an ordered field be finite?
calculus
abstract-algebra
ordered-fields
Proof that rational functions are an ordered field, but non-archimedean - Bartle's elements of real analysis
real-analysis
rational-functions
ordered-fields
How to prove a finite field is not ordered?
field-theory
finite-fields
ordered-fields
What is the degree of a real closure of an ordered field?
field-theory
cardinals
model-theory
extension-field
ordered-fields
Least Upper Bound Property $\implies$ Complete
real-analysis
ordered-fields
A finite field cannot be an ordered field.
abstract-algebra
field-theory
ordered-fields
Complete ordered field
field-theory
ordered-fields
Can algebraic numbers be compared using only rational arithmetic?
abstract-algebra
field-theory
algorithms
ordered-fields
Fields that can be ordered in more than one way
abstract-algebra
ordered-fields
Proof of Non-Ordering of Complex Field
proof-writing
ordered-fields
In which ordered fields does absolute convergence imply convergence?
real-analysis
sequences-and-series
ordered-fields
Prev