Similar Items: The logical strength of Büchi's decidability theorem
- Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic
- State of Büchi Complementation
- Bounded variation and the strength of Helly's selection theorem
- Classical propositional logic and decidability of variables in intuitionistic propositional logic
- Definability and Interpolation within Decidable Fixpoint Logics
- Unifying Büchi Complementation Constructions