Teilalgebra - Partial algebra
In der abstrakten Algebra , ein Teil-Algebra ist eine Verallgemeinerung der universellen Algebra zu Teiloperationen .
Beispiel (e)
- partielles Groupoid
- Feld - Die multiplikative Inversion ist die einzig richtige Teiloperation
- Effektalgebren
Struktur
Es gibt einen "Meta Birkhoff Theorem" von Andreka, Nemeti und Sain (1982).
Verweise
Weiterführende Literatur
- Peter Burmeister (2002) [1986]. Ein modelltheoretisch orientierter Ansatz für partielle Algebren . CiteSeerX 10.1.1.92.6134 .
- Horst Reichel (1984). Strukturinduktion auf Teilalgebren . Akademie-Verlag.
- Horst Reichel (1987). Anfängliche Berechenbarkeit, algebraische Spezifikationen und Teilalgebren . Clarendon Press. ISBN 978-0-19-853806-6 .