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

Jump to:navigation, search

zbMath0655.03006MaRDI QIDQ3801521

Paweł M. Idziak

Publication date: 1987

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

zbMATH Keywords

Boolean algebras decidable theory free algebras pseudocomplemented distributive lattices

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Pseudocomplemented lattices (06D15)

Related Items (3)

Undecidability of relatively free Hilbert algebras ⋮ The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences ⋮ Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties

This page was built for publication:

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