Re: Löwenheim–Skolem theorem
- From: Rupert <rupertmccallum@xxxxxxxxx>
- Date: Sun, 25 May 2008 21:48:31 -0700 (PDT)
On May 23, 5:09 am, kleptomaniac6...@xxxxxxxxxxx wrote:
This is only a quick question. What formal system is required to
derive the Löwenheim–Skolem theorem and the resulting "paradox". Is ZF
required, or can it be proved in Z?
It can be done in a subsystem of Z_2 called WKL_0. Certainly Z is more
than enough.
.
- References:
- Löwenheim–Skolem theorem
- From: kleptomaniac666_
- Löwenheim–Skolem theorem
- Prev by Date: Re: primitive recursive: obsolete?
- Next by Date: Re: choice
- Previous by thread: Re: Löwenheim?Skolem theorem
- Next by thread: On "the organization of logical elements"
- Index(es):
