Results 151 to 160 of about 16,440 (194)
Topological aspects of the Medvedev lattice
Archive for Mathematical Logic, 2010 We study the Medvedev degrees of mass problems with distinguished topological properties, such as denseness, closedness, or discreteness. We investigate the sublattices generated by these degrees; the prime ideal generated by the dense degrees and its complement, a prime filter; the filter generated by the nonzero closed degrees and the filter ...
Andrea Sorbi +2 more
exaly +4 more sources
Constructive Logic and the Medvedev Lattice
Notre Dame Journal of Formal Logic, 2006 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sebastiaan A Terwijn
exaly +4 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
2023
Abstract This chapter explores the intensification of Russia’s outreaches to Africa during Dmitry Medvedev’s presidency from 2008–12. As Russia and the West sought to reset relations following the 2008 Georgian War, combatting piracy in Somalia emerged as a rare area of cooperation. This collaborative spirit was eviscerated by the end of
exaly +2 more sources
Abstract This chapter explores the intensification of Russia’s outreaches to Africa during Dmitry Medvedev’s presidency from 2008–12. As Russia and the West sought to reset relations following the 2008 Georgian War, combatting piracy in Somalia emerged as a rare area of cooperation. This collaborative spirit was eviscerated by the end of
exaly +2 more sources
Archives of Surgery, 1972
My dear Colleagues and Friends: It is a great disappointment to me not to be able to come to your country and participate personally in the very important and interesting Symposium.... The preparation of this lecture occupied all my thoughts, my time, and my hopes these last several months, and this work gave me great pleasure and satisfaction ...
openaire +2 more sources
My dear Colleagues and Friends: It is a great disappointment to me not to be able to come to your country and participate personally in the very important and interesting Symposium.... The preparation of this lecture occupied all my thoughts, my time, and my hopes these last several months, and this work gave me great pleasure and satisfaction ...
openaire +2 more sources
First-Order Logic in the Medvedev Lattice [PDF]
Studia Logica, 2015 Kolmogorov introduced an informal calculus of problems in an attempt to provide a classical semantics for intuitionistic logic. This was later formalised by Medvedev and Muchnik as what has come to be called the Medvedev and Muchnik lattices. However, they only formalised this for propositional logic, while Kolmogorov also discussed the universal ...
exaly +7 more sources
Survival, 2008
Despite his overwhelming victory in Russia's presidential elections, Dmitry Medvedev now faces a struggle to prove his legitimacy and capacity to govern.
openaire +1 more source
Despite his overwhelming victory in Russia's presidential elections, Dmitry Medvedev now faces a struggle to prove his legitimacy and capacity to govern.
openaire +1 more source
ON SOME PROPERTIES OF THE MEDVEDEV LATTICE
Mathematics of the USSR-Sbornik, 1976This article investigates the structure of the lattice of degrees of difficulty, introduced by Medvedev. In particular, an answer is given to Rogers' question: Is being a degree of solvability a lattice-theoretic property? It is proved that for every degree except the smallest, the smallest nonrecursive, and the largest degrees, there exists a degree ...
openaire +3 more sources