activity
20112026
most citedA secure additive protocol for card players

13 citations · 70 across the 51 of their papers we have counts for

collaborators
Showing 2021Show all

2 papers · 1 filter

math.LO2021

Arithmetical and Hyperarithmetical Worm Battles

David Fernández-Duque, Joost J. Joosten, Fedor Pakhomov +2

Japaridze's provability logic has one modality for each natural number and has been used by Beklemishev for a proof theoretic analysis of Peano aritmetic and rel…

math.LO2021★ 2 cited

An Escape from Vardanyan's Theorem

Ana de Almeida Borges, Joost J. Joosten

Vardanyan's Theorems state that - the quantified provability logic of Peano Arithmetic - is complete, and in particular that this already holds…