Intermediate logics and factors of the Medvedev lattice

DOI10.1016/J.APAL.2008.03.002MaRDI QIDQ952483zbMATHOpenAlexFDO

Authors Andrea Sorbi, Sebastiaan A. Terwijn

Publication date 12 November 2008

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

Medvedev degreesintermediate logicsfactor lattices

Mathematics Subject Classification ID

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

Abstract: We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.

Recommendations

• Constructive logic and the Medvedev lattice
• scientific article; zbMATH DE number 3873298
• scientific article; zbMATH DE number 5896226
• Intermediate logics and the de Jongh property
• First-order logic in the Medvedev lattice
• scientific article; zbMATH DE number 124032
• Some results on intermediate constructive logics
• Topologies for intermediate logics
• On the rules of intermediate logics
• scientific article; zbMATH DE number 937394

Cites work

• scientific article; zbMATH DE number 4059356 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 1045389 (Why is no real title available?)
• scientific article; zbMATH DE number 3448545 (Why is no real title available?)
• scientific article; zbMATH DE number 841094 (Why is no real title available?)
• scientific article; zbMATH DE number 3264054 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3110190 (Why is no real title available?)
• A splitting theorem for the Medvedev and Muchnik lattices
• Classical recursion theory. The theory of functions and sets of natural numbers
• Degrees of members of \(\Pi_ 1^ 0\) classes
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• Embedding Brouwer algebra in the Medvedev lattice
• Explicit provability and constructive semantics
• Mass Problems and Randomness
• Metamathematics of fuzzy logic
• ON SOME PROPERTIES OF THE MEDVEDEV LATTICE
• On the structure of the Medvedev lattice
• Some Quotient Lattices of the Medvedev Lattice
• Some remarks on the algebraic structure of the Medvedev Lattice
• Some theorems about the sentential calculi of Lewis and Heyting

Cited in

(18)

• Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism
• Generalizations of the weak law of the excluded middle
• scientific article; zbMATH DE number 4059356 (Why is no real title available?)
• Logics of some Kripke frames connected with Medvedev notion of informational types
• scientific article; zbMATH DE number 7668110 (Why is no real title available?)
• Topological aspects of the Medvedev lattice
• Effectively closed mass problems and intuitionism
• The finite intervals of the Muchnik lattice
• Lattices of Intermediate Theories via Ruitenburg's Theorem
• Medvedev's logic and products of converse well orders
• A survey of Mučnik and Medvedev degrees
• First-order logic in the Medvedev lattice
• Natural factors of the Muchnik lattice capturing IPC
• Constructive logic and the Medvedev lattice
• Intuitionistic logic and Muchnik degrees
• Coding true arithmetic in the Medvedev and Muchnik degrees
• Natural factors of the Medvedev lattice capturing IPC
• scientific article; zbMATH DE number 6290323 (Why is no real title available?)

This page was built for publication: Intermediate logics and factors of the Medvedev lattice

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