2008 | OriginalPaper | Buchkapitel
Metamathematical Properties of Intuitionistic Set Theories with Choice Principles
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This paper is concerned with metamathematical properties of intuitionistic set theories with choice principles. It is proved that the
disjunction property
, the
numerical existence property
,
Church’s rule
, and several other metamathematical properties hold true for constructive Zermelo–Fraenkel Set Theory and full intuitionistic Zermelo–Fraenkel augmented by any combination of the principles of countable choice, dependent choices, and the presentation axiom. Also Markov’s principle may be added.