Publication:5009707
From MaRDI portal
DOI10.23638/LMCS-17(2:21)2021MaRDI QIDQ5009707
Maria Emilia Maietti, Samuele Maschio, Michael Rathjen
Publication date: 5 August 2021
Full work available at URL: https://arxiv.org/abs/1905.11966
Related Items
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice, The compatibility of the minimalist foundation with homotopy type theory
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Quotient completion for the foundation of constructive mathematics
- Constructive characterizations of bar subsets
- A minimalist two-level foundation for constructive mathematics
- Constructivism in mathematics. An introduction. Volume I
- The strength of some Martin-Löf type theories
- Inductively generated formal topologies.
- Some points in formal topology.
- Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice
- Unifying exact completions
- Pretopologies and a uniform presentation of sup-lattices, quantales and frames
- Elementary quotient completion
- Modular correspondence between dependent type theories and categories including pretopoi and topoi
- On some peculiar aspects of the constructive theory of point-free spaces
- A constructive proof of the Heine-Borel covering theorem for formal reals
- Convergence in formal topology: a unifying notion
- Why topology in the minimalist foundation must be pointfree
- A structural investigation on formal topology: coreflection of formal covers and exponentiability
- The strength of Martin-Löf type theory with a superuniverse. II