New Relations and Separations of conjectures about Incompleteness in the finite Domain

Erfan Khaniki. New Relations and Separations of conjectures about Incompleteness in the finite Domain. Journal of Symbolic Logic, 87(3):912-937, 2022. [doi]

Abstract

Abstract is missing.