Re: Continuum hypothesis

On 20 elo, 02:37, Aatu Koskensilta wrote:
Yes, the axiom of choice is conservative for arithmetical statements
(and statements a few levels up in the analytical hierarchy) over ZFC.

While what I said is certainly true it is perhaps not particularly
interesting. A more relevant answer is that the axiom of choice is
conservative for arithmetical statements (and statements a few levels
up in the analytical hierarchy) over ZF. I'll be posting a more
detailed exposition of the conservativity results later on.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

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

.

Quantcast