Minimal models of Heyting arithmetic

DOI10.2307/2275651MaRDI QIDQ4382484zbMATH OpenOpenAlexFDO

Authors Ieke Moerdijk, Erik Palmgren

Publication date 2 November 1998

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275651

zbMATH Keywords

conservativityHeyting arithmeticsheaf modelsomega-rulenonstandard intuitionistic arithmetic

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• Transfer principles in nonstandard intuitionistic arithmetic
• Note on extensions of Heyting's arithmetic by adding the ``creative subject
• On an extremely restricted ω-rule
• Minimal readability of intuitionistic arithmetic and elementary analysis

Cites work

• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• A constructive approach to nonstandard analysis
• A model for intuitionistic non-standard arithmetic

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)