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

scientific article; zbMATH DE number 3450171

From MaRDI portal

Publication:4773683

Jump to:navigation, search

zbMath0287.02016MaRDI QIDQ4773683

Gaisi Takeuti, Mariko Yasugi

Publication date: 1973

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

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15) Proof theory and constructive mathematics (03F99)

Related Items

Proof theory of reflection, The machinery of consistency proofs, Gentzen reduction revisited, Ordinal analysis by transformations, Theory of proofs (arithmetic and analysis), ``Gaisi Takeuti's finitist standpoint and its mathematical embodiment

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