Statement:
\(A(F,A1)\): For every \(T_2\) topological space \((X,T)\), if \(X\) is a continuous finite to one image of an A1 space then \((X,T)\) is an A1 space. (\((X,T)\) is A1 means if \(U \subseteq T\) covers \(X\) then \(\exists f : X\rightarrow U\) such that \((\forall x\in X) (x\in f(x)).)\)
Howard_Rubin_Number: 146
Parameter(s): This form does not depend on parameters
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
Article Citations:
Brunner-1983d: The axiom of choice in topology
Book references
Note connections:
Note 26
A summary of the definitions and results from Brunner [1983d]