Constructive Set Theory is a formal axiomatic framework in mathematical logic that belongs to the class of set theories and is distinguished by its adherence to intuitionistic logic, thereby requiring that all existence proofs provide an explicit construction of the sets they assert to exist.
112
Publications
5.4K
Citations
118
Authors
76
Institutions
Publications per year
2017–2026
6
Variants
Cst
Parents
Publications
112
Tibor Radó · Bell System Technical Journal · 1962 · 297 citations
John Myhill · Journal of Symbolic Logic · 1975 · 224 citations
Humanities, Mathematics, Logic +6
1–5 of 112
Authors
118
- MR
7
h-index
- ME
4
h-index
- EP
4
h-index
- DB
3
h-index
- IM
3
h-index
1–5 of 118
Institutions
76
The Ohio State University
Columbus, United States
5 h-index
5 publications
100 citations
Uppsala University
Uppsala, Sweden
5 h-index
5 publications
163 citations
Chalmers University of Technology
Gothenburg, Sweden
5 h-index
5 publications
278 citations
Utrecht University
Utrecht, The Netherlands
5 h-index
5 publications
195 citations
University of Leeds
Leeds, United Kingdom
4 h-index
4 publications
93 citations
Stanford University
Stanford, United States
3 h-index
3 publications
69 citations
Technische Universität Darmstadt
Darmstadt, Germany
3 h-index
3 publications
83 citations
University of Manchester
Manchester, United Kingdom
3 h-index
3 publications
109 citations
1–8 of 76
Venues
- Journal of Symbolic Logic
18 publications · 813 citations
14
h-index
- Annals of Pure and Applied Logic
11 publications · 403 citations
11
h-index
- Mathematical logic quarterly
MLQ · 8 publications · 146 citations
8
h-index
- Theoretical Computer Science
3 publications · 116 citations
3
h-index
- Fundamenta Mathematicae
3 publications · 214 citations
3
h-index
1–5