Skip to main content
SpringerLink
Log in

Completeness theorem for topological class models

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract

A topological class logic is an infinitary logic formed by combining a first-order logic with the quantifier symbols O and C. The meaning of a formula closed by quantifier O is that the set defined by the formula is open. Similarly, a formula closed by quantifier C means that the set is closed. The corresponding models are a topological class spaces introduced by Ćirić and Mijajlović (Math Bakanica 1990). The completeness theorem is proved.

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. Barwise J.(1975): Admissible sets and Structure. Springer, Berlin Heidelberg New York

    Google Scholar 

  2. Ćirić, D., Mijajlović, Ž.: Topologies on classes. Math. Balcanica (1990)

  3. Ćirić, D., Mijajlović, Ž.: Class spaces. Math. Balcanica (1993)

  4. Djordjević R., Rašković M., Ognjanović Z.(2004): Completeness theorem for propositional probabilistic models whose measures have only finite ranges. Arch. Math. Logic 43, 557–563

    Article  MathSciNet  Google Scholar 

  5. Keisler H.J.(1970): Logic with the quantifier ’there exists uncountably meny’. Annals of Math. Logic 1, 1–93

    MathSciNet  Google Scholar 

  6. Rašković M.D.(1986): Completeness theorem for biprobability models. J. Symbol Logic 51, 586–590

    Article  Google Scholar 

  7. Sgro J.(1977): Completeness theorem for topological models. Ann. Math. Logic 11, 173–193

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Prirodno-matematički fakultet, R. Domanovića 12, 34000, Kragujevac, Serbia

    Radosav Djordjevic & Nebojša Ikodinović

  2. Faculty of mathematics, Studentski trg 16, 11000, Beograd, Serbia

    Žarko Mijajlović

Authors
  1. Radosav Djordjevic
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nebojša Ikodinović
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Žarko Mijajlović
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Radosav Djordjevic.

Additional information

This research was supported by the Ministry of Science, Technology and Development, Republic of Serbia, through Mathematical Institute, under grant 144013.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Djordjevic, R., Ikodinović, N. & Mijajlović, Ž. Completeness theorem for topological class models. Arch. Math. Logic 46, 1–8 (2007). https://doi.org/10.1007/s00153-006-0014-2

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-006-0014-2

Keywords

Mathematics Subject Classification (2000)

Search

Navigation