Topological inductive definitions

DOI10.1016/j.apal.2011.12.005zbMath1270.03132MaRDI QIDQ450944

Giovanni Curi

Publication date: 26 September 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2011.12.005

zbMATH Keywords

constructive set theory; point-free topology; inductive definitions

Mathematics Subject Classification ID

06D22: Frames, locales

54B10: Product spaces in general topology

03F65: Other constructive mathematics

Related Items

ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS, Generalized geometric theories and set-generated classes, On Tarski’s fixed point theorem

Cites Work

• On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology
• Exact approximations to Stone-Čech compactification
• On the constructive Dedekind reals
• Sheaves in geometry and logic: a first introduction to topos theory
• Set theoretic foundations for constructive analysis
• Proper maps of locales
• Compact spaces and distributive lattices.
• Inductively generated formal topologies.
• CZF and second order arithmetic
• Aspects of general topology in constructive set theory
• On the collection of points of a formal space
• Heyting-valued interpretations for constructive set theory
• Maximal and partial points in formal spaces
• Equalisers of Frames in Constructive Set Theory
• On the existence of Stone-Čech compactification
• On some peculiar aspects of the constructive theory of point-free spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item