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 arithmeticnonstandard intuitionistic arithmeticomega-rulesheaf models

Mathematics Subject Classification ID

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

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

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

Cited in

(19)

• A sheaf-theoretic foundation for nonstandard analysis
• Classifying toposes for first-order theories
• Transfer principles in nonstandard intuitionistic arithmetic
• To be or not to be constructive, that is not the question
• Saturated models of intuitionistic theories
• Reverse formalism 16
• The FAN principle and weak König's lemma in Herbrandized second-order arithmetic
• Basic subtoposes of the effective topos
• On an extremely restricted ω-rule
• 2000 Annual Meeting of the Association for Symbolic Logic
• An application of constructive completeness
• Forcing in Proof Theory
• The intuitionistic Robinson arithmetic(s)
• Ultrasheaves and double negation
• Stateful Realizers for Nonstandard Analysis
• Categorical structure in coherent theory of arithmetic
• Realizability with stateful computations for nonstandard analysis
• A functional interpretation for nonstandard arithmetic
• Minimal elementary extensions of models of set theory and arithmetic

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)