Patrick Uftring

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On inverse Goodstein sequences (available as arXiv preprint)	N/A	Paper
Avoiding logical strength in real analysis (available as arXiv preprint)	2026-01-01	Paper
Independence of premise for intuitionistic Zermelo-Fraenkel set theory (available as arXiv preprint)	2026-01-01	Paper
On inverse Goodstein sequences Selecta Mathematica. New Series	2025-09-03	Paper
The uniform Kruskal theorem over RCA₀ (available as arXiv preprint)	2025-01-01	Paper
Maximal order types for sequences with gap condition (available as arXiv preprint)	2025-01-01	Paper
More conservativity for weak Kőnig's lemma (available as arXiv preprint)	2024-01-01	Paper
Weihrauch degrees without roots	2023-08-01	Paper
Weak and strong versions of effective transfinite recursion Annals of Pure and Applied Logic	2023-02-15	Paper
Weihrauch degrees without roots (available as arXiv preprint)	2023-01-01	Paper
The uniform Kruskal theorem: between finite combinatorics and strong set existence	2022-07-30	Paper
Weak and Strong Versions of Effective Transfinite Recursion (available as arXiv preprint)	2022-02-11	Paper
The uniform Kruskal theorem: between finite combinatorics and strong set existence (available as arXiv preprint)	2022-01-01	Paper
THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING Journal of Symbolic Logic	2021-07-12	Paper
The characterization of Weihrauch reducibility in systems containing E-PA$^{\omega}$ + QF-AC$^{0,0}$ (available as arXiv preprint)	2020-03-30	Paper

Research outcomes over time

This page was built for person: Patrick Uftring