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

scientific article; zbMATH DE number 5200709

From MaRDI portal

Publication:5310874

Jump to:navigation, search

zbMath1120.03046MaRDI QIDQ5310874

Marian Alexandru Baroni

Publication date: 15 October 2007

Full work available at URL: http://www.jucs.org/jucs_11_12/constructive_suprema

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

zbMATH Keywords

partially ordered set Constructive mathematics

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Related Items (3)

Intuitionistic mereology ⋮ Intuitionistic mereology. II: Overlap and disjointness ⋮ Lebesgue's dominated convergence theorem in Bishop's style

This page was built for publication:

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