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
New proof of the solvability of the elementary theory of linearly ordered sets - MaRDI portal

New proof of the solvability of the elementary theory of linearly ordered sets

From MaRDI portal

Publication:923067

Jump to:navigation, search

DOI10.1007/BF01158085zbMath0712.03005OpenAlexW2075243440MaRDI QIDQ923067

Nikolai K. Vereshchagin

Publication date: 1990

Published in: Mathematical Notes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01158085

zbMATH Keywords

decidability algorithm first-order theory of linearly ordered sets

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Decidability of theories and sets of sentences (03B25) Total orders (06A05)

Cites Work

This page was built for publication: New proof of the solvability of the elementary theory of linearly ordered sets

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