Re: V
- From: Aatu Koskensilta <aatu.koskensilta@xxxxxxxxx>
- Date: Thu, 31 May 2007 07:13:33 GMT
On 2007-05-31, in sci.math, Rupert wrote:
On May 31, 1:57 pm, zuhair <zaljo...@xxxxxxxxx> wrote:
No much really. What he was saying is that the oo-multilayer theory I
have presented is nothing but Omega order ZFC with inaccessible
cardinals. That's what he said. apparantly he agrees with you on that
matter.
Right. I'm not sure exactly which theory he's referring to there, I'll
have to ask him.
Zuhair has apparently been misled by some of my statements. His theory, if
formulated correctly -- as said, I haven't bothered to check the details --
is essentially just omega-order ZFC. I also mentioned that the natural
models of this theory are of the form V_kappa+omega for an inaccessible
kappa. ZFC + "there exists an inaccessible" proves the soundness (and thus
consistency) of this theory.
--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)
"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.
- Follow-Ups:
- Re: V
- From: zuhair
- Re: V
- References:
- Prev by Date: Re: Proof 0.999... is not equal to one.
- Next by Date: Re: JSH: A simple error
- Previous by thread: Re: V
- Next by thread: Re: V
- Index(es):
Relevant Pages
|
