Set theory in predicate calculus with equality

DOI10.1007/BF02023017MaRDI QIDQ3322073zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 517056
• The Calculus of Partial Predicates and Its Extension to Set Theory I
• Extensional set equality in the calculus of constructions
• scientific article; zbMATH DE number 2172973
• scientific article; zbMATH DE number 1047921
• scientific article; zbMATH DE number 1507190
• Some exact equiconsistency results in set theory
• A new approach to predicative set theory
• A finitely axiomatized formalization of predicate calculus with equality
• Equivalence relations in set theory, computation theory, model theory and complexity theory

Cites work

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

Cited in

(6)

• Category theory based on combinatory logic
• A one axiom set theory based on higher order predicate calculus
• scientific article; zbMATH DE number 4097340 (Why is no real title available?)
• ON SKALA'S SET THEORY
• Some generalizations to two systems of set theory based on combinatory logic
• On the syntax of logic and set theory

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)