“School of Mathematics”

Back to Papers Home
Back to Papers of School of Mathematics

Paper   IPM / M / 8363
School of Mathematics
  Title:   Diagram construction in intuitionistic logic
1.  S. M. Bagheri
2.  M. Pourmahdian
  Status:   Published
  Journal: Log. J. IGPL
  Vol.:  16
  Year:  2006
  Pages:   889-901
  Supported by:  IPM
Every classical first order structure is coded in its diagram consisting of atomic sentences it satisfies. We study diagrams for the class of constant domain Kripke models and use it to define notions of submodel, reduction, expansion and ultraproduct for a ceratin subclass of it. In particular, we study conditions under which forcing is preserved by reductions and expansions.

Download TeX format
back to top
scroll left or right