Articles
- Uftring, Patrick, On inverse Goodstein sequences, Selecta Mathematica. New Series 31:4 (2025) Paper No. 73
- Uftring, Patrick, Weihrauch degrees without roots, Computability 14:1 (2025) 17-29
- Freund, Anton and Uftring, Patrick, The uniform Kruskal theorem: between finite combinatorics and strong set existence, Philosophical Transactions of the Royal Society A. Mathematical, Physical and Engineering Sciences 381:2248 (2023) Paper No. 20220016, 16
- Uftring, Patrick, Weak and strong versions of effective transfinite recursion, Annals of Pure and Applied Logic 174:4 (2023) Paper No. 103232, 15
- Uftring, Patrick, The characterization of Weihrauch reducibility in systems containing
E-PA^ω + QF-AC^0,0, The Journal of Symbolic Logic 86:1 (2021) 224-261
- Alves, R. and Hildenbrand, D. and Steinmetz, C. and Uftring, P., Efficient development of competitive Mathematica solutions based on geometric algebra with GAALOPWeb, Advances in Applied Clifford Algebras 30:4 (2020) Paper No. 59, 18
Electronic Repositories
- Uftring, Patrick, Weihrauch degrees without roots, arXiv 2102.11832 (2023)
- Uftring, Patrick, The characterization of Weihrauch reducibility in systems containing
E-PA^ω + QF-AC^0,0, arXiv 2003.13331 (2020)
MSc Theses
- Uftring, Patrick, Proof-theoretic characterization of Weihrauch reducibility, M.Sc. thesis, Department of Mathematics, Universität Darmstadt, 2018
This publication list has currently 9 entries
