Skip to main content
SpringerLink
Log in

Omitting Types in an Intermediate Logic

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

We prove an omitting types theorem and one direction of the related Ryll-Nardzewski theorem for semi-classical theories introduced in [2].

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Aczel, P., ‘Notes on constructive set theory’, Draft 1997.

  2. Bagheri, S. M., ‘Categoricity and quantifier elimination for intuitionistic theories’, Lecture Notes in Logic No 26 (2005).

  3. Bagheri S. M.: ‘Some preservation results in an intermediate logic’, Math. Log. Quart. 52(2), 125–133 (2006)

    Article  Google Scholar 

  4. Bagheri S. M., Pourmahdian M.: ‘Diagram construction in intuitionistic logic’. Logic Journal of IGPL 16(6), 889–901 (2006)

    Article  Google Scholar 

  5. van Dalen D., Logic and structure, Springer-Verlag, 2004

  6. Marković Z.: ‘An intuitionistic omitting types theorem’. Publications de L’Institut Mathématiques, Nouvelle série, tome 25(40), 167–169 (1979)

    Google Scholar 

  7. Ono H.: ‘Model extension theorem and Craig’s interpolation theorem for intermediate predicate logics’. Reports on Mathematical Logic 15, 41–58 (1983)

    Google Scholar 

  8. Troelstra, A. S., and D. van Dalen, Constructivism in Mathematics, Vol.I, North-Holland, 1988.

  9. Visser A.: ‘Submodels of Kripke Models’. Arch. Math. Logic 40, 277–295 (2001)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Pure Mathematics, Faculty of Mathematical Sciences, Tarbiat Modares University, P. O. Box 14115-134, Tehran, Iran

    Seyed-Mohammad Bagheri

  2. School of Mathematics, Amirkabir University of Technology, Tehran, Iran

    Massoud Pourmahdian

  3. Institute for Research in Fundamental Sciences (IPM), P. O. Box 19395-5746, Tehran, Iran

    Massoud Pourmahdian

Authors
  1. Seyed-Mohammad Bagheri
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Massoud Pourmahdian
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Seyed-Mohammad Bagheri.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bagheri, SM., Pourmahdian, M. Omitting Types in an Intermediate Logic. Stud Logica 97, 319–328 (2011). https://doi.org/10.1007/s11225-011-9310-x

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-011-9310-x

Keywords

Search

Navigation