Intuitionistic logic and Muchnik degrees

DOI10.1007/s00012-012-0176-1zbMath1252.03101arXiv1003.4489OpenAlexW2111939197MaRDI QIDQ412013

Sebastiaan A. Terwijn, Andrea Sorbi

Publication date: 3 May 2012

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1003.4489

zbMATH Keywords

intuitionistic logicBrouwer algebraMuchnik lattice

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Intermediate logics (03B55)

Related Items

Degrees of Unsolvability: A Tutorial ⋮ Natural factors of the Muchnik lattice capturing IPC ⋮ Natural factors of the Medvedev lattice capturing IPC ⋮ Mass problems and intuitionistic higher-order logic ⋮ Mass problems associated with effectively closed sets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intermediate logics and factors of the Medvedev lattice
• On fragments of Medvedev's logic
• Embedding Brouwer algebra in the Medvedev lattice
• Constructive logic and the Medvedev lattice
• Some remarks on the algebraic structure of the Medvedev Lattice
• Countable initial segments of the degrees of unsolvability
• The finite intervals of the Muchnik lattice
• THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE"
• Some theorems about the sentential calculi of Lewis and Heyting