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
Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis - MaRDI portal

Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis

From MaRDI portal

Publication:2917329

Jump to:navigation, search

DOI10.4230/OASICS.CCA.2009.2265zbMath1247.03131OpenAlexW2145367271MaRDI QIDQ2917329

Hannes Diener, Peter M. Schuster

Publication date: 28 September 2012

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2009/2265/pdf/Diener.2265.pdf

zbMATH Keywords

continuity uniqueness countable choice implicit function constructive analysis

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

This page was built for publication: Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis

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