Need help! (Logic)
- From: "tango" <ashu1559@xxxxxxxxx>
- Date: 21 Feb 2007 03:46:02 -0800
Hi
Could someone help me with this:
Let P(x,y,z) be a relation in the "language" (successor, +, *, 0) of
Peano's Arithmetic which defines the set {(a,b,a^b): a,b in N} (which
is the binary operaton of taking exponents in N) when the language of
PA is interpreted in the usual structure of natural numbers. Since the
relation P(x,y,z) can also be interpreted in the usual structure of
real numbers it must define a subset A of R^3. Can someone explain
what A is?
Thanks in advace.
.
- Follow-Ups:
- Re: Need help! (Logic)
- From: Aatu Koskensilta
- Re: Need help! (Logic)
- Prev by Date: Re: Review of Mueckenheims book.
- Next by Date: Re: I function F(x) that tells me,how do i put the balls in the beans
- Previous by thread: math anxiety!
- Next by thread: Re: Need help! (Logic)
- Index(es):
Relevant Pages
|
