Medvedev's logic and products of converse well orders.

Denis I. Saveliev, Ilya Shapirovsky

Browse the full AiML paper archive.