Christian, Curt Axiom of choice-based changing of quantifiers. (Auswahlaxiomatische Quantorenvertauschung.) (German) Zbl 1171.03330 Philos. Nat. 19, No. 1-2, 23-39 (1982). Cited in 5 Documents MSC: 03E25 Axiom of choice and related propositions × Cite Format Result Cite Review PDF