Set theory in predicate calculus with equality

DOI10.1007/BF02023017zbMATH Open0537.03011OpenAlexW2001491768MaRDI QIDQ3322073FDOQ3322073

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

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

Cites Work

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

Cited In (2)

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

   Recommendations

• Title not available (Why is that?) 👍 👎
• The Calculus of Partial Predicates and Its Extension to Set Theory I 👍 👎
• Extensional set equality in the calculus of constructions 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Some exact equiconsistency results in set theory 👍 👎
• A new approach to predicative set theory 👍 👎
• A finitely axiomatized formalization of predicate calculus with equality 👍 👎
• Title not available (Why is that?) 👍 👎

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3322073)