11 citations · 35 across the 26 of their papers we have counts for
Showing 2011 · math.LOShow all
3 papers · 2 filters
math.LO2011★ 1 cited
Computably enumerable partial orders
Peter A. Cholak, Damir D. Dzhafarov, Noah Schweber +1
We study the degree spectra and reverse-mathematical applications of computably enumerable and co-computably enumerable partial orders. We formulate versions of the chain/antichain…
math.LO2011★ 11 cited
On the strength of the finite intersection principle
Damir D. Dzhafarov, Carl Mummert
We study the logical content of several maximality principles related to the finite intersection principle ($F\IP$) in set theory. Classically, these are all equivalent to the axio…
math.LO2011
Reverse mathematics and properties of finite character
Damir D. Dzhafarov, Carl Mummert
We study the reverse mathematics of the principle stating that, for every property of finite character, every set has a maximal subset satisfying the property. In the context of se…