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

scientific article; zbMATH DE number 3545638

From MaRDI portal

Publication:4120570

Jump to:navigation, search

zbMath0351.02026MaRDI QIDQ4120570

Wolfram Pohlers

Publication date: 1975

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

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15) Hierarchies of computability and definability (03D55) Proof theory and constructive mathematics (03F99)

Related Items (4)

Well-Partial Orderings and their Maximal Order Types ⋮ From Subsystems of Analysis to Subsystems of Set Theory ⋮ Iterated Inductive Definitions Revisited ⋮ Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1

This page was built for publication:

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