Results 1 
4 of
4
Boolean algebras, Tarski invariants and index sets
 JOURNAL OF FORMAL LOGIC
, 2006
"... Tarski defined a way of assigning to each boolean algebra, B, an invariant inv(B) ∈ In, where In is a set of triples from N, such that two boolean algebras have the same invariant if and only if they are elementarily equivalent. Moreover, given the invariant of a boolean algebra, there is a computa ..."
Abstract

Cited by 8 (1 self)
 Add to MetaCart
Tarski defined a way of assigning to each boolean algebra, B, an invariant inv(B) ∈ In, where In is a set of triples from N, such that two boolean algebras have the same invariant if and only if they are elementarily equivalent. Moreover, given the invariant of a boolean algebra, there is a computable procedure that decides its elementary theory. If we restrict our attention to dense Boolean algebras, these invariants determine the algebra up to isomorphism. In this paper we analyze the complexity of the question “Does B have invariant x?”. For each x ∈ In we define a complexity class Γx, that could be either Σn, Πn, Σn ∧ Πn, or Πω+1 depending on x, and prove that the set of indices for computable boolean algebras with invariant x is complete for the class Γx. Analogs of many of these results for computably enumerable Boolean algebras were proven in [Sel90] and [Sel91]. According to [Sel03] similar methods can be used to obtain the results for computable ones. Our methods are quite different and give new results as well. As the algebras we construct to witness hardness are all dense, we establish new similar results for the complexity of various isomorphism problems for dense Boolean algebras.
Degrees of Categoricity and the Hyperarithmetic Hierarchy
 JOURNAL OF FORMAL LOGIC
, 2011
"... We study arithmetic and hyperarithmetic degrees of categoricity. We extend a result of Fokina, Kalimullin, and R. Miller to show that for every computable ordinal α, 0 (α) is the degree of categoricity of some computable structure A. We show additionally that for α a computable successor ordinal, ev ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
We study arithmetic and hyperarithmetic degrees of categoricity. We extend a result of Fokina, Kalimullin, and R. Miller to show that for every computable ordinal α, 0 (α) is the degree of categoricity of some computable structure A. We show additionally that for α a computable successor ordinal, every degree 2c.e. in and above 0 (α) is a degree of categoricity. We further prove that every degree of categoricity is hyperarithmetic and show that the index set of structures with degrees of categoricity is Π 1 1 complete.
The complexity of orbits of computably enumerable sets
 BULLETIN OF SYMBOLIC LOGIC
, 2008
"... The goal of this paper is to announce there is a single orbit of the c.e. sets with inclusion, E, such that the question of membership in this orbit is Σ1 1complete. This result and proof have a number of nice corollaries: the Scott rank of E is ωCK 1 + 1; not all orbits are elementarily definable; ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
The goal of this paper is to announce there is a single orbit of the c.e. sets with inclusion, E, such that the question of membership in this orbit is Σ1 1complete. This result and proof have a number of nice corollaries: the Scott rank of E is ωCK 1 + 1; not all orbits are elementarily definable; there is no arithmetic description of all orbits of E; for all finite α ≥ 9, there is a properly ∆0 α orbit (from the proof).
Index sets for computable structures
 Algebra and Logic
"... The index set of a computable structure A is the set of indices for computable copies of A. We determine the complexity of the index sets of various mathematically interesting structures, including arbitrary finite structures, Qvector spaces, Archimedean real closed ordered fields, reduced Abelian ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
The index set of a computable structure A is the set of indices for computable copies of A. We determine the complexity of the index sets of various mathematically interesting structures, including arbitrary finite structures, Qvector spaces, Archimedean real closed ordered fields, reduced Abelian pgroups of length less than ω 2, and models of the original Ehrenfeucht theory. The index sets for these structures all turn out to be mcomplete Π 0 n, dΣ 0 n,orΣ 0 n, for various n. In each case, the calculation involves finding an “optimal ” sentence (i.e., one of simplest form) that describes the structure. The form of the sentence (computable Πn, dΣn, or Σn) yields a bound on the complexity of the index set. When we show mcompleteness of the index set, we know that the sentence is optimal. For some structures, the first sentence that comes to mind is not optimal, and another sentence of simpler form is shown to serve the purpose. For some of the groups, this involves Ramsey theory.