A one axiom set theory based on higher order predicate calculus

DOI10.1007/BF02023016zbMath0537.03010WikidataQ114693704 ScholiaQ114693704MaRDI QIDQ3322072

Martin W. Bunder

Publication date: 1983

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

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

zbMATH Keywords

individualscombinatory logicaxioms of ZFhigher order predicate calculusidentification of sets with first order predicates

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Combinatory logic and lambda calculus (03B40)

Related Items

Systems of illative combinatory logic complete for first-order propositional and predicate calculus, Arithmetic based on the Church numerals in illative combinatory logic, Set theory in predicate calculus with equality, Category theory based on combinatory logic, Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic, Some generalizations to two systems of set theory based on combinatory logic

Cites Work

• On the equivalence of systems of rules and systems of axioms in illative combinatory logic
• Predicate calculus of arbitrarily high finite order
• Consistency notions in illative combinatory logic
• Propositional and predicate calculus based on combinatory logic
• Various systems of set theory based on combinatory logic
• Unnamed Item