Topological inductive definitions

DOI10.1016/J.APAL.2011.12.005zbMath1270.03132OpenAlexW1990132849MaRDI 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 theorypoint-free topologyinductive definitions

Mathematics Subject Classification ID

Frames, locales (06D22) Product spaces in general topology (54B10) Other constructive mathematics (03F65)

Related Items (4)

ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS ⋮ On Tarski’s fixed point theorem ⋮ Generalized geometric theories and set-generated classes ⋮ Constructive strong regularity and the extension property of a compactification

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

This page was built for publication: Topological inductive definitions