https://123dok.net/document/q058493y-the-automatic-baire-property-and-some-effective-properties-of-omega-rational-functions.html