Showing 1–6 of 6 results for author: Anderson, B A

Degrees that are not degrees of categoricity

Authors: Bernard A. Anderson, Barbara F. Csima

Abstract: A computable structure A is x-computably categorical for some Turing degree x, if for every computable structure B isomorphic to A there is an isomorphism f:B -> A with f computable in x. A degree x is a degree of categoricity if there is a computable A such that A is x-computably categorical, and for all y, if A is y-computably categorical then y computes x. We construct a Sigma_2 set whose deg… ▽ More A computable structure A is x-computably categorical for some Turing degree x, if for every computable structure B isomorphic to A there is an isomorphism f:B -> A with f computable in x. A degree x is a degree of categoricity if there is a computable A such that A is x-computably categorical, and for all y, if A is y-computably categorical then y computes x. We construct a Sigma_2 set whose degree is not a degree of categoricity. We also demonstrate a large class of degrees that are not degrees of categoricity by showing that every degree of a set which is 2-generic relative to some perfect tree is not a degree of categoricity. Finally, we prove that every noncomputable hyperimmune-free degree is not a degree of categoricity. △ Less

Submitted 6 April, 2014; v1 submitted 15 October, 2012; originally announced October 2012.

Comments: 10 pages. Minor revisions

MSC Class: 03D50 ACM Class: F.4.1

Journal ref: Notre Dame J. Formal Logic 57, no. 3 (2016), 389-398

A bounded jump for the bounded Turing degrees

Authors: Bernard A. Anderson, Barbara F. Csima

Abstract: We define the bounded jump of A by A^b = {x | Exists i <= x [phi_i (x) converges and Phi_x^[A|phi_i(x)](x) converges} and let A^[nb] denote the n-th bounded jump. We demonstrate several properties of the bounded jump, including that it is strictly increasing and order preserving on the bounded Turing (bT) degrees (also known as the weak truth-table degrees). We show that the bounded jump is relate… ▽ More We define the bounded jump of A by A^b = {x | Exists i <= x [phi_i (x) converges and Phi_x^[A|phi_i(x)](x) converges} and let A^[nb] denote the n-th bounded jump. We demonstrate several properties of the bounded jump, including that it is strictly increasing and order preserving on the bounded Turing (bT) degrees (also known as the weak truth-table degrees). We show that the bounded jump is related to the Ershov hierarchy. Indeed, for n > 1 we have X <=_[bT] 0^[nb] iff X is omega^n-c.e. iff X <=_1 0^[nb], extending the classical result that X <=_[bT] 0' iff X is omega-c.e. Finally, we prove that the analogue of Shoenfield inversion holds for the bounded jump on the bounded Turing degrees. That is, for every X such that 0^b <=_[bT] X <=_[bT] 0^[2b], there is a Y <=_[bT] 0^b such that Y^b =_[bT] X. △ Less

Submitted 13 December, 2011; v1 submitted 21 July, 2010; originally announced July 2010.

Comments: 22 pages. Minor changes for publication

MSC Class: 03D30

Journal ref: Notre Dame J. Formal Logic 55, no. 2 (2014), 245-264

Partitions of trees and ACA'

Authors: Bernard A. Anderson, Jeffry L. Hirst

Abstract: We show that a version of Ramsey's theorem for trees for arbitrary exponents is equivalent to the subsystem ACA' of reverse mathematics. We show that a version of Ramsey's theorem for trees for arbitrary exponents is equivalent to the subsystem ACA' of reverse mathematics. △ Less

Submitted 27 January, 2009; v1 submitted 12 September, 2008; originally announced September 2008.

Comments: Final version for publication. Very minor changes. 5 pages

MSC Class: 03D99

Journal ref: Archive for Mathematical Logic, Volume 48, Number 3, 2009, pp. 227-230

Automorphisms of the truth-table degrees are fixed on some cone

Authors: Bernard A. Anderson

Abstract: 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). We say an automorphism p is fixed on some cone if there is a degree b such that for all x >=tt b we have p(x) = x. We first prove that for every 2-generic real X we have X' is not tt below X + 0'. We next prove that… ▽ More 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). We say an automorphism p is fixed on some cone if there is a degree b such that for all x >=tt b we have p(x) = x. We first prove that for every 2-generic real X we have X' is not tt below X + 0'. We next prove that for every real X >=tt 0' there is a real Y such that Y + 0' =tt Y' =tt X. Finally, we use this to demonstrate that every automorphism of the truth-table degrees is fixed on some cone. △ Less

Submitted 19 July, 2008; v1 submitted 30 April, 2008; originally announced May 2008.

Comments: Final version of paper, minor changes made. 11 pages

MSC Class: 03D30

Journal ref: Journal of Symbolic Logic, Volume 74, Number 2, June 2009, pp. 679-688

Relatively computably enumerable reals

Authors: Bernard A. Anderson

Abstract: A real X is defined to be relatively c.e. if there is a real Y such that X is c.e.(Y) and Y does not compute X. A real X is relatively simple and above if there is a real Y <_T X such that X is c.e.(Y) and there is no infinite subset Z of the complement of X such that Z is c.e.(Y). We prove that every nonempty Pi^0_1 class contains a member which is not relatively c.e. and that every 1-generic rea… ▽ More A real X is defined to be relatively c.e. if there is a real Y such that X is c.e.(Y) and Y does not compute X. A real X is relatively simple and above if there is a real Y <_T X such that X is c.e.(Y) and there is no infinite subset Z of the complement of X such that Z is c.e.(Y). We prove that every nonempty Pi^0_1 class contains a member which is not relatively c.e. and that every 1-generic real is relatively simple and above. △ Less

Submitted 19 June, 2010; v1 submitted 5 May, 2007; originally announced May 2007.

Comments: 5 pages. Significant changes from earlier version

MSC Class: 03D99

Journal ref: Archive for Mathematical Logic, Volume 50, Number 3-4, May 2011, pp. 361-365

Reals n-generic relative to some perfect tree

Authors: Bernard A. Anderson

Abstract: We say that a real X is n-generic relative to a perfect tree T if X is a path through T and for all Sigma^0_n (T) sets S, there exists a number k such that either X|k is in S or for all tau in T extending X|k we have tau is not in S. A real X is n-generic relative to some perfect tree if there exists such a T. We first show that for every number n all but countably many reals are n-generic relat… ▽ More We say that a real X is n-generic relative to a perfect tree T if X is a path through T and for all Sigma^0_n (T) sets S, there exists a number k such that either X|k is in S or for all tau in T extending X|k we have tau is not in S. A real X is n-generic relative to some perfect tree if there exists such a T. We first show that for every number n all but countably many reals are n-generic relative to some perfect tree. Second, we show that proving this statement requires ZFC^- + ``There exist infinitely many iterates of the power set of the natural numbers''. Third, we prove that every finite iterate of the hyperjump, O^(n), is not 2-generic relative to any perfect tree and for every ordinal alpha below the least lambda such that sup_{beta < lambda} (beta th admissible) = lambda, the iterated hyperjump O^(alpha) is not 5-generic relative to any perfect tree. Finally, we demonstrate some necessary conditions for reals to be 1-generic relative to some perfect tree. △ Less

Submitted 1 November, 2007; v1 submitted 9 October, 2006; originally announced October 2006.

Comments: 12 pages. Updated to final form (a few details added, minor errors corrected)

MSC Class: 03D99

Journal ref: Journal of Symbolic Logic, volume 73, June 2008, pages 401-411.