Publication:3693520
From MaRDI portal
zbMath0575.03029MaRDI QIDQ3693520
Hideki Yamasaki, Masako Takahashi, Kojiro Kobayashi
Publication date: 1985
automata theoryexpressive powerBorel hierarchysuccessor functionomega languageprenex normal formfirst-order formulassecond-order formulasprenex typesrestricted second-order arithmetic
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Classical first-order logic (03B10)