On 2/14/2012 7:56 AM, Bruno Marchal wrote:
On 13 Feb 2012, at 16:54, Stephen P. King wrote:
What limits are there on what can constitute the "constant" that
defines a particular model of a non-standard Arithmetic?
Non standard integers are infinite objects.
OK, I am studying this idea. But your answer is confusing. AFAIK,
standard integers are infinite objects also, given that they can be
defined as equivalence classes where the equivalence relation is "has
the same value as X", where X is the integer in question. So how are
non-standard integers different?
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to firstname.lastname@example.org.
To unsubscribe from this group, send email to
For more options, visit this group at