scientific article; zbMATH DE number 1463255

zbMATH Open0945.03087MaRDI QIDQ4487376FDOQ4487376

Authors: Tomasz Połacik 

Publication date: 21 June 2000

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

Recommendations

• Partially-Elementary Extension Kripke Models: A Characterization and Applications
• scientific article; zbMATH DE number 2152688
• Publication:4487300
• Intuitionistic axiomatizations for bounded extension Kripke models.
• Publication:4493072

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cited In (2)

• Extensions of Kripke models
• Title not available (Why is that?)

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 Q4487376)