The following pages link to The Logic of Equality (Q4154535):
Displaying 16 items.
- Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness (Q582891) (← links)
- Hilbert's tenth problem is of unification type zero (Q688556) (← links)
- Equational theory of positive numbers with exponentiation is not finitely axiomatizable (Q918968) (← links)
- On finite alphabets and infinite bases (Q924717) (← links)
- Identities common to four Abelian group operations with zero (Q1074611) (← links)
- Partial evaluation and \(\omega\)-completeness of algebraic specifications (Q1084849) (← links)
- Dynamic algebras: Examples, constructions, applications (Q1189900) (← links)
- A field guide to equational logic (Q1201350) (← links)
- Which data types have \(\omega\)-complete initial algebra specifications? (Q1318728) (← links)
- Replacement in logic (Q1947034) (← links)
- Axiomatic (and non-axiomatic) mathematics (Q2080664) (← links)
- In Memoriam: Leon Albert Henkin 1921–2006 (Q3398617) (← links)
- Leon Henkin (Q3454796) (← links)
- Leon Henkin the Reviewer (Q3454809) (← links)
- A note on definability in equational logic (Q4312342) (← links)
- An equational logic sampler (Q5055725) (← links)