Weak Arithmetics and Kripke Models

DOI<link itemprop=identifier href="https://doi.org/10.1002/1521-3870(200201)48:1<157::AID-MALQ157>3.0.CO;2-3" /><157::AID-MALQ157>3.0.CO;2-3 10.1002/1521-3870(200201)48:1<157::AID-MALQ157>3.0.CO;2-3zbMath0989.03068OpenAlexW2077667751MaRDI QIDQ2776821

Morteza Moniri

Publication date: 14 July 2002

Full work available at URL: https://doi.org/10.1002/1521-3870(200201)48:1<157::aid-malq157>3.0.co;2-3

zbMATH Keywords

forcingHeyting arithmeticsatisfactionKripke modelsintuitionistic induction schemeintuitionistic least number principle

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Intuitionistic mathematics (03F55)

Cites Work

• Unnamed Item
• Constructivism in mathematics. An introduction. Volume I
• Some weak fragments of HA and certain closure properties

This page was built for publication: Weak Arithmetics and Kripke Models