This paper contains: 1. a survey of what has been achieved in formal topology, 2. a short introduction to the Basic Picture, the new discipline which generalizes formal topology (on which a book by the same author is going to be published) 3. some philosophical considerations on the constructive development of topolog
AbstractFormal topology aims at developing general topology in intuitionistic and predicative mathem...
Topology, Volume I deals with topology and covers topics ranging from operations in logic and set th...
This is an introductory textbook on general and algebraic topology, aimed at anyone with a basic kno...
This paper contains: 1. a survey of what has been achieved in formal topology, 2. a short introducti...
AbstractThe theme of this paper is the relation between formal topology and the theory of domains. O...
The theme of this paper is the relation between formal topology and the theory of domains. On one ha...
The theme of this paper is the relation between formal topology and the theory of domains. On one ha...
The theme of this paper is the relation between formal topology and the theory of domains. On one ha...
Formal topology is today an established topic in the development of constructive mathematics and con...
Being an advanced account of certain aspects of general topology, the primary purpose of this volume...
Topological notions and methods have successfully been applied in various areas of computer science....
Formal topology aims at developing general topology in intuitionistic and predicative mathematics. M...
Formal topology aims at developing general topology in intuitionistic and predicative mathematics. M...
Topology is a large subject with several branches, broadly categorized as algebraic topology, point-...
Combining concepts from topology and algorithms, this book delivers what its title promises: an intr...
AbstractFormal topology aims at developing general topology in intuitionistic and predicative mathem...
Topology, Volume I deals with topology and covers topics ranging from operations in logic and set th...
This is an introductory textbook on general and algebraic topology, aimed at anyone with a basic kno...
This paper contains: 1. a survey of what has been achieved in formal topology, 2. a short introducti...
AbstractThe theme of this paper is the relation between formal topology and the theory of domains. O...
The theme of this paper is the relation between formal topology and the theory of domains. On one ha...
The theme of this paper is the relation between formal topology and the theory of domains. On one ha...
The theme of this paper is the relation between formal topology and the theory of domains. On one ha...
Formal topology is today an established topic in the development of constructive mathematics and con...
Being an advanced account of certain aspects of general topology, the primary purpose of this volume...
Topological notions and methods have successfully been applied in various areas of computer science....
Formal topology aims at developing general topology in intuitionistic and predicative mathematics. M...
Formal topology aims at developing general topology in intuitionistic and predicative mathematics. M...
Topology is a large subject with several branches, broadly categorized as algebraic topology, point-...
Combining concepts from topology and algorithms, this book delivers what its title promises: an intr...
AbstractFormal topology aims at developing general topology in intuitionistic and predicative mathem...
Topology, Volume I deals with topology and covers topics ranging from operations in logic and set th...
This is an introductory textbook on general and algebraic topology, aimed at anyone with a basic kno...
DOI
Add to ORKG