research
∙
05/19/2021
On the logical structure of choice and bar induction principles
We develop an approach to choice principles and their contrapositive bar...
research
∙
03/02/2018