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

scientific article; zbMATH DE number 1082909

From MaRDI portal

Publication:4365299

Jump to:navigation, search

zbMath0881.01013MaRDI QIDQ4365299

William Alvin Howard

Publication date: 4 November 1997

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

zbMATH Keywords

proof theory predicativity constructivity inductive definitions subsystems of analysis autonomous progression

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Constructive and recursive analysis (03F60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (2)

Jean van Heijenoort's contributions to proof theory and its history ⋮ Predicativity and Feferman

This page was built for publication:

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