Intuitionistic logic and Muchnik degrees

DOI10.1007/S00012-012-0176-1zbMATH Open1252.03101arXiv1003.4489OpenAlexW2111939197MaRDI QIDQ412013FDOQ412013

Sebastiaan A. Terwijn, Andrea Sorbi

Publication date: 3 May 2012

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

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.

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some theorems about the sentential calculi of Lewis and Heyting
• Constructive logic and the Medvedev lattice
• Some remarks on the algebraic structure of the Medvedev Lattice
• On fragments of Medvedev's logic
• Embedding Brouwer algebra in 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"
• Intermediate logics and factors of the Medvedev lattice

Cited In (13)

• Mass problems associated with effectively closed sets
• Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic
• Degrees of Unsolvability: A Tutorial
• 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
• 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)