Constructing from scratch a model of the reals as ordered field creates a LOT of re-use-able tools.

Here's one: In a DIVISIBLE totally ordered abelian semigroup, we can solve a+x=b when a

Comments

Posting Rules

  • Be respectful to others
  • No spam or self-promotion
  • Stay on topic
  • Follow Bluesky's terms of service