On the formal points of the formal topology of the binary tree (original) (raw)
Related papers
The problem of the formalization of constructive topology
Archive for Mathematical Logic, 2005
General Recursion and Formal Topology
Electronic Proceedings in Theoretical Computer Science, 2010
11 / 6 / 011-Points and Co-points in Formal Topology
2001
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice
Log. Methods Comput. Sci., 2021
Inductively generated formal topologies
giovanni sambin, Silvio Valentini
Annals of Pure and Applied Logic, 2003
A Completeness theorem for Formal Topologies
1996
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita
giovanni sambin, Silvio Valentini
Lecture Notes in Computer Science, 2011
Some points in formal topology
Theoretical Computer Science, 2003
Constructive notions of set. Part I. Sets in MartinLöf type theory
Annali del Dipartimento di Filosofia, 2005
A Set Constructor for Inductive Sets in
Citeseer
Constructive characterizations of bar subsets
Annals of Pure and Applied Logic, 2007
A set constructor for inductive sets in Martin-Löf's type theory
Springer eBooks, 2005
An Elementary Theory of Various Categories of Spaces in Topology
2005
Tychonoff's Theorem in the Framework of Formal Topologies
Journal of Symbolic Logic, 1997
2020
$\sigma$-locales and Booleanization in Formal Topology
2018
Kruskal's tree theorem in a constructive theory of inductive definitions
2001
Functional Interpretations of Constructive Set Theory in All Finite Types
Dialectica, 2008
On Some Pro blems in Computable Topology
2007
Toposym 4-A István Juhász Two set-theoretic problems in topology
2012
Descriptive Set Theory and Computable Topology
2022
Recursive models for constructive set theories
Annals of Mathematical Logic, 1982
Recursion and topology on 2⩽ω for possibly infinite computations
Theoretical Computer Science, 2004
Key words and phrases. Constructive set-theory, Formal topology, Scott Domains
2015
Metrizability, monotone normality, and other strong properties in trees
Topology and its Applications, 1999
A Finite Axiomatization of Inductive-Recursive Denitions
1998
Why topology in the minimalist foundation must be pointfree
Logic and Logical Philosophy, 2013
Annals of Mathematical Logic, 1977
Foundations of constructive mathematics
1985
Finitary formal topologies and Stone’s representation theorem
Theoretical Computer Science, 2008
Continuous Truth I Non-constructive Objects
Studies in Logic and the Foundations of Mathematics, 1984
A Finite Axiomatisation of Inductive-Inductive Definitions
Logic, Construction, Computation, 2012