Switch to: Citations

References in:

Maximal theories

Annals of Pure and Applied Logic 33 (C):245-282 (1987)

Add references

You must login to add references.
  1. Recursion Theory and Algebra.G. Metakides, A. Nerode, J. N. Crossley, Iraj Kalantari & Allen Retzlaff - 1986 - Journal of Symbolic Logic 51 (1):229-232.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Theory of Formal Systems.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (1):88-90.
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • Co-immune subspaces and complementation in V∞.R. Downey - 1984 - Journal of Symbolic Logic 49 (2):528 - 538.
    We examine the multiplicity of complementation amongst subspaces of V ∞ . A subspace V is a complement of a subspace W if V ∩ W = {0} and (V ∪ W) * = V ∞ . A subspace is called fully co-r.e. if it is generated by a co-r.e. subset of a recursive basis of V ∞ . We observe that every r.e. subspace has a fully co-r.e. complement. Theorem. If S is any fully co-r.e. subspace then S has (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • The infinite injury priority method.Robert I. Soare - 1976 - Journal of Symbolic Logic 41 (2):513-530.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Axiomatizable theories with few axiomatizable extensions.D. A. Martin & M. B. Pour-El - 1970 - Journal of Symbolic Logic 35 (2):205-209.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • (1 other version)Classes of Recursively Enumerable Sets and Degrees of Unsolvability.Donald A. Martin - 1966 - Mathematical Logic Quarterly 12 (1):295-310.
    Download  
     
    Export citation  
     
    Bookmark   88 citations  
  • Recursively enumerable vector spaces.G. Metakides - 1977 - Annals of Mathematical Logic 11 (2):147.
    Download  
     
    Export citation  
     
    Bookmark   60 citations  
  • Automorphisms of supermaximal subspaces.R. G. Downey & G. R. Hird - 1985 - Journal of Symbolic Logic 50 (1):1-9.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Recursion theory on algebraic structures with independent sets.J. B. Remmel - 1980 - Annals of Mathematical Logic 18 (2):153.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • On a question of A. Retzlaff.Rod Downey - 1983 - Mathematical Logic Quarterly 29 (6):379-384.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Recursively enumerable Boolean algebras.J. B. Remmel - 1978 - Annals of Mathematical Logic 15 (1):75.
    Download  
     
    Export citation  
     
    Bookmark   18 citations