Finite presentability of strongly finite dilators
Finite presentability of strongly finite dilators
In this paper, we establish the following results: (i) every strongly finite dilator is finitely presentable in the category of endofunctors on the category of ordinals; (ii) a dilator F is strongly finite if and only if F is finitely presentable in the category of dilators.
Finite sets and Gödel's incompleteness theorems [Book]
Finite sum-product logic.
Formally self-referential propositions for cut free classical analysis and related systems [Book]
Fragments of complete extensions of PA and McDowell-Specker's theorem.
From Foundations to Science: Justifying and Unwinding Proofs
Functions provably total in
Functorial bounds for cut elimination in L... .I.
Functorial bounds for cut elimination in L.. .II.
Further applications of ultra-conservative ...-rules.