“School of Mathematics”

Back to Papers Home
Back to Papers of School of Mathematics

Paper   IPM / M / 8969
School of Mathematics
  Title:   Elementary amalgamation and joint embedding property for intermediate logics
1.  S. M. Bagheri
2.  M. Pourmahdian
  Status:   To Appear
  Journal: Log. J. IGPL
  Supported by:  IPM
In this paper we study the elementary amalgamation property (AP) and the joint embedding property (JEP) for intermediate logics. We point out the class of Kripke structures with elementary embedding can be viewed within abstract elementary class framework. Following this approach, both elementary AP and JEP can be considered quite naturally for intermediate logics. The main method for our investigations is the extension of Morleyization method from classical model theory to Kripke model theory. The almost-classical logic and almost-classical models have been defined. After verifying that the class of almost-classical models forms an abstract elementary class, we, fur�thermore, prove that the almost-classical logic neither has the elementary AP nor JEP property. We finally give an example of a non-classical intermediate logic which extends the almost-classical logic and has both elementary AP and JEP.

Download TeX format
back to top
scroll left or right