Re: Implementable Set Theory and Consistency of ZFC

From: aatu.koskensilta@xxxxxxxxx
Date: Thu, 11 Oct 2007 07:04:19 -0700

Notice that if HdB is right, he'll have shown that
ZF-Infinity is finitely axiomatizable, which doesn't
seem right at all (since after all, not even PA is
finitely axiomatizable).

Why doesn't it seem right? Recall that there are conservative
extensions of PA that are finitely axiomatisable.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus

.

Follow-Ups:
- Re: Implementable Set Theory and Consistency of ZFC
  - From: lwalke3
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Han de Bruijn

References:
- Implementable Set Theory and Consistency of ZFC
  - From: Han de Bruijn
- Re: Implementable Set Theory and Consistency of ZFC
  - From: lwalke3

Prev by Date: Re: logic and paradox : more on TST and the liar paradox.
Next by Date: Re: desperate help needed
Previous by thread: Re: Implementable Set Theory and Consistency of ZFC
Next by thread: Re: Implementable Set Theory and Consistency of ZFC
Index(es):
- Date
- Thread