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
A General Theorem on Existence Theorems - MaRDI portal

A General Theorem on Existence Theorems

From MaRDI portal

Publication:3927240

Jump to:navigation, search

DOI10.1002/malq.19810272507zbMath0473.03050OpenAlexW1968114534MaRDI QIDQ3927240

Martin Stein

Publication date: 1981

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19810272507

zbMATH Keywords

normalization functional interpretations

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Intuitionistic mathematics (03F55) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Extraction and verification of programs by analysis of formal proofs

This page was built for publication: A General Theorem on Existence Theorems

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