The Type Theoretic Interpretation of Constructive Set Theory: Inductive Definitions
References (8)
The type theoretic interpretation of constructive set theory
- Aczel, P., 1982, The type theoretic interpretation of constructive set theory: Choice Principles, in...
Foundations of constructive analysis
(1967)Research Notes in Mathematics
(1979)
There are more references available in the full text version of this article.
Cited by (104)
Constructive strong regularity and the extension property of a compactification
2023, Annals of Pure and Applied LogicCitation Excerpt :In this appendix the specific formal system in which we have been working in is described to make the article self-contained. The reader may consult [1,3,4] for a thorough introduction to the subject. A core formal system for CST is the choice-free Constructive Zermelo-Fraenkel Set Theory (CZF).
Extensional Realizability and Choice For Dependent Types In Intuitionistic Set Theory
2023, Journal of Symbolic LogicTHE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
2023, Bulletin of Symbolic LogicGame semantics of Martin-Löf type theory
2023, Mathematical Structures in Computer ScienceTHE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
2022, Bulletin of Symbolic Logic
Copyright © 1986 Published by Elsevier B.V.