关于Medvedev有限问题逻辑的Levin定理和Prucnal定理
逻辑
2024-04-09 v1
摘要
本文的目的是对Skvortsov关于Medvedev有限问题逻辑结构完备性的证明（该结果最初归功于Prucnal）以及Levin关于Medvedev有限问题逻辑是具有析取性质的（弱）Kreisel-Putnam逻辑的最大扩张的证明，提供一个清晰且统一的复述。将这两个结果放在一起呈现，可以简化它们的表述，因为它们都依赖于同一个引理。本文没有新内容，其目的仅仅是以更易理解的方式呈现这些材料。
引用
@article{arxiv.2404.04349,
title = {Levin's and Prucnal's theorems on Medvedev's logic of finite problems},
author = {Adam Přenosil},
journal= {arXiv preprint arXiv:2404.04349},
year = {2024}
}
备注
4 pages, 0 figures