Patrick Uftring

Available identifiers

zbMath Open uftring.patrickMaRDI QIDQ2683777

List of research outcomes

Publication	Date of Publication	Type
Weihrauch degrees without roots	2023-08-01	Paper
Weak and strong versions of effective transfinite recursion	2023-02-15	Paper
The uniform Kruskal theorem: between finite combinatorics and strong set existence	2022-07-30	Paper
Weak and Strong Versions of Effective Transfinite Recursion	2022-02-11	Paper
THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING	2021-07-12	Paper
The characterization of Weihrauch reducibility in systems containing E-PA$^{\omega}$ + QF-AC$^{0,0}$	2020-03-30	Paper
On inverse Goodstein sequences	N/A	Paper

Research outcomes over time

This page was built for person: Patrick Uftring