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

Jump to:navigation, search

zbMath0515.03014MaRDI QIDQ3661551

A. L. Semenova

Publication date: 1982

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

zbMATH Keywords

monadic language unary functions fragment of arithmetic existential quantifications first order structure monadically definable unary relations

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Connections of number theory and logic (11U99)

Related Items (1)

Decidability of Sub-theories of Polynomials over a Finite Field

This page was built for publication:

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