Content: 1. Preliminaries, 2. Definitions of theory algebras, 3. Models of theory algebras, 4. Appendix: The axiom system of a complete theory algebra
![]() |
TheoAlgAxioms.pdf (201 KB) |
![]() |
TheoAlgAxioms.ps (202 KB) |
![]() |
TheoAlgAxioms.dvi (64 KB) |