The Logic of Equality

DOI10.2307/2321009MaRDI QIDQ4154535zbMATH OpenOpenAlexFDO

Authors Leon Henkin

Publication date 1977

Published in The American Mathematical Monthly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2321009

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) General logic (03B99)

Cited in

(16)

• Hilbert's tenth problem is of unification type zero
• Axiomatic (and non-axiomatic) mathematics
• Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness
• A field guide to equational logic
• Partial evaluation and \(\omega\)-completeness of algebraic specifications
• A note on definability in equational logic
• Dynamic algebras: Examples, constructions, applications
• An equational logic sampler
• Which data types have -complete initial algebra specifications?
• Identities common to four Abelian group operations with zero
• Replacement in logic
• Leon Henkin
• Leon Henkin the reviewer
• On finite alphabets and infinite bases
• In Memoriam: Leon Albert Henkin 1921–2006
• Equational theory of positive numbers with exponentiation is not finitely axiomatizable

This page was built for publication: The Logic of Equality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4154535)