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 1-decidability of Boolean algebras with one distinguished ideal - MaRDI portal

On the 1-decidability of Boolean algebras with one distinguished ideal

From MaRDI portal

Publication:6631334

Jump to:navigation, search

DOI10.1134/s0037446624050070MaRDI QIDQ6631334

M. N. Gaskova

Publication date: 1 November 2024

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

Boolean algebra computable model decidable model I-algebra \( n \)-decidable model bounded theories of Boolean algebras ideal on Boolean algebras

Mathematics Subject Classification ID

General logic (03Bxx) Computability and recursion theory (03Dxx) Model theory (03Cxx)

This page was built for publication: On the 1-decidability of Boolean algebras with one distinguished ideal

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