Minimal models of Heyting arithmetic

DOI10.2307/2275651zbMath0899.03044OpenAlexW1988155600MaRDI QIDQ4382484

Erik Palmgren, Ieke Moerdijk

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

Heyting arithmeticomega-ruleconservativitysheaf modelsnonstandard intuitionistic arithmetic

Mathematics Subject Classification ID

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

Related Items

2000 Annual Meeting of the Association for Symbolic Logic ⋮ Saturated models of intuitionistic theories ⋮ A sheaf-theoretic foundation for nonstandard analysis ⋮ Classifying toposes for first-order theories ⋮ Basic subtoposes of the effective topos ⋮ To be or not to be constructive, that is not the question ⋮ Stateful Realizers for Nonstandard Analysis ⋮ An application of constructive completeness ⋮ Ultrasheaves and double negation ⋮ A functional interpretation for nonstandard arithmetic ⋮ Forcing in Proof Theory ⋮ Reverse formalism 16

Cites Work

• A model for intuitionistic non-standard arithmetic
• A constructive approach to nonstandard analysis
• Unnamed Item