scientific article; zbMATH DE number 5066353

zbMath1106.03034MaRDI QIDQ5393630

Seyed-Mohammad Bagheri

Publication date: 23 October 2006

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

zbMATH Keywords

embeddingcompletenessKripke models

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Quantifier elimination, model completeness, and related topics (03C10) Intermediate logics (03B55) Categoricity and completeness of theories (03C35)

Related Items (2)

Omitting types in an intermediate logic ⋮ Some preservation theorems in an intermediate logic

This page was built for publication: