Computability theory and algebra

• Main Author: Wu, Huishan
• Other Authors: Wu Guohua
• Format: Theses and Dissertations
• Language: English
• Published: 2017
• Subjects: DRNTU::Science::Mathematics::Mathematical logic
• Online Access: http://hdl.handle.net/10356/72708
• Institution: Nanyang Technological University

This thesis mainly focuses on classical computability theory and effective aspects of algebra. In particular, we will work on bounded low/high sets, degrees of orders on torsion-free abelian groups, and reverse mathematics of several classic results in modules. In Part I, we will study bounded-low...