More set-theory for topologists

Interpreter for topologists

Let M be a transitive model of set theory. There is a canonical interpretation functor between the category of regular Hausdorff, continuous open images of Čech-complete spaces of M and the same category in V , preserving many concepts of topology, functional analysis, and dynamics. The functor can be further canonically extended to the category of Borel subspaces. This greatly simplifies and e...

Analytic Novikov for topologists

We explain for topologists the “dictionary” for understanding the analytic proofs of the Novikov conjecture, and how they relate to the surgery-theoretic proofs. In particular, we try to explain the following points: (1) Why do the analytic proofs of the Novikov conjecture require the introduction of C-algebras? (2) Why do the analytic proofs of the Novikov conjecture all use Ktheory instead of...

More on Church-Oswald Models for Set Theory

1 Definitions and Background 3 1.1 Background . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.2 Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.2.1 Low = Small . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.2.2 The Conflation of ∈ and E in the Cumulative Hierarchy . 8 1.3 Gettings things free . . . . . . . . . . . . . . . . . . . . . . . . . ...

When Topologists Are Politicians...

A More General Type Theoretic Interpretation Of Constructive Set Theory