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 1102104 - MaRDI portal

scientific article; zbMATH DE number 1102104

From MaRDI portal

Publication:4371201

Jump to:navigation, search

zbMath0906.03057MaRDI QIDQ4371201

Benjamin Blankertz

Publication date: 11 January 1998

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

zbMATH Keywords

ordinal analysis provably recursive functions approximations for Buchholz style control operators

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Recursive ordinals and ordinal notations (03F15)

Related Items (2)

From Subsystems of Analysis to Subsystems of Set Theory ⋮ Iterated Inductive Definitions Revisited

This page was built for publication:

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