Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Bahl, Rohan"'
Autor:
Bahl, Rohan
We show that including degrees of a particular kind of provability in the search target for any theorem-prover in sufficiently powerful formal systems over finite-sized statements preserves well-definition and a sufficient consistency while establish
Externí odkaz:
http://arxiv.org/abs/2410.01972
