The Relation Reflection Scheme

DOI10.1002/MALQ.200710035MaRDI QIDQ5448611zbMATH OpenOpenAlexFDO

Authors 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

coinductive definitionsconstructive set theorydependent choices

Mathematics Subject Classification ID

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

Recommendations

• ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS
• Relational set theory
• The axiom of multiple choice and models for constructive set theory
• On rigid relation principles in set theory without the axiom of choice
• scientific article; zbMATH DE number 2247249

Cites work

• Constructive set theory

Cited in

(10)

• Reflective relational machines
• Constructive strong regularity and the extension property of a compactification
• The axiom of multiple choice and models for constructive set theory
• ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS
• scientific article; zbMATH DE number 1390243 (Why is no real title available?)
• Constructive reflectivity principles for regular theories
• A cumulative hierarchy of sets for constructive set theory
• Generalized geometric theories and set-generated classes
• Broad infinity and generation principles
• Very large set axioms over constructive set theories

This page was built for publication: The Relation Reflection Scheme

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5448611)