Intuitionistic logic and Muchnik degrees

DOI10.1007/S00012-012-0176-1MaRDI QIDQ412013zbMATH OpenOpenAlexFDO

Authors Andrea Sorbi, Sebastiaan A. Terwijn

Publication date 3 May 2012

Published in Algebra Universalis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

intuitionistic logicBrouwer algebraMuchnik lattice

Mathematics Subject Classification ID

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

Abstract: We prove that there is a factor of the Muchnik lattice that captures intuitionistic propositional logic. This complements a now classic result of Skvortsova for the Medvedev lattice.

Cites work

• scientific article; zbMATH DE number 4059356 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 841094 (Why is no real title available?)
• scientific article; zbMATH DE number 5488086 (Why is no real title available?)
• scientific article; zbMATH DE number 3230245 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Constructive logic and the Medvedev lattice
• Countable initial segments of the degrees of unsolvability
• Embedding Brouwer algebra in the Medvedev lattice
• Intermediate logics and factors of the Medvedev lattice
• On fragments of Medvedev's logic
• Some remarks on the algebraic structure of the Medvedev Lattice
• Some theorems about the sentential calculi of Lewis and Heyting
• THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE"
• The finite intervals of the Muchnik lattice

Cited in

(13)

• Mass problems associated with effectively closed sets
• Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic
• Degrees of maximality of Łukasiewicz-like sentential calculi
• Towards CERes in intuitionistic logic
• Mass problems and intuitionistic higher-order logic
• Degrees of logics with Henkin quantifiers in poor vocabularies
• Natural factors of the Medvedev lattice capturing IPC
• Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic
• Some elementary results in intuitionistic model theory
• Honest elementary degrees and degrees of relative provability without the cupping property
• Degrees of unsolvability: a tutorial
• Absolute \(L\)-realizability and intuitionistic logic
• Natural factors of the Muchnik lattice capturing IPC

This page was built for publication: Intuitionistic logic and Muchnik degrees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q412013)