The intrinsic topology of Martin-Löf universes
From MaRDI portal
Publication:290640
DOI10.1016/J.APAL.2016.04.010zbMATH Open1402.03022OpenAlexW2186250550MaRDI QIDQ290640FDOQ290640
Thomas Streicher, Martín Escardo
Publication date: 3 June 2016
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2016.04.010
Recommendations
- The topology of branching universes
- The topology of general cosmological models*
- The universe dynamics from topological considerations
- Topology and incompleteness for 2+1-dimensional cosmological spacetimes
- scientific article; zbMATH DE number 1062527
- The Hantzsche–Wendt manifold in cosmic topology
- scientific article; zbMATH DE number 6103282
- Topology and the universe
- On the topology of vacuum spacetimes
- Asymptotic behavior of a matter filled universe with exotic topology
Metamathematics of constructive systems (03F50) Higher-type and set recursion theory (03D65) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Homotopy Type Theory: Univalent Foundations of Mathematics
- Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics
- Realizability. An introduction to its categorical side
- A convenient category of domains
- On a Topological Topos
- Title not available (Why is that?)
- A uniform approach to domain theory in realizability models
- Title not available (Why is that?)
- Metric spaces in synthetic topology
Cited In (3)
This page was built for publication: The intrinsic topology of Martin-Löf universes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q290640)
