Pages that link to "Item:Q5287693"
From MaRDI portal
The following pages link to <i>μ</i>-definable sets of integers (Q5287693):
Displaying 14 items.
- The modal mu-calculus alternation hierarchy is strict (Q1276239) (← links)
- An intensional fixed point theory over first order arithmetic (Q1877095) (← links)
- A Buchholz rule for modal fixed point logics (Q1942334) (← links)
- On the universal and existential fragments of the \(\mu\)-calculus (Q2368950) (← links)
- On fixpoint arithmetic and infinite time Turing machines (Q2390295) (← links)
- Extending constructive operational set theory by impredicative principles (Q3008060) (← links)
- Domain mu-calculus (Q4460689) (← links)
- Fixpoints, games and the difference hierarchy (Q4462675) (← links)
- 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 (Q4678940) (← links)
- Fixpoint alternation: arithmetic, transition systems, and the binary tree (Q4943547) (← links)
- On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics (Q5013911) (← links)
- Fold/Unfold Transformations for Fixpoint Logic (Q5164174) (← links)
- Parallel Feedback Turing Computability (Q5283431) (← links)
- A fixed point theory over stratified truth (Q6047658) (← links)
