The following pages link to (Q2753685):
Displaying 5 items.
- Formalizing non-termination of recursive programs (Q1349246) (← 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)
- About Truth and Types (Q3305551) (← links)
- (Q4335240) (← links)
- Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\) (Q6614045) (← links)