Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Topic: Distinguishability of paths of the Infinite Binary tree???
Replies: 69   Last Post: Jan 4, 2013 11:11 PM

 Messages: [ Previous | Next ]
 Zaljohar@gmail.com Posts: 2,665 Registered: 6/29/07
Re: Distinguishability of paths of the Infinite Binary tree???
Posted: Dec 29, 2012 2:03 AM

On Dec 29, 4:06 am, Virgil <vir...@ligriv.com> wrote:
> In article
>
>  Zuhair <zaljo...@gmail.com> wrote:

> > By the way you said it is not obvious to you what I meant by parameter
> > free definable

>
> An example of a mathematical definition ( or even a non mathematical
> one) which you regard as being "parameter free" and of one which you
> regard as not being  "parameter free" might clear the air.
>
> I am not totally clear in my owm mind what you mean by the phrase.
>
> Do you, for instance, regard the standard definition of countability of
> a set (set S is countably if and only if there exists a surjection from
> |N to S) as being parameer free or not, and why?
> --

This is a well known subject. There is no problem if some people don't
know about it. The problem is if some people professing big claims
like refuting Cantor or saying that THOUSANDS of mathematician for a
CENTURY long time are acting fools, and then it turns that those
people themselves don't know basic definitions? really strange!

Now we come to your example:

Is countability of a set parameter free definable or not?

Why?

Because there is a parameter free formula "phi(S)" such that

For all S. Countable(S) iff phi(S)

And what is meant by phi(S) being parameter free is that phi(S) is a
formula in which only the symbol S occurs free, i.e. all other
variable symbols in phi(S) are quantified within the formula, and of
course S is free.

Now lets explicitly examine this

take phi(S) to be the following formula

Exist f. Exist N. (for all y. y in N iff y is a finite ordinal) & f: S
--> N & f is injective.

The open expansion of this formula show that only the variable symbol
S occurs free.
QED

So for example in a theory like NF where we do have the set of all
countable sets. So this set is parameter free definable set, because
membership of this set follows satisfaction of a parameter free
formula.

Now let me give you an example of an object that cannot be definable
in a parameter free manner.
Lets take some theory that provides sufficient material to define
'definable real' as:

x is a definable real <-> iff x is a real & Exist phi. for all y. y in
x <-> phi(y)

where phi(y) is a parameter free formula (i.e. only y occurs free in
phi(y)).

Now one can prove using Cantor's argument that ANY bijection F between
the set R* of ALL definable reals and the set N of all naturals IS non
parameter free definable

The reason is that if we suppose the contrary i.e. the existence of
such a bijection that is parameter free definable, then the diagonal
defined after it would be a parameter free definable real that is not
in the set of ALL definable reals, which is a clear contradiction.

So although there is a bijection between R* and N, yet it is provable
that any such bijection is non parameter free definable!

In other words there is no parameter free formula phi(y) such that the
above bijection have all its membership determined after satisfaction
of phi(y).

Hope that is helpful and clear

Zuhair

Date Subject Author
12/23/12 Zaljohar@gmail.com
12/24/12 mueckenh@rz.fh-augsburg.de
12/24/12 Virgil
12/24/12 mueckenh@rz.fh-augsburg.de
12/24/12 Virgil
12/25/12 mueckenh@rz.fh-augsburg.de
12/25/12 Virgil
12/26/12 mueckenh@rz.fh-augsburg.de
12/26/12 Virgil
12/26/12 mueckenh@rz.fh-augsburg.de
12/26/12 Virgil
12/27/12 mueckenh@rz.fh-augsburg.de
12/27/12 Virgil
12/28/12 mueckenh@rz.fh-augsburg.de
12/28/12 Virgil
12/29/12 mueckenh@rz.fh-augsburg.de
12/29/12 Virgil
12/30/12 fom
12/30/12 mueckenh@rz.fh-augsburg.de
12/30/12 fom
12/30/12 Virgil
12/30/12 ross.finlayson@gmail.com
12/30/12 Virgil
12/30/12 ross.finlayson@gmail.com
12/30/12 Virgil
12/30/12 ross.finlayson@gmail.com
12/30/12 Virgil
1/4/13 ross.finlayson@gmail.com
12/30/12 forbisgaryg@gmail.com
12/30/12 ross.finlayson@gmail.com
12/30/12 Virgil
12/26/12 Zaljohar@gmail.com
12/26/12 Virgil
12/26/12 Zaljohar@gmail.com
12/26/12 gus gassmann
12/26/12 mueckenh@rz.fh-augsburg.de
12/26/12 Zaljohar@gmail.com
12/27/12 mueckenh@rz.fh-augsburg.de
12/27/12 Zaljohar@gmail.com
12/28/12 mueckenh@rz.fh-augsburg.de
12/28/12 Zaljohar@gmail.com
12/28/12 Virgil
12/29/12 Zaljohar@gmail.com
12/29/12 Virgil
12/29/12 mueckenh@rz.fh-augsburg.de
12/29/12 Virgil
12/28/12 Zaljohar@gmail.com
12/29/12 mueckenh@rz.fh-augsburg.de
12/29/12 Virgil
12/27/12 Virgil
12/26/12 fom
12/26/12 Virgil
12/26/12 fom
12/26/12 Virgil
12/26/12 mueckenh@rz.fh-augsburg.de
12/26/12 Virgil
12/26/12 mueckenh@rz.fh-augsburg.de
12/26/12 forbisgaryg@gmail.com
12/26/12 Virgil
12/26/12 fom
12/27/12 gus gassmann
12/27/12 Tanu R.
12/27/12 mueckenh@rz.fh-augsburg.de
12/27/12 Tanu R.
12/27/12 Virgil
12/28/12 Zaljohar@gmail.com
12/28/12 Virgil
12/27/12 fom
12/27/12 Virgil
12/24/12 Ki Song