Theory of Computable Numberings and Reverse Mathematics

  • Mustafa, Manat (PI)
  • Bazhenov, Nikolay (Co-PI)
  • Tleuliyeva, Zhansaya (Other Faculty/Researcher)

Project: FDCRGP

Project Details

Grant Program

Faculty Development Competitive Research Grant Program 2021-2023

Project Description

The research goals of this proposal are to address key unresolved questions about the theory of computable numbering and properties of the degree structure of Rogers semilattices, also to study the theory of numbering and degree structures of computable enumerable equivalence relations from the perspective of Reverse Mathematics, which tries to answer questions like this by finding exactly which set-theoretic axioms are truly necessary to prove theorems from theory of numbering and degree structure of ceers. Also, we will study the extension of the domain of numbering and computable enumerable equivalence relations to first uncountable ordinals and punctual settings.
StatusActive
Effective start/end date1/1/2112/31/23

Keywords

  • Computability theory,
  • Numberings theory
  • Rogers semilattices
  • Reverse Mathematics
  • Mathematical logic
  • Computable Structures
  • Computable equivalence relations

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.