Two Effective Properties of ω-Rational Functions
DOI10.1142/S0129054121500283zbMATH Open1520.03009OpenAlexW3197391454MaRDI QIDQ6169907FDOQ6169907
Authors: Olivier Finkel 
Publication date: 15 August 2023
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0129054121500283
Recommendations
- The automatic Baire property and an effective property of \(\omega\)-rational functions
- On the continuity set of an Omega rational function
- Automata, Borel functions and real numbers in Pisot base
- Three applications to rational relations of the high undecidability of the infinite Post correspondence problem in a regular \(\omega\)-language
- How to decide continuity of rational functions on infinite words
topologydecidabilitydecision problemspoints of continuityfirst Baire class\(\omega\)-rational functionsautomatic Baire propertyinfinitary rational relationsregular languages of infinite wordsWadge-Wagner class
Automata and formal grammars in connection with logical questions (03D05) Descriptive set theory (03E15)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Wadge reducibility and infinite computations
- Highly Undecidable Problems For Infinite Computations
- Title not available (Why is that?)
- Synchronized rational relations of finite and infinite words
- First-order and counting theories ofω-automatic structures
- Fine hierarchy of regular \(\omega\)-languages
- On ω-regular sets
- Fine hierarchies and m-reducibilities in theoretical computer science
- Finite presentations of infinite structures: Automata and interpretations
- Relations rationnelles infinitaires
- Squaring transducers: An efficient procedure for deciding functionality and sequentiality.
- Defining fairness in reactive and concurrent systems
- The automatic Baire property and an effective property of \(\omega\)-rational functions
- Two decidability problems for infinite words
- How to decide continuity of rational functions on infinite words
- Note on: ``How to decide continuity of rational functions on infinite words
- A note on monitors and Büchi automata
- Three applications to rational relations of the high undecidability of the infinite Post correspondence problem in a regular \(\omega\)-language
- Monadic Second Order Logic with Measure and Category Quantifiers
- Title not available (Why is that?)
- On the continuity set of an Omega rational function
- Title not available (Why is that?)
- Automata, Borel functions and real numbers in Pisot base
Cited In (4)
This page was built for publication: Two Effective Properties of ω-Rational Functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6169907)
