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; zbMATH DE number 475235 - MaRDI portal

scientific article; zbMATH DE number 475235

From MaRDI portal

Publication:4273476

Jump to:navigation, search

zbMath0793.03073MaRDI QIDQ4273476

Istvan Németi

Publication date: 13 January 1994

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

zbMATH Keywords

cylindric algebras saturated models elementary equivalence ultraproducts universal models elementary submodels algebraization of logic algebraic model theory infinitary models

Mathematics Subject Classification ID

Model theory (03C99) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (2)

Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Modal languages and bounded fragments of predicate logic

This page was built for publication:

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