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
Tait's conservative extension theorem revisited - MaRDI portal

Tait's conservative extension theorem revisited

From MaRDI portal

Publication:5190193

Jump to:navigation, search

DOI10.2178/JSL/1264433913zbMath1190.03015OpenAlexW2005491007MaRDI QIDQ5190193

Ryota Akiyoshi

Publication date: 15 March 2010

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1264433913

zbMATH Keywords

conservativeness Heyting logic Curry-Howard theory

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Subsystems of classical logic (including intuitionistic logic) (03B20) Relative consistency and interpretations (03F25)

Cites Work

This page was built for publication: Tait's conservative extension theorem revisited

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