[FOM] Re: Comment on Church's Thesis (Harvey Friedman)

[Karlis Podnieks]

Sounds like an axiom of choice...

Karlis.Podnieks at mii.lu.lv

----- Original Message ----- 
From: "Vladimir Sazonov" <V.Sazonov at csc.liv.ac.uk>
Sent: Wednesday, January 07, 2004 9:23 PM
Subject: Re: [FOM] Re: Comment on Church's Thesis (Harvey Friedman)


...
 I should recall to those who do not 
> know what is formal CT that it is a schema 
> 
> forall x exists y A(x,y) => exists e forall x A(x,{e}(x))
> 
...