First-order logic in the Medvedev lattice

DOI10.1007/s11225-015-9615-2zbMath1378.03033arXiv1408.5311OpenAlexW2130837870WikidataQ59431839 ScholiaQ59431839MaRDI QIDQ897478

Rutger Kuyper

Publication date: 7 December 2015

Published in: Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

first-order logicintuitionistic logicMedvedev degrees

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Other degrees and reducibilities in computability and recursion theory (03D30) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Natural factors of the Medvedev lattice capturing IPC
• Realizability. An introduction to its categorical side
• Semantical investigations in Heyting's intuitionistic logic
• Constructivism in mathematics. An introduction. Volume I
• Classical recursion theory. The theory of functions and sets of natural numbers
• Computable Kripke models and intermediate logics
• Decidable Kripke models of intuitionistic theories
• Zur Deutung der intuitionistischen Logik
• Mass problems and intuitionistic higher-order logic
• A Survey of Mučnik and Medvedev Degrees
• Tripos theory in retrospect
• Completeness properties of heyting's predicate calculus with respect to re models
• Adjointness in Foundations

This page was built for publication: First-order logic in the Medvedev lattice