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 Chain of Inclusion Relations in Computable Analysis - MaRDI portal

A Chain of Inclusion Relations in Computable Analysis

From MaRDI portal

Publication:4769045

Jump to:navigation, search

DOI10.2307/2037096zbMath0283.02029OpenAlexW4250012919MaRDI QIDQ4769045

Oliver Aberth

Publication date: 1969

Full work available at URL: https://doi.org/10.2307/2037096

Mathematics Subject Classification ID

Foundations: limits and generalizations, elementary topology of the line (26A03) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Proof theory and constructive mathematics (03F99)

Related Items (2)

The Failure in Computable Analysis of a Classical Existence Theorem for Differential Equations ⋮ The concept of effective method applied to computational problems of linear algebra

Cites Work

This page was built for publication: A Chain of Inclusion Relations in Computable Analysis

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