An example of _3⁰-complete infinitary rational relation

MaRDI QIDQ2642354zbMATH OpenFDO

Authors Olivier Finkel

Publication date 20 August 2007

Published in Computer Science Journal of Moldova (Search for Journal in Brave)

zbMATH Keywords

2-tape Büchi automatonBorel hierarchy

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Descriptive set theory (03E15) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 2040947
• On the concept of 𝑃𝑖₁¹-completeness
• scientific article; zbMATH DE number 167586
• Natural examples of \(\boldsymbol\Pi_{5}^{0}\)-complete sets in analysis
• Rationality of \(\mathcal{R}_2\) and \(\mathcal{R}_3\)
• scientific article; zbMATH DE number 510320
• scientific article; zbMATH DE number 5000253
• \(\Pi_ 1^ 1\) wellfounded relations
• Δ₃^O-determinacy, comprehension and induction
• On the Topological Complexity of Infinitary Rational Relations

Cited in

(3)

• scientific article; zbMATH DE number 2040947 (Why is no real title available?)
• On the Topological Complexity of Infinitary Rational Relations
• Undecidability of Topological and Arithmetical Properties of Infinitary Rational Relations

This page was built for publication: An example of \(\boldsymbol{\Pi}_3^0\)-complete infinitary rational relation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2642354)