Minimal models of Heyting arithmetic

DOI10.2307/2275651zbMATH Open0899.03044OpenAlexW1988155600MaRDI QIDQ4382484FDOQ4382484

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

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

zbMATH Keywords

conservativityHeyting arithmeticsheaf modelsomega-rulenonstandard intuitionistic arithmetic

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• A model for intuitionistic non-standard arithmetic
• A constructive approach to nonstandard analysis

Cited In (17)

• The intuitionistic Robinson arithmetic(s)
• Classifying toposes for first-order theories
• 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
• On an extremely restricted ω-rule
• A sheaf-theoretic foundation for nonstandard analysis
• 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)