Equalisers of Frames in Constructive Set Theory

DOI10.1007/978-94-007-0214-1_11zbMath1256.03053OpenAlexW1573818279MaRDI QIDQ2909757

Peter Aczel

Publication date: 6 September 2012

Published in: The Western Ontario Series in Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-0214-1_11

zbMATH Keywords

constructive set theoryequalizerscategory of set-presented class frames

Mathematics Subject Classification ID

Frames, locales (06D22) Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65)

Related Items (1)

Topological inductive definitions

This page was built for publication: Equalisers of Frames in Constructive Set Theory