Showing 2016Show all
2 papers · 1 filter
math.LO2016
Honest elementary degrees and degrees of relative provability without the cupping property
Paul Shafer
An element of a lattice cups to an element if there is a such that . An element of a lattice has the cupping property if it cups to every element…
math.LO2016
The reverse mathematics of the Tietze extension theorem
Paul Shafer
We prove that several versions of the Tietze extension theorem for functions with moduli of uniform continuity are equivalent to WKL_0 over RCA_0. This confirms a conjecture of Giu…