Natural Factors of the Muchnik Lattice Capturing IPC
classification
🧮 math.LO
keywords
factorslatticemuchniknaturalarisingcapturecapturingcomputable
read the original abstract
We give natural examples of factors of the Muchnik lattice which capture intuitionistic propositional logic (IPC), arising from the concepts of lowness, 1-genericity, hyperimmune-freeness and computable traceability. This provides a purely computational semantics for IPC.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.