scientific article; zbMATH DE number 1483964

zbMATH Open0946.03070MaRDI QIDQ4493072FDOQ4493072

Authors: Kai Frederick Wehmeier 

Publication date: 2 August 2000

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

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (11)

• Intuitionistic axiomatizations for bounded extension Kripke models.
• Every Rooted Narrow Tree Kripke Model of HA is Locally PA
• Title not available (Why is that?)
• Finite Kripke models of HA are locally PA
• Title not available (Why is that?)
• Fragments of Heyting arithmetic
• Title not available (Why is that?)
• 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)