26 citations · 39 across the 6 of their papers we have counts for
Showing 2008 · math.LOShow all
2 papers · 2 filters
math.LO2008★ 1 cited
Partitions of trees and ACA'
Bernard A. Anderson, Jeffry L. Hirst
We show that a version of Ramsey's theorem for trees for arbitrary exponents is equivalent to the subsystem ACA' of reverse mathematics.
math.LO2008★ 1 cited
Automorphisms of the truth-table degrees are fixed on some cone
Bernard A. Anderson
Let Dtt denote the set of truth-table degrees. A bijection p from Dtt to Dtt is an automorphism if for all truth-table degrees x and y we have x <=tt y if and only if p(x) <=tt p(y…