Recursion theory and ordered groups

Etude du contenu effectif de la theorie des groupes ordonnes. Relation entre les ordres abstraits et les ordres recursifs sur les groupes recursifs

[1]  M. Rabin.  Computable algebra, general theory and theory of computable fields. , 1960 .

[2]  Arithmetische gesetze im gebiete diskreter gruppen , 1913 .

[3]  D. Louvish,et al.  Fully Ordered Groups , 1974 .

[4]  Rodney G. Downey.  Co-Immune Subspaces and Complementation in V , 1984, J. Symb. Log..

[5]  Thomas C. Craven,et al.  The Boolean space of orderings of a field , 1975 .

[6]  J. Shepherdson,et al.  Effective procedures in field theory , 1956, Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences.

[7]  A. Nerode,et al.  Recursively enumerable vector spaces , 1977 .

[8]  A. Nerode,et al.  Recursion theory and algebra , 1975 .

[9]  Kenkichi Iwasawa,et al.  On linearly ordered groups. , 1948 .

[10]  J. G. Wendel,et al.  ORDERED VECTOR SPACES , 1952 .

[11]  R. Soare,et al.  Π⁰₁ classes and degrees of theories , 1972 .

[12]  Jr. Hartley Rogers.  Theory of Recursive Functions and Effective Computability , 1969 .

[13]  Rodney G. Downey,et al.  Automorphisms of supermaximal subspaces , 1985, Journal of Symbolic Logic.

[14]  Iraj Kalantari,et al.  Maximal Vector Spaces Under Automorphisms of the Lattice of Recursively Enumerable Vector Spaces , 1977, J. Symb. Log..

[15]  A. Nerode,et al.  Effective content of field theory , 1979 .

[16]  B. H. Neumann,et al.  On Ordered Groups , 1949 .

[17]  S. S. Goncharov,et al.  Autostability of models , 1980 .

[18]  Lawrence Feiner,et al.  Hierarchies of Boolean algebras , 1970, Journal of Symbolic Logic.

[19]  A. Nerode,et al.  Recursion Theory on Fields and Abstract Dependence , 1980 .

[20]  Rodney G. Downey,et al.  Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field , 1985, Math. Log. Q..