Skip to main content

All Questions

Filter by
Sorted by
Tagged with
22 votes
5 answers
1k views

What is the spectrum of possible cofinality types for cuts in an ordered field? Or in a model of the hyperreals? Or in a nonstandard model of arithmetic?

I am interested to know the full range of possibilities for the cofinality type of cuts in an ordered field and in other structures, such as nonstandard models of arithmetic. Definitions. ...
Joel David Hamkins's user avatar