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 undecidability of subset theories of some unars - MaRDI portal

On undecidability of subset theories of some unars

From MaRDI portal

Publication:6575359

Jump to:navigation, search

DOI10.1134/s1064562424701874MaRDI QIDQ6575359

B. N. Karlov

Publication date: 19 July 2024

Published in: Doklady Mathematics (Search for Journal in Brave)

zbMATH Keywords

quantifier elimination decidability theory unar subset algebra

Mathematics Subject Classification ID

Theory of computing (68Qxx) General logic (03Bxx) Model theory (03Cxx)

This page was built for publication: On undecidability of subset theories of some unars

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