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

scientific article; zbMATH DE number 1169383

From MaRDI portal

Publication:4397035

Jump to:navigation, search

zbMath0896.03005MaRDI QIDQ4397035

Horst Luckhardt

Publication date: 25 June 1998

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

zbMATH Keywords

proof theory bounds extracted from ineffective proofs

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Second- and higher-order arithmetic and fragments (03F35) Model theory (number-theoretic aspects) (11U09) Model theory of fields (12L12)

Related Items (3)

The mathematical significance of proof theory ⋮ Some logical metatheorems with applications in functional analysis ⋮ Classical truth in higher types

This page was built for publication:

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