Set theory in predicate calculus with equality

DOI10.1007/BF02023017zbMATH Open0537.03011OpenAlexW2001491768MaRDI QIDQ3322073FDOQ3322073

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

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
• Publication:4503910
• 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

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 (6)

• Category theory based on combinatory logic
• A one axiom set theory based on higher order predicate calculus
• Title not available (Why is that?)
• 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)