Pages that link to "Item:Q4382484"
From MaRDI portal
The following pages link to Minimal models of Heyting arithmetic (Q4382484):
Displayed 12 items.
- Basic subtoposes of the effective topos (Q387125) (← links)
- Ultrasheaves and double negation (Q558435) (← links)
- A functional interpretation for nonstandard arithmetic (Q714729) (← links)
- A sheaf-theoretic foundation for nonstandard analysis (Q1356978) (← links)
- Classifying toposes for first-order theories (Q1382183) (← links)
- To be or not to be constructive, that is not the question (Q1688964) (← links)
- Saturated models of intuitionistic theories (Q1887664) (← links)
- Reverse formalism 16 (Q2054114) (← links)
- 2000 Annual Meeting of the Association for Symbolic Logic (Q4527937) (← links)
- An application of constructive completeness (Q4647571) (← links)
- Forcing in Proof Theory (Q4678943) (← links)
- Stateful Realizers for Nonstandard Analysis (Q6135755) (← links)