Some generalizations to two systems of set theory based on combinatory logic

DOI10.1007/BF02017488zbMath0617.03004OpenAlexW2045264361MaRDI QIDQ4726221

Martin W. Bunder

Publication date: 1986

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/138049

zbMATH Keywords

combinatory logicaxiomatic set theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Combinatory logic and lambda calculus (03B40)

Cites Work

• Unnamed Item
• A weak absolute consistency proof for some systems of illative combinatory logic
• A one axiom set theory based on higher order predicate calculus
• Set theory in predicate calculus with equality
• Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic

This page was built for publication: Some generalizations to two systems of set theory based on combinatory logic