Re: non-Archimedean models of Euclidean geometry?

Aatu Koskensilta <aatu.koskensilta@xxxxxx> writes:

Come to think of it, this basically amounts to a trivial quantifier
elimination.

Or, in the slapping-of-forehead department, we may simply observe the
theory is countably categorical.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxx)

"Wovon man nicht sprechen kann, darüber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.

Relevant Pages