scientific article; zbMATH DE number 1483964

zbMath0946.03070MaRDI QIDQ4493072

Kai Frederick Wehmeier

Publication date: 2 August 2000

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Heyting arithmeticKripke models\(\Pi_1\)-induction\(\Pi_2\)-induction

Mathematics Subject Classification ID

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

Related Items (1)

Intuitionistic axiomatizations for bounded extension Kripke models.

This page was built for publication: