Results 161 to 170 of about 16,440 (194)
Some of the next articles are maybe not open access.
Europe-Asia Studies, 2011
On 7 May 2008, Dmitrii Medvedev was sworn in as the third President of the Russian Federation. Under his two predecessors, the relationship between Moscow and the regions had undergone cataclysmic ...
openaire +1 more source
On 7 May 2008, Dmitrii Medvedev was sworn in as the third President of the Russian Federation. Under his two predecessors, the relationship between Moscow and the regions had undergone cataclysmic ...
openaire +1 more source
On fragments of Medvedev's logic
Studia Logica, 1981Medvedev's intermediate logic (MV) can be defined by means of Kripke semantics as the family of Kripke frames given by finite Boolean algebras without units as partially ordered sets. The aim of this paper is to present a proof of the theorem: For every set of connectivesΦ such that\(\{ \to , \vee , \urcorner \} \not \subseteq \Phi \subseteq \{ \to ...
openaire +2 more sources
Embeddings into the Medvedev and Muchnik lattices of Π0 1 classes
Archive for Mathematical Logic, 2004Stephen G. Simpson, Stephen E. Binns
exaly
A splitting theorem for the Medvedev and Muchnik lattices
Mathematical Logic Quarterly, 2003Stephen E. Binns
exaly
The Medvedev Experience: 1984 and Medicine
Perspectives in Biology and Medicine, 1976David Green, Elmer G. King
openaire +2 more sources
The Medvedev lattice of computably closed sets
Archive for Mathematical Logic, 2005Sebastiaan A Terwijn
exaly