Skip to main content
SpringerLink
Log in

On the minimal cover property and certain notions of finite

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

Abstract

In set theory without the axiom of choice, we investigate the deductive strength of the principle “every topological space with the minimal cover property is compact”, and its relationship with certain notions of finite as well as with properties of linearly ordered sets and partially ordered sets.

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. Arens, R., Dugundji, J.: Remark on the concept of compactness. Port. Math. 9, 141–143 (1950)

    MathSciNet  MATH  Google Scholar 

  2. Blass, A.: Ramsey’s theorem in the hierarchy of choice principles. J. Symb. Log. 42, 387–390 (1977)

    Article  MathSciNet  MATH  Google Scholar 

  3. Dedekind, R.: Stetigkeit und irrationale Zahlen. Vieweg, Braunschweig (1872)

    MATH  Google Scholar 

  4. De la Cruz, O.: Finiteness and choice. Fund. Math. 173, 57–76 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  5. Herrlich, H., Howard, P., Tachtsis, E.: On a certain notion of finite and a finiteness class in set theory without choice. Bull. Pol. Acad. Sci. Math. 63(2), 89–112 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  6. Höft, H., Howard, P.: Well ordered subsets of linearly ordered sets. Notre Dame J. Form. Log. 35, 413–425 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  7. Howard, P.E., Yorke, M.F.: Definitions of finite. Fund. Math. 133, 169–177 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  8. Howard, P., Rubin, J.E.: Consequences of the Axiom of Choice, Mathematical Surveys and Monographs, vol. 59. American Mathematical Society, Providence (1998); Consequences of the Axiom of Choice Project Homepage. http://consequences.emich.edu/conseq.htm

  9. Howard, P., Saveliev, D.I., Tachtsis, E.: On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements. Math. Log. Q. 62(3), 155–176 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  10. Howard, P., Saveliev, D.I., Tachtsis, E.: On the existence of cofinal well-founded subsets of posets without \({\bf AC}\)  (article in preparation)

  11. Howard, P., Solski, J.: The strength of the \(\Delta \)-system lemma. Notre Dame J. Form. Log. 34(1), 100–106 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  12. Howard, P., Tachtsis, E.: On the minimal cover property in \({\mathbf{ZF}}\). Topol. Appl. 173, 94–106 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  13. Jech, T.J.: The Axiom of Choice, Studies in Logic and the Foundations of Mathematics, vol. 75. North-Holland, Amsterdam (1973)

    Google Scholar 

  14. Lévy, A.: The independence of various definitions of finiteness. Fund. Math. 46, 1–13 (1958)

    Article  MathSciNet  MATH  Google Scholar 

  15. Lévy, A.: Axioms of multiple choice. Fund. Math. 50, 475–483 (1962)

    Article  MathSciNet  MATH  Google Scholar 

  16. Pincus, D.: Zermelo–Fraenkel consistency results by Fraenkel–Mostowski methods. J. Symb. Log. 37, 721–743 (1972)

    Article  MathSciNet  MATH  Google Scholar 

  17. Pincus, D.: Adding dependent choice. Ann. Math. Log. 11, 105–145 (1977)

    Article  MathSciNet  MATH  Google Scholar 

  18. Spišiak, L.: Dependences between definitions of finiteness. II. Czechoslov. Math. J. 43, 391–407 (1993)

    MathSciNet  MATH  Google Scholar 

  19. Spišiak, L., Vojtáš, P.: Dependences between definitions of finiteness. Czechoslov. Math. J. 38, 389–397 (1988)

    MathSciNet  MATH  Google Scholar 

  20. Tachtsis, E.: On Ramsey’s Theorem and the existence of infinite chains or infinite anti-chains in infinite posets. J. Symb. Log. 81(01), 384–394 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  21. Tarski, A.: Sur les ensembles finis. Fund. Math. 6, 45–95 (1924)

    Article  MATH  Google Scholar 

  22. Truss, J.: Classes of Dedekind finite cardinals. Fund. Math. 84, 187–208 (1974)

    Article  MathSciNet  MATH  Google Scholar 

  23. Truss, J.K.: The structure of amorphous sets. Ann. Pure Appl. Log. 73, 191–233 (1995)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, University of the Aegean, 83200, Karlovassi, Samos, Greece

    Eleftherios Tachtsis

Authors
  1. Eleftherios Tachtsis
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Eleftherios Tachtsis.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Tachtsis, E. On the minimal cover property and certain notions of finite. Arch. Math. Logic 57, 665–686 (2018). https://doi.org/10.1007/s00153-017-0595-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-017-0595-y

Keywords

Mathematics Subject Classification

Search

Navigation