The Relation Reflection Scheme

DOI10.1002/malq.200710035zbMath1134.03038OpenAlexW1992333765MaRDI QIDQ5448611

Peter Aczel

Publication date: 7 March 2008

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200710035

zbMATH Keywords

constructive set theorydependent choicescoinductive definitions

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65) Other set-theoretic hypotheses and axioms (03E65)

Related Items (6)

ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS ⋮ A cumulative hierarchy of sets for constructive set theory ⋮ Generalized geometric theories and set-generated classes ⋮ CONSTRUCTIVE REFLECTIVITY PRINCIPLES FOR REGULAR THEORIES ⋮ Constructive strong regularity and the extension property of a compactification ⋮ The axiom of multiple choice and models for constructive set theory

Cites Work

• Constructive set theory

This page was built for publication: The Relation Reflection Scheme