Finiteness in a Minimalist Foundation
From MaRDI portal
Publication:3499749
DOI10.1007/978-3-540-68103-8_4zbMath1139.03046MaRDI QIDQ3499749
Francesco Ciraulo, Giovanni Sambin
Publication date: 3 June 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-68103-8_4
03F65: Other constructive mathematics
Related Items
Convergence in formal topology: a unifying notion, A constructive investigation of satisfiability, Finitary formal topologies and Stone's representation theorem, A minimalist two-level foundation for constructive mathematics
Cites Work
- Finitary formal topologies and Stone's representation theorem
- Constructivism in mathematics. An introduction. Volume II
- Compactness in locales and in formal topology
- An intuitionistic proof of Tychonoff's theorem
- Tychonoff's theorem in the framework of formal topologies
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item