Concepedia
Annals of Pure and Applied Logic · 1983 · 15 citations · 2 references
Natural SciencesMathematicsSet TheoryAxiomatic Set TheoryIntuitionistic LogicUtility TheoryDependent ChoiceDependent Random ChoiceExistence Property
2
Constructive set theory
John Myhill · Journal of Symbolic Logic · 1975 · 224 citations
Humanities, Mathematics, Logic +6
Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
G. Kreisel, Amit Levy · Mathematical logic quarterly · 1968 · 146 citations
Computing, Computer Science, Mathematics +14