Minimal models of Heyting arithmetic
From MaRDI portal
Publication:4382484
Recommendations
Cites work
Cited in
(17)- Classifying toposes for first-order theories
- The intuitionistic Robinson arithmetic(s)
- A functional interpretation for nonstandard arithmetic
- Ultrasheaves and double negation
- To be or not to be constructive, that is not the question
- The FAN principle and weak König's lemma in Herbrandized second-order arithmetic
- Transfer principles in nonstandard intuitionistic arithmetic
- Reverse formalism 16
- A sheaf-theoretic foundation for nonstandard analysis
- On an extremely restricted ω-rule
- Forcing in Proof Theory
- Saturated models of intuitionistic theories
- 2000 Annual Meeting of the Association for Symbolic Logic
- Stateful Realizers for Nonstandard Analysis
- An application of constructive completeness
- Minimal elementary extensions of models of set theory and arithmetic
- Basic subtoposes of the effective topos
This page was built for publication: Minimal models of Heyting arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4382484)