scientific article; zbMATH DE number 1114042

zbMath0885.18002MaRDI QIDQ4375811

Zoltán Ésik, Anna Labella

Publication date: 20 April 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

iteration theoriescompleteness theoremaxiomatizationequational axiomsinitialityfixed point operation

Mathematics Subject Classification ID

Equational categories (18C05) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items

The equational logic of fixed points, Completeness of Park induction