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
Undecidability of satisfiability of expansions of FO [ < ] over words with a FO [ + ]-definable set - MaRDI portal

Undecidability of satisfiability of expansions of FO [ < ] over words with a FO [ + ]-definable set

From MaRDI portal

Publication:4601030

Jump to:navigation, search

DOI10.3233/COM-170069zbMath1420.03103MaRDI QIDQ4601030

Arthur Milchior

Publication date: 18 January 2018

Published in: Computability (Search for Journal in Brave)

zbMATH Keywords

undecidability first-order logic arithmetic finite model theory

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Automata and formal grammars in connection with logical questions (03D05) Classical first-order logic (03B10)

Related Items (1)

Spectra and satisfiability for logics with successor and a unary function

This page was built for publication: Undecidability of satisfiability of expansions of FO [ < ] over words with a FO [ + ]-definable set

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