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
A hierarchy of Brouwer constructive functionals - MaRDI portal

A hierarchy of Brouwer constructive functionals

From MaRDI portal

Publication:1256468

Jump to:navigation, search

DOI10.1007/BF01091557zbMath0404.03052MaRDI QIDQ1256468

N. A. Shanin

Publication date: 1977

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

zbMATH Keywords

Hierarchy Recursive Function Uniform Continuity Arithmetic Functional Constructive Brower Functional

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Recursive functions and relations, subrecursive hierarchies (03D20)

Cites Work

This page was built for publication: A hierarchy of Brouwer constructive functionals

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