The uniform Kruskal theorem over RCA 0
Year: 2026
Type: article
Source: Journal of Mathematical Logic
Author: Patrick Uftring
Institution: Universität der Bundeswehr München
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W7166714942
FWCI:
Cites:
Cited by:
Related to: