Model-theoretic aspects of unification

DOI10.1007/3-540-55124-7_7zbMATH Open1518.68154MaRDI QIDQ6169563FDOQ6169563

Authors: Alexander Bockmayr 

Publication date: 14 August 2023

Published in: Word Equations and Related Topics (Search for Journal in Brave)

Recommendations

• Algebraic and logical aspects of unification
• Unification problem in equational theories
• scientific article; zbMATH DE number 3871321
• Unification through projectivity
• scientific article; zbMATH DE number 4049130

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mechanization of proofs and logical operations (03B35) Equational classes, universal algebra in model theory (03C05)

Cites Work

• Introduction to model theory and to the metamathematics of algebra
• A complete proof of correctness of the Knuth-Bendix completion algorithm
• Unification: a multidisciplinary survey
• Model theoretic algebra. Selected topics
• Transfinite extensions of Friedberg's completeness criterion
• Title not available (Why is that?)
• Automatic proofs by induction in theories without constructors
• Unification theory
• Model-completions and modules
• Algebraically complete lattices
• Forcing, arithmetic, division rings
• On algebraically closed groups
• On the metamathematics of algebra
• LE MODÈLE COMPAGNON DE LA THÉORIE DES ARBRES
• A note on a canonical theory with undecidable unification and matching problem
• Algebraically closed commutative rings
• Über die Lösbarkeit allgemeiner algebraischer Gleichungssysteme und einige weitere Fragen
• Bemerkung über Elimination in beliebigen Mengen mit Operationen. Erhard Schmidt zum 75. Geburtstag gewidmet
• Decidable Model Companions

Cited In (10)

• Title not available (Why is that?)
• Unification: a multidisciplinary survey
• Inner Models of Univalence
• IMPLEMENTING COMPLEX DOMAINS OF APPLICATION IN AN EXTENDED PROLOG SYSTEM
• Introduction to the special issue: Unification
• Instantiation theory. On the foundations of automated deduction
• Automata, Languages and Programming
• Algebraic and logical aspects of unification
• Title not available (Why is that?)
• Modeling unicorns and dead cats: applying Bressan's \(\mathrm{ML}^\nu\) to the necessary properties of non-existent objects

This page was built for publication: Model-theoretic aspects of unification

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