Skip to main navigation Skip to Content

IPM

  • Director's Message
  • About IPM
  • The Constitution of IPM
  • Contact US
  • فارسي
  • Home
  • People
    • Administrative Board
    • Founding Fellows of IPM
    • Scientific Council of IPM
    • Academic Staff
  • Schools
    • Astronomy
    • Biological Sciences
    • Cognitive Sciences
    • Computer Science
    • Mathematics
    • Nano Science
    • Particles and Accelerators
    • Philosophy
    • Physics
  • Centers and Units
    • Brain Engineering Laboratory
    • Condensed Matter National Laboratory
    • Grid Computing Group
    • Iranian Light Source Facility
    • Iranian National Observatory
    • IRNIC
    • Library
    • Network Center
  • Publications
    • Akhbar
    • Papers
    • Books
    • Annual Report
  • Bulletin Board
  • Calendar
  • E - Catalog















Home
  • “ Schools ”

    IPM
    • Astronomy
    • Cognitive Sciences
    • Computer Science
    • Mathematics
    • Nano Science
    • Particles and Accelerators
    • Philosophy
    • Physics

    “ Centers and Units ”

    IPM
    • GCG Computing Group
    • Information Center
    • Iranian Light Source Facility
    • Iranian National Observatory
    • IRNIC
    • Library
    • Network Center

    “ Research Groups ”

    IPM
    • Bioinformatics
    • Combinatorics and Computing
    • Commutative Algebra
    • Logic
    • IPM HPC Laboratory

    “ Useful Links ”

    IPM
    • Gallery of Visitors
    • Contact Us
    • Gallery of Photos

    “ E-Services ”

    IPM
    • Webmail
    • Official Automation System
    • Library
    • Telephone Book
  • “School of Mathematics”

     
    Paper   IPM / M / 8969
       School of Mathematics
      Title: Elementary amalgamation and joint embedding property for intermediate logics
      Author(s):
    1 . S. M. Bagheri
    2 . M. Pourmahdian
      Status: To Appear
      Journal: Log. J. IGPL
      Supported by: IPM
      Abstract:
    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
footer
  • -IPM
  • -20 Years
  • -INO
  • -ILSF
  • -GCG
  • -Iranet
  • -LIBRARY
  • -NIC
  • -BIO
  • -CCG
  • -Logic
prev next

Exploring IPM

  • People
    • Administrative Board
    • Senior Fellows of IPM
    • Scientific Council of IPM
    • Academic Staff
  • Schools
    • Astronomy
    • Biolgical Sciences
    • Cognitive Sciences
    • Computer Science
    • Mathematics
    • Nano Science
    • Particles and Accelerators
    • Philosophy
    • Physics
  • Centers
    • Brain Engineering Center
    • Condensed Matter National Laboratory
    • Deputy for Research
    • Grid Computing Group
    • Information Center
    • Iranian Light Source Facility
    • Iranian National Observatory
    • IRNIC
    • Library
    • Network Center
  • Groups
    • Bioinformatics
    • Combinatorics and Computing
    • Logic
    • Commutative Algebra
    • IPM HPC Laboratory
  • E-Services
    • Library Catalog
    • Official Automation System
    • Official Automation System (dabir)
    • Telephone Book
    • Webmail
  • Publications
    • Akhbar
    • Papers
    • Books

 COPYRIGHT 2012 © ALL RIGHTS RESERVED

Please submit your comments or questions here, or contact Webmaster  |  ipmic@ipm.ir