Return to Question

4 added 213 characters in body

Omnific integers are the counterpart in the Surreal numbers of the integers. The surreal numbers are usually defined using set theory, and then the omnific integers are defined as a particular subset (or rather subclass) of them. My question is, does it have to be this way? Is it possible to give a first-order axiomatization of the Omnific integers and their arithmetic, without having to define the surreal numbers themselves? I know they form a proper class, so there is a risk that they may be "too big" to describe. But Tarksi gave a first-order axiomatization for the ordinal numbers, which also form a proper class, so at least we have some hope.

The reason I'm interested is because of this question I asked a while back, about finding a nonstandard model of (Robinson) arithmetic whose field of fractions forms a real closed field. The Omnific integers form such a nonstandard model, so I want to find out whether we can axiomatize them.

Any help would be greatly appreciated.

Thank You in Advance.

EDIT: To be clear, I don't want an axiomatization of the Omnific Integers that's based on something else, like the real numbers, the surreal numbers, or set theory. I want a theory along the lines of Peano Arithmetic.

EDIT 2: As Emil said, it seems that a recursive axiomatization of the Omnific integers is impossible. So might we define them in some other way, without reference to the surreal numbers (or the real numbers)?

3 Clarified Question

Omnific integers are the counterpart in the Surreal numbers of the integers. The surreal numbers are usually defined using set theory, and then the omnific integers are defined as a particular subset (or rather subclass) of them. My question is, does it have to be this way? Is it possible to give a first-order axiomatization of the Omnific integers and their arithmetic, without having to define the surreal numbers themselves? I know they form a proper class, so there is a risk that they may be "too big" to describe. But Tarksi gave a first-order axiomatization for the ordinal numbers, which also form a proper class, so at least we have some hope.

The reason I'm interested is because of this question I asked a while back, about finding a nonstandard model of (Robinson) arithmetic whose field of fractions forms a real closed field. The Omnific integers form such a nonstandard model, so I want to find out whether we can axiomatize them.

Any help would be greatly appreciated.

Thank You in Advance.

EDIT: To be clear, I don't want an axiomatization of the Omnific Integers that's based on something else, like the real numbers, the surreal numbers, or set theory. I want a theory along the lines of Peano Arithmetic.

2 fixed typo

Omnific integers are the counterpart in the Surreal numbers of the integers. The surreal numbers are usually defined using set theory, and then the omnific integers are defined as a particular subset (or rather subclass) of them. My question is, does it have to be this way? Is it possible to give a first-order axiomatization of the Omnific integers and their arithmetic, without having to define the surreal numbers themselves? I know they form a proper class, so there is a risk that they may be "too big" to describe. But Tarksi gave a first-order axiomatization for the ordinal numbers, which also form a proper class, so at least we have some hope.

The reason I'm interested is because of this question I asked a while back, about finding a nonstandard model of (Robinson) arithmetic whose field of fractions forms a real closed field. The Omnific integers form such a nonstandard model, so I want to find out whether we can axiomatize them.

Any help would be greatly appreciated.

Thank You in Advance.

1