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
Decision Problems for Recognizable Languages of Infinite Pictures - MaRDI portal

Decision Problems for Recognizable Languages of Infinite Pictures

From MaRDI portal

Publication:3172126

Jump to:navigation, search

zbMath1244.03052arXiv1107.5896MaRDI QIDQ3172126

Olivier Finkel

Publication date: 5 October 2011

Full work available at URL: https://arxiv.org/abs/1107.5896

zbMATH Keywords

decision problem analytical hierarchy models of set theory cardinality problem independence from ZFC highly undecidable problems languages of infinite pictures recognizability by tiling systems unambiguity problem

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Descriptive set theory (03E15) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Consistency and independence results (03E35)

Related Items (1)

Incompleteness Theorems, Large Cardinals, and Automata over Infinite Words

This page was built for publication: Decision Problems for Recognizable Languages of Infinite Pictures

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