Page 1

Displaying 1 – 3 of 3

Showing per page

A classification of ordinals up to Borel isomorphism

Su Gao, Steve Jackson, Vincent Kieftenbeld (2008)

Fundamenta Mathematicae

We consider the Borel structures on ordinals generated by their order topologies and provide a complete classification of all ordinals up to Borel isomorphism in ZFC. We also consider the same classification problem in the context of AD and give a partial answer for ordinals ≤ω₂.

Analytic determinacy and 0# A forcing-free proof of Harrington’s theorem

Ramez Sami (1999)

Fundamenta Mathematicae

We prove the following theorem: Given a⊆ω and 1 α < ω 1 C K , if for some η < 1 and all u ∈ WO of length η, a is Σ α 0 ( u ) , then a is Σ α 0 . We use this result to give a new, forcing-free, proof of Leo Harrington’s theorem: Σ 1 1 -Turing-determinacy implies the existence of 0 .

Currently displaying 1 – 3 of 3

Page 1