All Questions
2
questions
3
votes
1
answer
136
views
Is there an ordered field with distinct subfields isomorphic to the reals?
Is there an ordered field with distinct subfields isomorphic to the field $\mathbb R$ of real numbers?
3
votes
1
answer
206
views
Abstracting Magnitude Measurement Systems (i.e. subsets of ${\mathbb R}^{\ge 0}$) via Archimedean Semirings.
I did some googling but could not find any easily accessible theory so I am going to lay out my ideas and ask if they hold water.
Definition: A PM-Semiring $M$ satisfies the following six axioms:
(1)...