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

scientific article

From MaRDI portal

Publication:3001092

Jump to:navigation, search

zbMath1229.03049MaRDI QIDQ3001092

Lev D. Beklemishev

Publication date: 31 May 2011

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

zbMATH Keywords

fixed point provability logic Craig interpolation primitive recursive arithmetic

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (2)

On provability logics with linearly ordered modalities ⋮ Craig interpolation in the presence of unreliable connectives

This page was built for publication:

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