Re: Uncountable model of PA
- From: Dave Seaman <dseaman@xxxxxxxxxxxx>
- Date: Mon, 10 Jul 2006 17:22:30 +0000 (UTC)
On 10 Jul 2006 10:16:57 -0700, ashu_1559@xxxxxxxxxxxxxx wrote:
Could someone define successor, addition and multiplication of the set
of real numbers in such a way so that it becomes a model for Peano's
Arithmetic? I hope this can be done in view of the "upward" Löwenheim
- Skolem theorem. Thanks in advance.
The Robinson construction of the hypernaturals using an ultraproduct
surely gives an uncountable model for PA. The cardinality is the same as
that of the standard reals.
--
Dave Seaman
U.S. Court of Appeals to review three issues
concerning case of Mumia Abu-Jamal.
<http://www.mumia2000.org/>
.
- Follow-Ups:
- Re: Uncountable model of PA
- From: ashu_1559
- Re: Uncountable model of PA
- References:
- Uncountable model of PA
- From: ashu_1559
- Uncountable model of PA
- Prev by Date: Uncountable model of PA
- Next by Date: Re: Equivalence relations and "is a sibling of"
- Previous by thread: Uncountable model of PA
- Next by thread: Re: Uncountable model of PA
- Index(es):
Relevant Pages
|
