most citedLevin's and Prucnal's theorems on Medvedev's logic of finite problems

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

math.LO2024★ 1 cited

Levin's and Prucnal's theorems on Medvedev's logic of finite problems

Adam Přenosil

The purpose of this note is to provide a transparent and unified retelling of both Skvortsov's proof of the structural completeness of Medvedev's logic of finite problems, which is…