57 citations · 86 across the 14 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
math.LO2021
Friedman-reflexivity: interpreters as consistoids
Albert Visser
Harvey Friedman shows that, over Peano Arithmetic, the consistency statement for a finitely axiomatised theory can be characterised as the weakest statement over Peano Arit…
math.LO2021
Finitely Axiomatized Theories Lack Self-Comprehension
Fedor Pakhomov, Albert Visser
In this paper we prove that no consistent finitely axiomatized theory one-dimensionally interprets its own extension with predicative comprehension. This constitutes a result with…
math.LO2021★ 1 cited
Cyclic Henkin Logic
Albert Visser
In this paper, we study Cyclic Henkin Logic CHL, a logic that can be described as provability logic without the third Löb condition, to wit, that provable implies provably provable…