Interpreter for topologists

DOI10.4115/JLA.2015.7.6MaRDI QIDQ3467668zbMATH OpenOpenAlexFDO

Authors Jindřich Zapletal

Publication date 4 February 2016

Published in Journal of Logic and Analysis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1711.08962

zbMATH Keywords

forcinginterpretationtopology

Mathematics Subject Classification ID

Descriptive set theory (03E15) Other aspects of forcing and Boolean-valued models (03E40) Categorical methods in general topology (54B30)

Abstract: 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.

Recommendations

• scientific article; zbMATH DE number 811365
• scientific article; zbMATH DE number 3313428
• A Construction in Set‐Theoretic Topology by Means of Elementary Substructures
• Publication:3488849
• scientific article; zbMATH DE number 492717

Cited in

(2)

• Polar forcings and measured extensions
• Preservation theorems for Namba forcing

This page was built for publication: Interpreter for topologists

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3467668)