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

scientific article; zbMATH DE number 1064598

From MaRDI portal

Publication:4355929

Jump to:navigation, search

zbMath0887.03028MaRDI QIDQ4355929

Ross Willard

Publication date: 17 May 1998

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

zbMATH Keywords

survey decidability residual smallness finite axiomatizability finitely generated varieties residual largeness Tarski finite basis problem

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)

Related Items (2)

Operator properties of congruence permutable varieties with strongly definable principal congruences. ⋮ $HSP\not = SHPS$ for commutative rings with identity

This page was built for publication:

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