On the quantificational logic of intuitionistic set theory

DOI10.1017/S0305004100063854zbMath0595.03057MaRDI QIDQ3726115

Harvey M. Friedman, Andrej Scedrov

Publication date: 1986

Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

zbMATH Keywords

intuitionistic set theoryintuitionistic predicate calculustopos modelsweak set formation principles

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Intuitionistic mathematics (03F55)

Related Items (3)

THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC ⋮ Logics of intuitionistic Kripke-Platek set theory ⋮ Independent axiomatizability of sets of sentences

Cites Work

• Arithmetic transfinite induction and recursive well-orderings
• Sheaf models for set theory

This page was built for publication: On the quantificational logic of intuitionistic set theory