AbstractNotions from classical general topology are developed in parallel in a constructive context and in interpretations in sheat models. These include the T0, T1, T2 separation principles, (complete) regularity, normality, compactness and connectedness. Intuitionistic continuity principles are also considered
The purpose of this thesis is to show the use of topology in mathematical logic. It is well known,...
In the setting of constructive pointfree topology, we introduce a notion of continuous operation bet...
Introduction to Set Theory and Topology describes the fundamental concepts of set theory and topolog...
AbstractNotions from classical general topology are developed in parallel in a constructive context ...
AbstractTopological properties of spaces of sections of bundles are investigated in detail, and conn...
AbstractTopological properties of spaces of sections of bundles are investigated in detail, and conn...
AbstractWorking in constructive set theory we formulate notions of constructive topological space an...
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...
We show how one may establish proof-theoretic results for constructive Zermelo–Fraenkel set theory, ...
We show how one may establish proof-theoretic results for constructive Zermelo–Fraenkel set theory, ...
AbstractWe show how one may establish proof-theoretic results for constructive Zermelo–Fraenkel set ...
We discuss the foundations of constructive mathematics, including recursive mathematics and intuitio...
This is an introductory textbook on general and algebraic topology, aimed at anyone with a basic kno...
The goal of this course is to introduce you to the fundamental examples, problems, and machinery of ...
The purpose of this thesis is to show the use of topology in mathematical logic. It is well known,...
In the setting of constructive pointfree topology, we introduce a notion of continuous operation bet...
Introduction to Set Theory and Topology describes the fundamental concepts of set theory and topolog...
AbstractNotions from classical general topology are developed in parallel in a constructive context ...
AbstractTopological properties of spaces of sections of bundles are investigated in detail, and conn...
AbstractTopological properties of spaces of sections of bundles are investigated in detail, and conn...
AbstractWorking in constructive set theory we formulate notions of constructive topological space an...
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...
We show how one may establish proof-theoretic results for constructive Zermelo–Fraenkel set theory, ...
We show how one may establish proof-theoretic results for constructive Zermelo–Fraenkel set theory, ...
AbstractWe show how one may establish proof-theoretic results for constructive Zermelo–Fraenkel set ...
We discuss the foundations of constructive mathematics, including recursive mathematics and intuitio...
This is an introductory textbook on general and algebraic topology, aimed at anyone with a basic kno...
The goal of this course is to introduce you to the fundamental examples, problems, and machinery of ...
The purpose of this thesis is to show the use of topology in mathematical logic. It is well known,...
In the setting of constructive pointfree topology, we introduce a notion of continuous operation bet...
Introduction to Set Theory and Topology describes the fundamental concepts of set theory and topolog...
DOI
Add to ORKG