Skip to main content
Log in

A one axiom set theory based on higher order predicate calculus

  • Published:
Archiv für mathematische Logik und Grundlagenforschung Aims and scope Submit manuscript

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

Access this article

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

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Bunder, M.W.: Propositional and predicate calculuses based on combinatory logic. Notre Dame Journal of Formal LogicXV, 25–34 (1974).

    Google Scholar 

  2. Bunder, M.W.: Various systems of set theory based on combinatory logic. Notre Dame Journal of Formal LogicXV, 192–206 (1974).

    Google Scholar 

  3. Bunder, M.W.: Predicate calculus of arbitrarily high finite order. Arch. math. Logik23, 1–10 (1983).

    Google Scholar 

  4. Bunder, M.W.: Consistency notions in illative combinatory logic. J. Symb. Logic42, 527–529 (1977).

    Google Scholar 

  5. Bunder, M.W.: On the equivalence of systems of rules and systems of axioms in illative combinatory logic. Notre Dame Journal of Formal LogicXX, 603–608 (1979).

    Google Scholar 

  6. Vopênka, P., Hájek, P.: The theory of semi-sets. Amsterdam: North-Holland 1972.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bunder, M.W. A one axiom set theory based on higher order predicate calculus. Arch math Logik 23, 99–107 (1983). https://doi.org/10.1007/BF02023016

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02023016

Keywords

Navigation