Skip to main content
SpringerLink
Log in

A Natural Axiom System for Boolean Algebras with Applications

  • Chapter
  • First Online:
Modern Logic 1850-1950, East and West

Part of the book series: Studies in Universal Logic ((SUL))

Abstract

We use an equivalent form of the Boolean Prime Ideal Theorem to give a proof of the Stone Representation Theorem for Boolean algebras. This proof gives rise to a natural list of axioms for Boolean algebras and also for propositional logic. Applications of the axiom system are also given.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. S. Feferman, Some applications of the notion of forcing and generic sets. Fund. Math. 56, 325–345 (1965)

    MathSciNet  MATH  Google Scholar 

  2. O. Frink, Jr., Representations of Boolean algebras. Bull. Am. Math. Soc. 47, 755–756 (1941)

    Article  MathSciNet  MATH  Google Scholar 

  3. J.D. Halpern, A. Lévy, The Boolean prime ideal theorem does not imply the axiom of choice, in Axiomatic Set Theory. Proceedings of Symposia in Pure Mathematics, vol. 13(part 1) (American Mathematical Society, Providence, 1971), pp. 83–134

    Google Scholar 

  4. R. Hodel, Restricted versions of the Tukey-Teichmüller Theorem that are equivalent to the Boolean prime ideal theorem. Arch. Math. Logic 44, 459–472 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  5. P. Howard, J. Rubin, Consequences of the Axiom of Choice. Mathematical Surveys and Monographs, vol. 59 (American Mathematical Society, Providence, 1998)

    Google Scholar 

  6. T. Jech, The Axiom of Choice (North Holland, Amsterdam, 1973)

    MATH  Google Scholar 

  7. S. Koppelberg, Handbook of Boolean Algebras, vol. 1, eds. by D. Monk, R. Bonnet (North Holland, Amsterdam, 1989)

    Google Scholar 

  8. R. Padmanabhan, S. Rudeanu, Axioms for Lattices and Boolean Algebras (World Scientific, Hackensack, 2008)

    Book  MATH  Google Scholar 

  9. H. Rubin, J. Rubin, Equivalents of the Axiom of Choice, II (North-Holland, Amsterdam, 1985)

    MATH  Google Scholar 

  10. M. Stone, The theory of representations for Boolean algebras. Trans. Am. Math. Soc. 40, 37–111 (1936)

    MathSciNet  MATH  Google Scholar 

  11. A. Tarski, On some fundamental concepts of metamathematics, in Logic, Semantics, Metamathematics (Oxford University Press, Oxford, 1956)

    Google Scholar 

  12. O. Teichmüller, Braucht der Algebraiker das Auswahlaxiom? Deutsche Math. 4(1939), 567–577

    MathSciNet  MATH  Google Scholar 

  13. J. Tukey, Convergence and Uniformity in Topology. Annals of Mathematics Studies, vol. 2 (Princeton University Press, Princeton, 1940)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Duke University, Durham, NC, 27708, USA

    R. E. Hodel

Authors
  1. R. E. Hodel
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to R. E. Hodel .

Editor information

Editors and Affiliations

  1. DepartmentsofMathematicsandComputerSci, Kean University, Union, New Jersey, USA

    Francine F. Abeles

  2. University of Wisconsin, Janesville, Wisconsin, USA

    Mark E. Fuller

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Hodel, R.E. (2016). A Natural Axiom System for Boolean Algebras with Applications. In: Abeles, F., Fuller, M. (eds) Modern Logic 1850-1950, East and West. Studies in Universal Logic. Birkhäuser, Cham. https://doi.org/10.1007/978-3-319-24756-4_13

Download citation

Publish with us

Policies and ethics

Search

Navigation