Oxtobyʹs pseudocompleteness revisited

It is well known that the class of Baire spaces is not productive, and the Baire Unification problem calls for finding subclasses that are productive and have “nice” inheritance properties. This paper extends a modified version of the pseudocompleteness property of J.C. Oxtoby using the bitopological spaces of J.C. Kelly, and considers its relation to the Baire property and (non) permanence properties including productivity and inheritance by Gδ subsets of both.