New posts in Independence Results

Arithmetic statement which is independent, and whose independence is independent, and so on?

Spectra of elements of a Banach algebra and the role played by the Hahn-Banach Theorem.

Formal proof of Con(ZFC) => Con(ZFC + not CH) in ZFC

Natural statements independent from true $\Pi^0_2$ sentences

Reference Request: Independence of the ultrafilter lemma from ZF