Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article; zbMATH DE number 1870412 - MaRDI portal

scientific article; zbMATH DE number 1870412

From MaRDI portal

Publication:4793023

Jump to:navigation, search

zbMath1025.03056MaRDI QIDQ4793023

Wilfried Buchholz

Publication date: 18 February 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

ordinal notations ordinal analysis iterated inductive definitions infinitary derivations impredicative proof theory hydra game

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

Related Items (2)

Simplified Cut Elimination for Kripke-Platek Set Theory ⋮ Ordinal analysis by transformations

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4793023&oldid=19094212"