VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY

Bulletin of Symbolic Logic ◽

10.1017/bsl.2021.68 ◽

2021 ◽

pp. 1-15

Author(s):

PAULO GUILHERME SANTOS ◽

REINHARD KAHLE

Download Full-text