The following pages link to (Q5316376):
Displayed 9 items.
- A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP (Q476116) (← links)
- Operational set theory and small large cardinals (Q731889) (← links)
- Truth and the philosophy of mathematics (Q2080591) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- A flexible type system for the small Veblen ordinal (Q2312096) (← links)
- A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\) (Q2344720) (← links)
- Error and Predicativity (Q3195675) (← links)
- On the Performance of Axiom Systems (Q5055280) (← links)
- Predicativity and Feferman (Q5214793) (← links)