arXiv Analytics

Sign in

arXiv:1003.4489 [math.LO]AbstractReferencesReviewsResources

Intuitionistic Logic and Muchnik Degrees

Andrea Sorbi, Sebastiaan A. Terwijn

Published 2010-03-23Version 1

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.

Categories: math.LO
Subjects: 03D30, 03G10
Related articles: Most relevant | Search more
arXiv:1504.03379 [math.LO] (Published 2015-04-13)
A Galois connection between classical and intuitionistic logics. II: Semantics
arXiv:2206.00446 [math.LO] (Published 2022-05-11)
Relative Unification in Intuitionistic Logic: Towards provability logic of HA
arXiv:1712.00864 [math.LO] (Published 2017-12-04)
Muchnik degrees and cardinal characteristics

Links

Toolbox