Advanced Search

Match of the following rules

Add Sub-clause

Add Another Rule

Contains the following math formula (red border means the formula is incomplete)

Formula preview

Currently displaying 1 – 3 of 3

Order by Relevance | Title | Year of publication

$Σ_{n}$ -cofinalities of $J_{α}$

C. Chong — 1979

Fundamenta Mathematicae

Rozhovor s Jeanem-Pierrem Serrem

C. T. Chong; Y. K Leong — 1988

Pokroky matematiky, fyziky a astronomie

The strength of the projective Martin conjecture

C. T. Chong; Wei Wang; Liang Yu — 2010

Fundamenta Mathematicae

We show that Martin’s conjecture on Π¹₁ functions uniformly $\leq_{T}$ -order preserving on a cone implies Π¹₁ Turing Determinacy over ZF + DC. In addition, it is also proved that for n ≥ 0, this conjecture for uniformly degree invariant $Π ¹_{2 n + 1}$ functions is equivalent over ZFC to $Σ ¹_{2 n + 2}$ -Axiom of Determinacy. As a corollary, the consistency of the conjecture for uniformly degree invariant Π¹₁ functions implies the consistency of the existence of a Woodin cardinal.

Page 1