On 2/14/2012 7:56 AM, Bruno Marchal wrote:
On 13 Feb 2012, at 16:54, Stephen P. King wrote:
Dear Bruno,
What limits are there on what can constitute the "constant" that
defines a particular model of a non-standard Arithmetic?
Infinity.
Non standard integers are infinite objects.
Bruno
http://iridia.ulb.ac.be/~marchal/
Hi Bruno,
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?
Onward!
Stephen
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.
