Why topology in the minimalist foundation must be pointfree (original) (raw)
Related papers
TOWARD A MINIMALIST FOUNDATION FOR CONSTRUCTIVE MATHEMATICS
The problem of the formalization of constructive topology
Archive for Mathematical Logic, 2005
Foundations of constructive mathematics
1985
A minimalist two-level foundation for constructive mathematics
Annals of Pure and Applied Logic, 2009
Constructive Domain Theory as a Branch of Intuitionistic Pointfree Topology
Paolo Virgili, giovanni sambin, Silvio Valentini
Theoretical Computer Science, 1996
The Classical Continuum Without Points
The Review of Symbolic Logic, 2013
Some points in formal topology
Theoretical Computer Science, 2003
Reducibility, a constructive dual of spatiality
Journal of Logic and Analysis
the foundations of mathematics
Apartness spaces as a framework for constructive topology
Annals of Pure and Applied Logic, 2003
The Journal of Symbolic Logic, 1976
Extensionality and choice in constructive mathematics
Pacific Journal of Mathematics, 1980
From intuitionistic to point-free topology
The principle of pointfree continuity
Logical Methods in Computer Science, 2019
An Elementary Theory of Various Categories of Spaces in Topology
2005
On the formal points of the formal topology of the binary tree
Archive for Mathematical Logic, 2002
A Topological Approach to Non-Archimedean Mathematics
Springer Proceedings in Mathematics & Statistics, 2016
Philosophical Studies, 2000
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice
Log. Methods Comput. Sci., 2021
A Completeness theorem for Formal Topologies
1996
A note on the axiomatisation of real numbers
MLQ, 2008
Continuous Truth I Non-constructive Objects
Studies in Logic and the Foundations of Mathematics, 1984
Space, points and mereology. On foundations of point-free Euclidean geometry
Logic and Logical Philosophy, 2009
Annals of Mathematical Logic, 1977
Connectedness of the continuum in intuitionistic mathematics
Mathematical Logic Quarterly
Special Issue on point-free geometry and topology. An introduction
Logic and Logical Philosophy, 2013
On Some Pro blems in Computable Topology
2007
MathDL | Georg Cantor at the Dawn of Point-Set Topology
2012
Achieving completeness: from constructive set theory to large cardinals
2016
On modifications of topologies without axioms
1988
A topological approach to axiomatization of geometry
Foundational Constructive Geometry
Reflections on the Foundations of Mathematics
2019