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

Jump to:navigation, search

zbMath0665.03004MaRDI QIDQ3816047

S. F. Soprunov

Publication date: 1988

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

zbMATH Keywords

decidable theories weak monadic theories expansions of structures

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Basic properties of first-order languages and structures (03C07)

Related Items (5)

Lattice of definability (of reducts) for integers with successor ⋮ Nonmaximal decidable structures ⋮ The lattice of definability: origins, recent developments, and further directions ⋮ Weakly maximal decidable structures ⋮ Decidable Expansions of Labelled Linear Orderings

This page was built for publication:

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