1 problem

Matching

The propositional theory conjecture for the Muchnik lattices at levels 2 and 3
Propositional theory conjecture. The propositional theories of $\mathcal{M}_2$ and $\mathcal{M}_3$ are $\mathrm{Jan}$ ; in fact, there are principal factors of $\mathcal{M}_2$ and…
opencomputability-theory intuitionistic-logic muchnik-lattices
04

The propositional theory conjecture for the Muchnik lattices at levels 2 and 3