An algebra A is finitely presented if there is a finite set G of generator symbols, a finite set O of operator symbols, and a finite set Γ of defining relations xΞy where x and y are well-formed terms over G and O, such that A is isomorphic to the free algebra on G and O modulo the congruence induced by Γ.
No takes yet. Share an insight, caveat, or question.
Dexter Kozen (1977) studied this question.
Synapse has enriched 2 closely related papers on similar clinical questions. Consider them for comparative context: