scientific article; zbMATH DE number 1302065
From MaRDI portal
Publication:4247310
Recommendations
Cited in
(28)- A minimalist two-level foundation for constructive mathematics
- The problem of the formalization of constructive topology
- Objects: a study in Kantian formal epistemology
- scientific article; zbMATH DE number 3910392 (Why is no real title available?)
- Quotient completion for the foundation of constructive mathematics
- Realist consequence, epistemic inference, computational correctness
- On choice rules in dependent type theory
- A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE
- A cartesian closed category in Martin-Löf's intuitionistic type theory
- Some points in formal topology.
- A Comparison of Type Theory with Set Theory
- scientific article; zbMATH DE number 517090 (Why is no real title available?)
- The Zariski spectrum as a formal geometry
- Real and ideal in constructive mathematics
- Finiteness in a Minimalist Foundation
- Constructive domain theory as a branch of intuitionistic pointfree topology
- Inductively generated formal topologies.
- scientific article; zbMATH DE number 3999882 (Why is no real title available?)
- Are subsets necessary in Martin-Löf type theory?
- Programming interfaces and basic topology
- Formal Zariski topology: Positivity and points
- Pretopologies and a uniform presentation of sup-lattices, quantales and frames
- In the Search of a Naive Type Theory
- Finitary formal topologies and Stone's representation theorem
- Equiconsistency of the minimalist foundation with its classical version
- scientific article; zbMATH DE number 2003151 (Why is no real title available?)
- Constructive metrisability in point-free topology.
- A minimalist foundation at work
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4247310)
