Computable Structure and NonStructure Theorems
 S. S. Goncharov,
 J. F. Knight
 … show all 2 hide
Rent the article at a discount
Rent now* Final gross prices may vary according to local VAT.
Get AccessAbstract
In a lecture in Kazan (1977), Goncharov dubbed a number of problems regarding the classification of computable members of various classes of structures. Some of the problems seemed likely to have nice answers, while others did not. At the end of the lecture, Shore asked what would be a convincing negative result. The goal of the present article is to consider some possible answers to Shore's question. We consider structures Д of some computable language, whose universes are computable sets of constants. In measuring complexity, we identify Д with its atomic diagram D(Д), which, via the Gödel numbering, may be treated as a subset of ω. In particular, Д is computable if D(Д) is computable. If K is some class, then K^{c} denotes the set of computable members of K. A computable characterization for K should separate the computable members of K from other structures, that is, those that either are not in K or are not computable. A computable classification (structure theorem) should describe each member of K^{c} up to isomorphism, or other equivalence, in terms of relatively simple invariants. A computable nonstructure theorem would assert that there is no computable structure theorem. We use three approaches. They all give the “correct” answer for vector spaces over Q, and for linear orderings. Under all of the approaches, both classes have a computable characterization, and there is a computable classification for vector spaces, but not for linear orderings. Finally, we formulate some open problems.
 Hodges, W. (1987) What is a structure theory?. Bull. London Math. Soc. 19: pp. 209237
 Shelah, S. (1985) Classification of first order theories which have a structure theorem. Bull. Am. Math. Soc. 12: pp. 227232
 Friedman, H., Stanley, L. (1989) On Borel reducibility theory for classes of computable structures. J. Symb. Log. 54: pp. 894914
 Ash, C. J., Knight, J. F. (2000) Computable Structures and the Hyperarithmetical Hierarchy. Elsevier, Amsterdam
 Scott, D. Logic with denumerably long formulas and finite strings of quantifiers. In: Addison, J., Henkin, L., Tarski, A. eds. (1970) The Theory of Models. NorthHolland, Amsterdam, pp. 329341
 Keisler, H. J. (1971) Model Theory for Infinitary Logic. NorthHolland, Amsterdam
 Rogers, H. (1967) Theory of Recursive Functions and Effective Computability. McGrawHill, New York
 Harrison, J. (1968) Recursive pseudo wellorderings. Trans. Am. Math. Soc. 131: pp. 526543
 Sacks, G. E. (1990) Higher Type Recursion Theory. Springer, Berlin
 Goncharov, S. S. (1975) Autostability and computable families of constructivizations. Algebra Logika 14: pp. 647680
 Goncharov, S. S. (1977) The quantity of nonautoequivalent constructivizations. Algebra Logika 16: pp. 257282
 Ash, C. J. (1987) Categoricity in hyperarithmetical degrees. Ann. Pure Appl. Log. 34: pp. 114
 LopezEscobar, E. (1966) An addition to 'On definable wellorderings'. Fund. Math. 59: pp. 299300
 Morley, M. Omitting classes of elements. In: Addison, M., Henkin, L., Tarski, A. eds. (1970) The Theory of Models. NorthHolland, Amsterdam, pp. 265273
 D. R. Hirschfeldt, B. Khoussainov, R. A. Shore, and A. M. Slinco, “Degree spectra and computable dimensions in algebraic structures,” Preprint.
 Ash, C. J., Knight, J. F. (1990) Pairs of recursive structures. Ann. Pure Appl. Log. 46: pp. 211234
 Ash, C. J., Jockusch, C. G., Knight, J. F. (1990) Jumps of orderings. Trans. Am. Math. Soc. 319: pp. 573599
 Ash, C. J. (1991) A construction for recursive linear orderings. J. Symb. Log. 56: pp. 673683
 Ash, C. J. (1986) Recursive labelling systems and stability of recursive structures in hyperarithmetical degrees. Trans. Am. Math. Soc. 298: pp. 497514
 Nurtazin, A. T. (1974) Computable classes and algebraic criteria for autostability. Institute of Mathematics and Mechanics, AlmaAta
 Jockusch, C. G., Soare, R. I. (1991) Degrees of orderings not isomorphic to recursive linear orderings. Ann. Pure Appl. Log. 52: pp. 3964
 Title
 Computable Structure and NonStructure Theorems
 Journal

Algebra and Logic
Volume 41, Issue 6 , pp 351373
 Cover Date
 20021101
 DOI
 10.1023/A:1021758312697
 Print ISSN
 00025232
 Online ISSN
 15738302
 Publisher
 Kluwer Academic PublishersPlenum Publishers
 Additional Links
 Topics
 Keywords

 computable characterization
 computable classification
 structure theorem
 nonstructure theorem
 Authors

 S. S. Goncharov ^{(1)}
 J. F. Knight ^{(2)}
 Author Affiliations

 1. Institute of Mathematics SB RAS, Akademika Koptyuga Prospekt, Novosibirsk, 630090, Russia
 2. Notre Dame University, Notre Dame, USA