|
Journals in DBLP
The FOR ALL THERE EXISTS-theory of the effectively closed Medvedev degrees is decidable. [Citation Graph (, )][DBLP]
Strict P11-reflection in bounded arithmetic. [Citation Graph (, )][DBLP]
Infima of d.r.e. degrees. [Citation Graph (, )][DBLP]
Degrees of categoricity of computable structures. [Citation Graph (, )][DBLP]
Effectively inseparable Boolean algebras in lattices of sentences. [Citation Graph (, )][DBLP]
Finding generic filters by playing games. [Citation Graph (, )][DBLP]
|