Set theory in predicate calculus with equality

DOI10.1007/BF02023017zbMath0537.03011OpenAlexW2001491768MaRDI QIDQ3322073

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/138011

zbMATH Keywords

individualsillative combinatory logicaxioms of ZF

Mathematics Subject Classification ID

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

Related Items (2)

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

Cites Work

• A one axiom set theory based on higher order predicate calculus

This page was built for publication: Set theory in predicate calculus with equality