Heer Tern Koh

collaborators

3 papers

math.LO2026

Almost free algebras: from the word problem to elimination of quantifiers

Yifan Jia, Heer Tern Koh, Bakh Khoussainov

Term algebras are important objects in computer science and are correspondingly well-studied. A natural generalization is to quotient these algebras by finitely many ground term eq…

math.LO2026

Primitive recursive categoricity spectra of functional structures

Nikolay Bazhenov, Heer Tern Koh, Keng Meng Ng

For the notion of degree of categoricity, we study an analogous notion for punctual structures. We show that such notions coincide for non- $I^_{1}^{0}$ -categorical injection struct…

math.LO2026

Primitive recursive categoricity spectra

Nikolay Bazhenov, Heer Tern Koh, Keng Meng Ng

We study the primitive recursive analogue of computable categoricity spectra for various natural classes of structures. We show that these notions coincide for all relatively $Î_{…