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

scientific article

From MaRDI portal

Publication:3703898

Jump to:navigation, search

zbMath0581.03049MaRDI QIDQ3703898

Shih-Chao Liu

Publication date: 1984

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

zbMATH Keywords

proof theory infinitesimal infinity constructive number constructive operation extension of ZF

Mathematics Subject Classification ID

Consistency and independence results (03E35) Metamathematics of constructive systems (03F50) Nonstandard models (03H99)

This page was built for publication:

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