scientific article; zbMATH DE number 1463255

zbMath0945.03087MaRDI QIDQ4487376

Tomasz Połacik

Publication date: 21 June 2000

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

zbMATH Keywords

Kripke models\(n\)-elementary extension modelsubtheories of Heyting Arithmetic

Mathematics Subject Classification ID

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

This page was built for publication: