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
Distributive lattices with a decidable monadic second order theory. - MaRDI portal

Distributive lattices with a decidable monadic second order theory.

From MaRDI portal

Publication:1771945

Jump to:navigation, search

DOI10.1007/PL00012449zbMath1062.03017MaRDI QIDQ1771945

Dietrich Kuske

Publication date: 19 April 2005

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

monadic second-order logic decidability monadic second-order theory classes of finite distributive lattices

Mathematics Subject Classification ID

Structure and representation theory of distributive lattices (06D05) Decidability of theories and sets of sentences (03B25)

This page was built for publication: Distributive lattices with a decidable monadic second order theory.

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