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 1086487 - MaRDI portal

scientific article; zbMATH DE number 1086487

From MaRDI portal

Publication:4362725

Jump to:navigation, search

zbMath0884.03035MaRDI QIDQ4362725

Natasha Alechina, Yuri Gurevich

Publication date: 1 April 1998

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

zbMATH Keywords

preservation minimal models finite structures existential formulas

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Interpolation, preservation, definability (03C40)

Related Items (6)

Axiomatisability and hardness for universal Horn classes of hypergraphs ⋮ Positive First-order Logic on Words and Graphs ⋮ Action of endomorphism semigroups on definable sets ⋮ Unnamed Item ⋮ The many faces of interpolation ⋮ Unnamed Item

This page was built for publication:

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