Jul 15, 2016 · Abstract:We identify computability-theoretic properties enabling us to separate various statements about partial orders in reverse ...

Jun 14, 2016 · We identify computability-theoretic properties enabling us to separate various statements about partial orders in reverse mathematics.

We ob- tain simpler proofs of existing separations, and deduce new compound ones. This work is part of a larger program of unification of the separation proofs.

Oct 24, 2018 · We identify computability-theoretic properties enabling us to separate various statements about partial orders in reverse mathematics.

Abstract. We identify computability-theoretic properties enabling us to sep- arate various statements about partial orders in reverse mathematics. We ob-.

We identify computability-theoretic properties enabling us to separate various statements about partial orders in reverse mathematics.

This work identifies computability-theoretic properties enabling us to separate various statements about partial orders in reverse mathematics and obtains ...

We identify computability-theoretic properties enabling us to separate various statements about partial orders in reverse mathematics.

Bibliographic details on Partial Orders and Immunity in Reverse Mathematics.

Connected Papers is a visual tool to help researchers and applied scientists find academic papers relevant to their field of work.