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

Jump to:navigation, search

zbMath0714.03031MaRDI QIDQ3997427

Martin Otto

Publication date: 17 September 1992

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

zbMATH Keywords

automorphism groups indiscernibles Skolemization stationary logic cofinality quantifiers Lindström quantifiers Hanf numbers non-isomorphic models Ehrenfeucht-Mostowski construction almost all quantifiers coherent sequences of types extended languages Malitz-Magidor quantifiers

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Other model constructions (03C30)

Related Items (1)

On the homogeneity property for certain quantifier logics

This page was built for publication:

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