research
∙
01/27/2023
An Arithmetic Theory for the Poly-Time Random Functions
We introduce a new bounded theory RS^1_2 and show that the functions whi...
share
research
∙
10/28/2022
Some Remarks on Counting Propositional Logic
Counting propositional logic was recently introduced in relation to rand...
research
∙
03/21/2022
Curry and Howard Meet Borel
We show that an intuitionistic version of counting propositional logic c...
research
∙
04/25/2021
On Measure Quantifiers in First-Order Arithmetic (Long Version)
We study the logic obtained by endowing the language of first-order arit...
research
∙
03/23/2021