activity
20062012
most citedDegrees that are not degrees of categoricity

26 citations · 39 across the 6 of their papers we have counts for

collaborators
Showing 2008Show all

2 papers · 1 filter

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…