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
On the monadic theory of \(\omega_1\) without A.C - MaRDI portal

On the monadic theory of \(\omega_1\) without A.C

From MaRDI portal

Publication:1234296

Jump to:navigation, search

DOI10.1007/BF02761803zbMath0348.02041OpenAlexW2065044757MaRDI QIDQ1234296

Publication date: 1976

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

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

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Consistency and independence results (03E35)

Cites Work

Testing and generating infinite sequences by a finite automaton

This page was built for publication: On the monadic theory of \(\omega_1\) without A.C

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