Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorTobyBartels
• CommentTimeJul 28th 2017

In Robinson arithmetic, I recorded the simplest nonstandard model (with a single nonstandard element $\infty$).

• CommentRowNumber2.
• CommentAuthorTobyBartels
• CommentTimeDec 3rd 2019

Definitions for order (but not the axioms).