8 citations · 22 across the 10 of their papers we have counts for
1 paper · 1 filter
Emanuele Frittaion, Michael Rathjen
In generic realizability for set theories, realizers treat unbounded quantifiers generically. To this form of realizability, we add another layer of extensionality by requiring tha…