Partitions of trees and ACA ::0::

Bernard A. Anderson, Jeffry L. Hirst. Partitions of trees and ACA ::0::. Arch. Math. Log., 48(3-4):227-230, 2009. [doi]

Abstract

Abstract is missing.