Interpreter for topologists

Jindrich Zapletal


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 Cech-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 extends similar results of Fremlin.

Full Text:

6. [PDF]


Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.

Journal of Logic and Analysis ISSN:  1759-9008