Decision problems in algebraic logic (Ph.D. thesis)
Table of Contents
- Notation and background
- Undecidable varieties
- Undecidable varieties of ordered semigroups
- Undecidable varieties of diagonal-free cylindric algebras
- The degree of unsolvability can change if ...
- Cylindric algebras vs. relation algebras
- Representable relation algebras vs. abstract relation algebras
- Representable cylindric algebras vs. abstract cylindric algebras
- Weakly associative relation algebras and cardinality quantifiers
- The operation `infinitely more'
- The operations `at least kappa times'
- The operation `of good cardinality'
- Weakly associative relation algebras and projection elements
- Non-recursive enumerability in ZFC
- Non-well-founded set theories
- Recursive enumerability in certain non-well-founded set theories
See here for