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
On the cardinality of nonfinitely based functionally complete algebras - MaRDI portal

Deprecated: Use of MediaWiki\Skin\SkinTemplate::injectLegacyMenusIntoPersonalTools was deprecated in Please make sure Skin option menus contains `user-menu` (and possibly `notifications`, `user-interface-preferences`, `user-page`) 1.46. [Called from MediaWiki\Skin\SkinTemplate::getPortletsTemplateData in /var/www/html/w/includes/Skin/SkinTemplate.php at line 691] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Deprecated: Use of MediaWiki\Skin\BaseTemplate::getPersonalTools was deprecated in 1.46 Call $this->getSkin()->getPersonalToolsForMakeListItem instead (T422975). [Called from Skins\Chameleon\Components\NavbarHorizontal\PersonalTools::getHtml in /var/www/html/w/skins/chameleon/src/Components/NavbarHorizontal/PersonalTools.php at line 66] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Deprecated: Use of QuickTemplate::(get/html/text/haveData) with parameter `personal_urls` was deprecated in MediaWiki Use content_navigation instead. [Called from MediaWiki\Skin\QuickTemplate::get in /var/www/html/w/includes/Skin/QuickTemplate.php at line 131] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

On the cardinality of nonfinitely based functionally complete algebras (Q1866824)

From MaRDI portal





scientific article; zbMATH DE number 1899945
Language Label Description Also known as
English
On the cardinality of nonfinitely based functionally complete algebras
scientific article; zbMATH DE number 1899945

    Statements

    On the cardinality of nonfinitely based functionally complete algebras (English)
    0 references
    0 references
    0 references
    23 April 2003
    0 references
    R. Willard has shown the existence of a 3-element functionally complete algebra which is nonfinitely based. By E. Post, there are only finitely many pairwise term-inequivalent functionally complete two-element algebras. It was shown by by authors and Toršić that the number of at least three-element functionally complete algebras is continuum. The authors have partly used the method of Willard to prove that for each integer \(k\geq 4\) there exist infinitely many pairwise term-inequivalent \(k\)-element algebras of finite type which are functionally complete and inherently nonfinitely based.
    0 references
    0 references
    functionally complete algebra
    0 references
    term-inequivalent
    0 references
    nonfinitely based
    0 references

    Identifiers