Computability theory
Theory of computation
Field theory
Recursively enumerable set
Splitting lemma
Field
Mathematics
Algebraic structures
Algebra