Author of the publication

Group Theoretic Properties of the Group of Computable Automorphisms of a Countable Dense Linear Order.

, , , and . Order, 19 (4): 343-364 (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Group Theoretic Properties of the Group of Computable Automorphisms of a Countable Dense Linear Order., , , and . Order, 19 (4): 343-364 (2002)On computable presentations of some functional lattices.. J. Log. Algebraic Methods Program., 79 (1): 38-46 (2010)On Cohesive powers of linear Orders., , , , , and . J. Symb. Log., 88 (3): 947-1004 (2023)On the isomorphism problem for some classes of computable algebraic structures., , , , and . Arch. Math. Log., 61 (5-6): 813-825 (2022)Remarks on Sigma-definability without the equality test over the Reals., and . CCA, volume 202 of Electronic Notes in Theoretical Computer Science, page 305-313. Elsevier, (2007)Editorial., and . Theory Comput. Syst., 49 (2): 225-226 (2011)On Computable Automorphisms of The Rational Numbers., and . J. Symb. Log., 66 (3): 1458-1470 (2001)Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra., , and . CiE, volume 9709 of Lecture Notes in Computer Science, page 251-260. Springer, (2016)Algebraic specified processes and enumerable models.. Conference on Computer Logic, volume 417 of Lecture Notes in Computer Science, page 1-2. Springer, (1988)Cohesive Powers of Linear Orders., , , , , and . CiE, volume 11558 of Lecture Notes in Computer Science, page 168-180. Springer, (2019)