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
Elimination of Malitz quantifiers in stable theories - MaRDI portal

Elimination of Malitz quantifiers in stable theories

From MaRDI portal

Publication:594858

Jump to:navigation, search

DOI10.2140/PJM.1985.117.387zbMath0526.03011OpenAlexW1979167007MaRDI QIDQ594858

Andreas Rapp

Publication date: 1985

Published in: Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2140/pjm.1985.117.387

zbMATH Keywords

stability theory generalized quantifiers countable complete first-order theory Malitz quantifier

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Classification theory, stability, and related concepts in model theory (03C45) Quantifier elimination, model completeness, and related topics (03C10)

This page was built for publication: Elimination of Malitz quantifiers in stable theories

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