Ágnes Kurucz

Decision problems in algebraic logic (Ph.D. thesis)

Table of Contents

• Introduction
• 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
• References
• Index