μ-definable sets of integers

DOI10.2307/2275338MaRDI QIDQ5287693zbMATH OpenOpenAlexFDO

Authors Robert S. Lubarsky

Publication date 17 August 1993

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275338

zbMATH Keywords

first-order logicfixed pointsadmissibilityinductive definitions\(\mu\)-calculusprenex normal formreflection properties

Mathematics Subject Classification ID

Inductive definability (03D70)

Recommendations

• scientific article; zbMATH DE number 4187792
• On the \(\mu \)-calculus over transitive and finite transitive frames
• Results on the propositional \(\mu\)-calculus
• Rudiments of \(\mu\)-calculus

Cites work

• scientific article; zbMATH DE number 3861143 (Why is no real title available?)
• Results on the propositional \(\mu\)-calculus

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)