Aspects of general topology in constructive set theory
From MaRDI portal
Publication:2575763
Recommendations
Cites work
- scientific article; zbMATH DE number 3839951 (Why is no real title available?)
- scientific article; zbMATH DE number 4152376 (Why is no real title available?)
- scientific article; zbMATH DE number 3910392 (Why is no real title available?)
- scientific article; zbMATH DE number 4012604 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- scientific article; zbMATH DE number 1420795 (Why is no real title available?)
- scientific article; zbMATH DE number 2247258 (Why is no real title available?)
- Constructive set theory
- Inductively generated formal topologies.
- Maximal and partial points in formal spaces
- On the collection of points of a formal space
- Sheaves in geometry and logic: a first introduction to topos theory
- Some points in formal topology.
Cited in
(48)- Chu duality theory and coalgebraic representation of quantum symmetries
- A Construction in Set‐Theoretic Topology by Means of Elementary Substructures
- The Jacobson radical for an inconsistency predicate
- An invitation to topological structures on first order genuine sets
- The associated sheaf functor theorem in algebraic set theory
- Non-deterministic inductive definitions
- A comparison of two topos-theoretic approaches to quantum theory
- On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology
- Completeness and cocompleteness of the categories of basic pairs and concrete spaces
- Formally continuous functions on Baire space
- A predicative completion of a uniform space
- Maximal elements with minimal logic
- A constructive and functorial embedding of locally compact metric spaces into locales
- Exact approximations to Stone-Čech compactification
- Extension theory: The interface between set-theoretic and algebraic topology
- A topos for algebraic quantum theory
- Formal Baire space in constructive set theory
- Generalized geometric theories and set-generated classes
- scientific article; zbMATH DE number 5181376 (Why is no real title available?)
- On the collection of points of a formal space
- ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS
- On some peculiar aspects of the constructive theory of point-free spaces
- Embedding locales and formal topologies into positive topologies
- Some further results on pointfree convex geometry
- scientific article; zbMATH DE number 703128 (Why is no real title available?)
- Syntax for semantics: Krull's maximal ideal theorem
- Radical theory of Scott-open filters
- Two subcategories of apartness spaces
- A general Glivenko-Gödel theorem for nuclei
- scientific article; zbMATH DE number 6320514 (Why is no real title available?)
- Generalizing topological set operators
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10
- Equivalents of the finitary non-deterministic inductive definitions
- Towards formal Baer criteria
- A point-free characterisation of Bishop locally compact metric spaces
- Derived rules for predicative set theory: an application of sheaves
- Fundamental results for pointfree convex geometry
- Quotient topologies in constructive set theory and type theory
- Topological inductive definitions
- On Tarski’s fixed point theorem
- On the existence of Stone-Čech compactification
- scientific article; zbMATH DE number 4061916 (Why is no real title available?)
- The axiom of multiple choice and models for constructive set theory
- Locatedness and overt sublocales
- scientific article; zbMATH DE number 7352263 (Why is no real title available?)
- Quasi-apartness and neighbourhood spaces
- Maximal and partial points in formal spaces
- The Zariski spectrum as a formal geometry
This page was built for publication: Aspects of general topology in constructive set theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2575763)