Ordinal Collapsing is a recursive technique in proof theory that assigns notations to large countable ordinals by systematically collapsing uncountable ordinals into the countable domain through the use of ordinal functions and fixed points.
4
Publications
93
Citations
4
Authors
5
Institutions
Publications per year
2017–2026
0
Variants
Ordinal Collapsing Function
Parents
Publications
4
Normal forms for elementary patterns
Timothy J. Carlson, Gunnar Wilken · Journal of Symbolic Logic · 2012 · 10 citations
1–4 of 4
Authors
4
- MR
2
h-index
- TJ
1
h-index
- SS
1
h-index
- GW
1
h-index
1–4 of 4
Institutions
5
The Ohio State University
Columbus, United States
3 h-index
3 publications
70 citations
Okinawa Institute of Science and Technology Graduate University
Onna, Japan
1 h-index
1 publications
10 citations
Hebrew University of Jerusalem
Jerusalem, Israel
1 h-index
1 publications
23 citations
University of Wisconsin–Madison
Madison, United States
1 h-index
1 publications
23 citations
Rutgers, The State University of New Jersey
New Brunswick, United States
1 h-index
1 publications
23 citations
1–5 of 5
Venues
- Journal of Symbolic Logic
1 publications · 10 citations
1
h-index
- Israel Journal of Mathematics
1 publications · 23 citations
1
h-index
- Mathematical logic quarterly
MLQ · 1 publications · 29 citations
1
h-index
- Archive for Mathematical Logic
1 publications · 31 citations
1
h-index
1–4