Re: Is FLT in the language of PA?


Daryl McCullough wrote:
Ay, Ex < y*y Phi(x,y)

where Phi(x,y) is of the form t(x,y) = s(x,y)
where t and s are terms involving 0, plus, times, successor
and the variables x and y.

How do you go about eliminating the inner quantifier?

Well, you are mixing methods (or fruits, as in apples & oranges) here.
The whole point was that we were in a context with
ONLY bounded quantifiers. In the context of this discussion,
you DON'T GET to say AyEx<y[foo(x,y)]. You must say instead

Ay<zEx<y[foo(x,y)].

So could you please now make a good faith effort
to figure this out for yourself instead of attacking my
expository skills by claiming that you can't figure it
out because I haven't explained it well enough yet?

.

Relevant Pages

  • Re: Well Ordering the Reals
    ... >>>raw strings. ... >> Daryl McCullough ... > I wouldn't say it is "subjective", but dependent on context. ... identically equal sets in every context. ...
    (sci.math)
  • Re: fixed point set theory
    ... w is NOT a fixed point for the ORDINAL successor operation. ... it stands for in a given context. ... That is different from the cardinality of the set of ... it would be the ORDINAL successor. ...
    (sci.math)
  • Re: Well Ordering the Reals
    ... >> Daryl McCullough said: ... >> And this was in the context of a well ordering as a list? ... >> ordering could ever be performed on an uncountable set, then, could it? ... > If one accepts the axiom of choice as being true, then, at least ...
    (sci.math)
  • Re: Skolems Paradox
    ... Aatu Koskensilta says... ... >> if you are dealing with set theory, ... >depends on context, ... Daryl McCullough ...
    (sci.logic)
  • Re: ZFC means?
    ... >I'm not commenting on the particular context of this thread, ... >that if set theory is the formal metatheory, ... Daryl McCullough ...
    (sci.logic)
Quantcast