μ-definable sets of integers
From MaRDI portal
Publication:5287693
Recommendations
Cites work
Cited in
(18)- An intensional fixed point theory over first order arithmetic
- On the universal and existential fragments of the \(\mu\)-calculus
- Extending constructive operational set theory by impredicative principles
- scientific article; zbMATH DE number 4187792 (Why is no real title available?)
- A fixed point theory over stratified truth
- 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03
- Fixpoint alternation: arithmetic, transition systems, and the binary tree
- On fixpoint arithmetic and infinite time Turing machines
- The modal mu-calculus alternation hierarchy is strict
- scientific article; zbMATH DE number 1882496 (Why is no real title available?)
- Domain mu-calculus
- On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics
- A Buchholz rule for modal fixed point logics
- The modal mu-calculus alternation hierarchy is strict
- Parallel feedback Turing computability
- Temporal verification of programs via first-order fixpoint logic
- Fold/unfold transformations for fixpoint logic
- Fixpoints, games and the difference hierarchy
This page was built for publication: μ-definable sets of integers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5287693)