Results 1  10
of
42
Degree spectra and computable dimension in algebraic structures
 Annals of Pure and Applied Logic 115 (2002
, 2002
"... \Lambda \Lambda ..."
(Show Context)
Effective model theory: the number of models and their complexity
 MODELS AND COMPUTABILITY
, 1999
"... Effective model theory studies model theoretic notions with an eye towards issues of computability and effectiveness. We consider two possible starting points. If the basic objects are taken to be theories, then the appropriate effective version investigates decidable theories (the set of theorems i ..."
Abstract

Cited by 19 (6 self)
 Add to MetaCart
Effective model theory studies model theoretic notions with an eye towards issues of computability and effectiveness. We consider two possible starting points. If the basic objects are taken to be theories, then the appropriate effective version investigates decidable theories (the set of theorems is computable) and decidable structures (ones with decidable theories). If the objects of initial interest are typical mathematical structures, then the starting point is computable structures. We present an introduction to both of these aspects of effective model theory organized roughly around the themes of the number and types of models of theories with particular attention to categoricity (as either a hypothesis or a conclusion) and the analysis of various computability issues in families of models.
On Presentations of Algebraic Structures
 in Complexity, Logic and Recursion Theory
, 1995
"... This paper is an expanded version of an part of a series of invited lectures given by the author during May 1995 in Siena, Italy to the COLORET II conference. This work is partially supported by Victoria University IGC and the Marsden Fund for Basic Science under grant VIC509. This paper is dedicat ..."
Abstract

Cited by 17 (6 self)
 Add to MetaCart
(Show Context)
This paper is an expanded version of an part of a series of invited lectures given by the author during May 1995 in Siena, Italy to the COLORET II conference. This work is partially supported by Victoria University IGC and the Marsden Fund for Basic Science under grant VIC509. This paper is dedicated to the memory of my friend and teacher Chris Ash who contributed so much to effective structure theory and who left us far too young early in 1995
Computable categoricity of trees of finite height
 Journal of Symbolic Logic
"... We characterize the structure of computably categorical trees of finite height, and prove that our criterion is both necessary and sufficient. Intuitively, the characterization is easiest to express in terms of isomorphisms of (possibly infinite) trees, but in fact it is equivalent to a Σ0 3conditi ..."
Abstract

Cited by 13 (6 self)
 Add to MetaCart
(Show Context)
We characterize the structure of computably categorical trees of finite height, and prove that our criterion is both necessary and sufficient. Intuitively, the characterization is easiest to express in terms of isomorphisms of (possibly infinite) trees, but in fact it is equivalent to a Σ0 3condition. We show that all trees which are not computably categorical have computable dimension ω. Finally, we prove that for every n ≥ 1 in ω, there exists a computable tree of finite height which is ∆0 n+1categorical but not ∆0 ncategorical.
Degree Spectra of Relations on Computable Structures
 J. Symbolic Logic
, 1999
"... Abstract We give some new examples of possible degree spectra of invariant relations on \Delta 02categorical computable structures that demonstrate that such spectra can be fairly complicated. On the other hand, we show that there are nontrivial restrictions on the kinds of sets of degrees that can ..."
Abstract

Cited by 11 (5 self)
 Add to MetaCart
(Show Context)
Abstract We give some new examples of possible degree spectra of invariant relations on \Delta 02categorical computable structures that demonstrate that such spectra can be fairly complicated. On the other hand, we show that there are nontrivial restrictions on the kinds of sets of degrees that can be realized as degree spectra of such relations. In particular, we give a sufficient condition for a relation to have infinite degree spectrum that implies that every invariant computable relation on a \Delta 02categorical computable structure is either intrinsically computable or has infinite degree spectrum. This condition also allows us to use the proof of a result of Moses [22] to establish the same result for computable relations on computable linear orderings.
Computable fields and Galois theory
 Notices of the American Mathematical Society
, 2008
"... An irreducible polynomial has a solution in radicals over a field F if and only if the Galois group of the splitting field of the polynomial is solvable. This result is widely considered to be the crowning achievement of Galois theory, and is often the first response when a mathematician wants to de ..."
Abstract

Cited by 11 (6 self)
 Add to MetaCart
(Show Context)
An irreducible polynomial has a solution in radicals over a field F if and only if the Galois group of the splitting field of the polynomial is solvable. This result is widely considered to be the crowning achievement of Galois theory, and is often the first response when a mathematician wants to describe the
Ordered Groups: A Case Study In Reverse Mathematics
 Bulletin of Symbolic Logic
, 1999
"... this article, we will be concerned only with fully ordered groups and will use the term ordered group to mean fully ordered group. There are a number of group conditions which imply full orderability. The simplest is given by the following classical theorem. ..."
Abstract

Cited by 9 (2 self)
 Add to MetaCart
this article, we will be concerned only with fully ordered groups and will use the term ordered group to mean fully ordered group. There are a number of group conditions which imply full orderability. The simplest is given by the following classical theorem.