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

scientific article; zbMATH DE number 4197982

From MaRDI portal

Publication:5203004

Jump to:navigation, search

zbMATH Open0726.03039MaRDI QIDQ5203004

Kazuyuki Tanaka

Publication date: 1990

Title of this publication is not available (Why is that?)

zbMATH Keywords

survey bibliography reverse mathematics weak subsystem of second order arithmetic set existence axiom

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Second- and higher-order arithmetic and fragments (03F35)

Related Items (5)

Well-Ordering Principles in Proof Theory and Reverse Mathematics ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Alice’s adventures in inverse tan land – mathematical argument, language and proof

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5203004)

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