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

scientific article; zbMATH DE number 3637861

From MaRDI portal

Publication:4198752

Jump to:navigation, search

zbMath0411.03055MaRDI QIDQ4198752

Susumu Hayashi

Publication date: 1977

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

zbMATH Keywords

normal form theorem intuitionistic second order arithmetic conservative rule bar induction rule continuity rule extended Church's rule fan rule Markov's rule provable function transfinite induction rule

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55)

Related Items

Logic of refinement types, Arithmetic transfinite induction and recursive well-orderings

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