DOIAbstract
AbstractTopological properties of spaces of sections of bundles are investigated in detail, and connected with results in constructive topology, in particular for notions of compactness, connectedness and uniformity
AbstractTopological properties of spaces of sections of bundles are investigated in detail, and connected with results in constructive topology, in particular for notions of compactness, connectedness and uniformity
The aim of this thesis is to understand the constructive scope of compactness. We show that it is ...
About the Book: This book provides exposition of the subject both in its general and algebraic aspe...
This ProofPower-HOL document contains definitions and proofs concerning some basics of abstract topo...
AbstractTopological properties of spaces of sections of bundles are investigated in detail, and conn...
AbstractNotions from classical general topology are developed in parallel in a constructive context ...
AbstractWorking in constructive set theory we formulate notions of constructive topological space an...
[EN] In the context of the theory of uniform bundles in the sense of J. Dauns and K. H. Hofmann, the...
[EN] In the context of the theory of uniform bundles in the sense of J. Dauns and K. H. Hofmann, the...
AbstractNotions from classical general topology are developed in parallel in a constructive context ...
Topology, Volume II deals with topology and covers topics ranging from compact spaces and connected ...
In the context of the theory of uniform bundles in the sense of J. Dauns and K. H. Hofmann, the topo...
This is an introductory textbook on general and algebraic topology, aimed at anyone with a basic kno...
We provide a formal introduction into the classic theorems of general topology and its axiomatic fou...
We provide a formal introduction into the classic theorems of general topology and its axiomatic fou...
The work in this thesis contains some contributions to constructive point-free topology and the theo...
The aim of this thesis is to understand the constructive scope of compactness. We show that it is ...
About the Book: This book provides exposition of the subject both in its general and algebraic aspe...
This ProofPower-HOL document contains definitions and proofs concerning some basics of abstract topo...
AbstractTopological properties of spaces of sections of bundles are investigated in detail, and conn...
AbstractNotions from classical general topology are developed in parallel in a constructive context ...
AbstractWorking in constructive set theory we formulate notions of constructive topological space an...
[EN] In the context of the theory of uniform bundles in the sense of J. Dauns and K. H. Hofmann, the...
[EN] In the context of the theory of uniform bundles in the sense of J. Dauns and K. H. Hofmann, the...
AbstractNotions from classical general topology are developed in parallel in a constructive context ...
Topology, Volume II deals with topology and covers topics ranging from compact spaces and connected ...
In the context of the theory of uniform bundles in the sense of J. Dauns and K. H. Hofmann, the topo...
This is an introductory textbook on general and algebraic topology, aimed at anyone with a basic kno...
We provide a formal introduction into the classic theorems of general topology and its axiomatic fou...
We provide a formal introduction into the classic theorems of general topology and its axiomatic fou...
The work in this thesis contains some contributions to constructive point-free topology and the theo...
The aim of this thesis is to understand the constructive scope of compactness. We show that it is ...
About the Book: This book provides exposition of the subject both in its general and algebraic aspe...
This ProofPower-HOL document contains definitions and proofs concerning some basics of abstract topo...
Add to ORKG