13 citations · 70 across the 51 of their papers we have counts for
Showing 2019 · math.LOShow all
2 papers · 2 filters
math.LO2019★ 2 cited
Münchhausen provability
Joost J. Joosten
By Solovay's celebrated completeness result on formal provability we know that the provability logic describes exactly all provable structural properties for any sound…
math.LO2019
The Reduction Property Revisited
Nika Pona, Joost J. Joosten
In this paper we will study an important but rather technical result which is called The Reduction Property. The result tells us how much arithmetical conservation there is between…