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:3745885

Jump to:navigation, search

zbMath0607.06008MaRDI QIDQ3745885

Vladimir Vladimirovich Rybakov

Publication date: 1986

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

zbMATH Keywords

universal theory free generators substitution problem algorithmically decidable finite systems of equations free pseudoboolean algebra free topoboolean algebra

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Other algebras related to logic (03G25) Boolean functions (06E30) Free algebras (08B20) Free lattices, projective lattices, word problems (06B25)

Related Items

Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus, DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV

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