Pages that link to "Item:Q2344720"

The following pages link to A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\) (Q2344720):

Displayed 5 items.

• Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives (Q2285848) ‎ (← links)
• Research on supply chain risk assessment with intuitionistic fuzzy information (Q2987875) ‎ (← links)
• A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) ‎ (← links)
• The Operational Penumbra: Some Ontological Aspects (Q5214788) ‎ (← links)
• Proof Theory of Constructive Systems: Inductive Types and Univalence (Q5214792) ‎ (← links)