Results 181 to 190 of about 16,440 (194)

Medvedev Reinstated

Nature, 1970
openaire   +1 more source

Access Suspended

Notre Dame Journal of Formal Logic, 2011
Paul Shafer
exaly  

Comparing the degrees of enumerability and the closed Medvedev degrees

Archive for Mathematical Logic, 2018
Paul Shafer, Andrea Sorbi
exaly  

Medvedev, Vasily (? – ?)

2016
openaire   +1 more source

Dr Medvedev in London

Nature, 1973
openaire   +1 more source

Natural factors of the Medvedev lattice capturing IPC

Archive for Mathematical Logic, 2014
exaly  

Access Suspended

Notre Dame Journal of Formal Logic, 2008
exaly  

The ∀∃-theory of the effectively closed Medvedev degrees is decidable

Archive for Mathematical Logic, 2009
exaly  

Itinerants: Medvedev Arrives

Nature, 1973
openaire   +1 more source

A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice

Siberian Mathematical Journal, 1988
exaly