3 papers
math.LO2010
Stable Ramsey's theorem and measure
Damir D. Dzhafarov
The stable Ramsey's theorem for pairs has been the subject of numerous investigations in mathematical logic. We introduce a weaker form of it by restricting from the class of all s…
math.LO2010
Infinite saturated orders
Damir D. Dzhafarov
We generalize the notion of saturated order to infinite partial orders and give both a set-theoretic and an algebraic characterization of such orders. We then study the proof theor…
math.LO2010
Reverse mathematics and equivalents of the axiom of choice
Damir D. Dzhafarov, Carl Mummert
We study the reverse mathematics of countable analogues of several maximality principles that are equivalent to the axiom of choice in set theory. Among these are the principle ass…