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

scientific article; zbMATH DE number 2222013

From MaRDI portal

Publication:5702662

Jump to:navigation, search

zbMath1081.03059MaRDI QIDQ5702662

Paulo Oliva, Ulrich Berger

Publication date: 2 November 2005

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

zbMATH Keywords

fan functional classical analysis bar recursion realizability interpretation axiom of dependent choice extraction of witnesses from proofs strongly majorizable functionals

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Axiom of choice and related propositions (03E25) Higher-type and set recursion theory (03D65)

Related Items (9)

Dependent choice, `quote' and the clock ⋮ The equivalence of bar recursion and open recursion ⋮ The Peirce translation ⋮ Delimited control operators prove double-negation shift ⋮ Well Quasi-orders and the Functional Interpretation ⋮ Bar recursion over finite partial functions ⋮ Programs from proofs using classical dependent choice ⋮ Uniform Heyting arithmetic ⋮ Unnamed Item

This page was built for publication:

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