Main Page | Report this Page
 
Loading..
   
Science Forum Index  »  Logic Forum  »  a paradox in ZF?? ... ...
Page 2 of 2    Goto page Previous  1, 2
Author Message
David C. Ullrich
Posted: Tue Jan 13, 2004 7:22 am
Guest
On Tue, 13 Jan 2004 09:35:00 +0200, Aatu Koskensilta
<aatu.koskensilta@xortec.fi> wrote:

Quote:
David C. Ullrich wrote:

On Mon, 12 Jan 2004 14:56:11 +0200, Aatu Koskensilta
aatu.koskensilta@xortec.fi> wrote:


David C. Ullrich wrote:

A shorter version of the long version: If we allow
that sort of "large language" then everything is
definable, hence the word "definable" ceases to
mean anything.

While every ordinal is obviously ordinal definable, i.e. definable with
ordinal parameters, everything need not be.


I said _that sort of large language_, not "that large language"...

I misinterpreted you, then. Sorry.

No problem, just don't let it happen again. (Seriously, you
might have noted that I did at least allude to two different
"large languages", one making every ordinal definable by
fiat and the one that leads to non-standard analysis, where
every "real" real and every function from R to R is definable...
never mind.)



************************

David C. Ullrich
Back to top
 
Page 2 of 2    Goto page Previous  1, 2   All times are GMT - 5 Hours
The time now is Sat Oct 11, 2008 2:08 am
Science Forum Index

Powered by phpBB & ML | Disclaimer



Contact Us