Found 4 Documents (Results 1–4)
The computational significance of Hausdorff’s maximal chain principle. (English) Zbl 07633512
Anselmo, Marcella (ed.) et al., Beyond the horizon of computability. 16th conference on computability in Europe, CiE 2020, Fisciano, Italy, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12098, 239-250 (2020).
MSC:
68Qxx
Resolving finite indeterminacy. A definitive constructive universal prime ideal theorem. (English) Zbl 1498.03160
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 820-830 (2020).
Filter Results by …
Document Type
- Journal Articles (2)
- Collection Articles (2)
all
top 5
Author
- Schuster, Peter Michael (2)
- Wessel, Daniel (2)
- Buss, Samuel R. (1)
- Iemhoff, Rosalie (1)
- Kohlenbach, Ulrich Wilhelm (1)
- Misselbeck-Wessel, Daniel (1)
- Rathjen, Michael (1)
Serial
- Theor. Comput. Sci. (1)
- Oberwolfach Rep. (1)