Regressive partitions and Borel diagonalization

E-ISSN： 1943-5886|54|2|540-552

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.54, Iss.2, 1989-06, pp. : 540-552

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Several rather concrete propositions about Borel measurable functions of several variables on the Hilbert cube (countable sequences of reals in the unit interval) were formulated by Harvey Friedman [F1] and correlated with strong set-theoretic hypotheses. Most notably, he established that a “Borel diagonalization” proposition P is equivalent to: for any a ⊆ co and n ⊆ ω there is an ω-model of ZFC + ∃κ(κ is n-Mahlo) containing a. In later work (see the expository Stanley [St] and Friedman [F2]), Friedman was to carry his investigations further into propositions about spaces of groups and the like, and finite propositions. He discovered and analyzed mathematical propositions which turned out to have remarkably strong consistency strength in terms of large cardinal hypotheses in set theory.