P-Räume und Auswahlaxiom (Q793377)

X is a P-space if the intersection of any well-orderable family of open sets is open. The assertion that each P-space is discrete is equivalent to Kreisler's axiom that each set is almost well-orderable. In models of ZF minus the axiom of choice there exist compact connected P-spaces.