Topological set theories and hyperuniverses

We give a new set theoretic system of axioms motivated by a topological intuition: The set of subsets of any set is a topology on that set. On the one hand, this system is a common weakening of Zermelo-Fraenkel set theory ZF, the positive set theory GPK and the theory of hyperuniverses. On the other hand, it retains most of the expressiveness of these theories and has the same consistency strength as ZF. We single out the additional axiom of the universal set as the one that increases the consistency strength to that of GPK and explore several other axioms and interrelations between those theories. Hyperuniverses are a natural class of models for theories with a universal set. The Aleph_0- and Aleph_1-dimensional Cantor cubes are examples of hyperuniverses with additivity Aleph_0, because they are homeomorphic to their hyperspace. We prove that in the realm of spaces with uncountable additivity, none of the generalized Cantor cubes has that property. Finally, we give two complementary constructions of hyperuniverses which generalize many of the constructions found in the literature and produce initial and terminal hyperuniverses

The refined transfer, bundle structures and algebraic K-theory

We give new homotopy theoretic criteria for deciding when a fibration with homotopy finite fibers admits a reduction to a fiber bundle with compact topological manifold fibers. The criteria lead to a new and unexpected result about homeomorphism groups of manifolds. A tool used in the proof is a surjective splitting of the assembly map for Waldhausen's functor A(X). We also give concrete examples of fibrations having a reduction to a fiber bundle with compact topological manifold fibers but which fail to admit a compact fiber smoothing. The examples are detected by algebraic K-theory invariants. We consider a refinement of the Becker-Gottlieb transfer. We show that a version of the axioms described by Becker and Schultz uniquely determines the refined transfer for the class of fibrations admitting a reduction to a fiber bundle with compact topological manifold fibers. In an appendix, we sketch a theory of characteristic classes for fibrations. The classes are primary obstructions to finding a compact fiber smoothing.Comment: This version contains mostly minor revision