scientific article; zbMATH DE number 1483964

MaRDI QIDQ4493072zbMATH OpenFDO

Authors Kai Frederick Wehmeier

Publication date 2 August 2000

Full work available at URL https://eudml.org/doc/120530

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

Kripke modelsHeyting arithmetic\(\Pi_1\)-induction\(\Pi_2\)-induction

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50) Models of arithmetic and set theory (03C62) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• scientific article; zbMATH DE number 964558
• Publication:4487300
• On the structure of kripke models of heyting arithmetic
• scientific article; zbMATH DE number 2152688
• Fragments of Heyting arithmetic

Cited in

(11)

• Intuitionistic axiomatizations for bounded extension Kripke models.
• Every Rooted Narrow Tree Kripke Model of HA is Locally PA
• Finite Kripke models of HA are locally PA
• scientific article; zbMATH DE number 2152688 (Why is no real title available?)
• scientific article; zbMATH DE number 1463152 (Why is no real title available?)
• Fragments of Heyting arithmetic
• scientific article; zbMATH DE number 1463255 (Why is no real title available?)
• Some weak fragments of HA and certain closure properties
• Kripke Models Built from Models of Arithmetic
• On the structure of kripke models of heyting arithmetic
• Some results on Kripke models over an arbitrary fixed frame

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4493072)