×

Star-free regular sets of \(\omega\)-sequences. (English) Zbl 0411.03031


MSC:

03D05 Automata and formal grammars in connection with logical questions
68Q45 Formal languages and automata
03B25 Decidability of theories and sets of sentences
03B10 Classical first-order logic
03B15 Higher-order logic; type theory (MSC2010)
PDFBibTeX XMLCite
Full Text: DOI