Continuity and geometric logic

DOI10.1016/j.jal.2013.07.004zbMath1335.03074OpenAlexW2059800803MaRDI QIDQ280833

Steven Vickers

Publication date: 10 May 2016

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

Full work available at URL: https://doi.org/10.1016/j.jal.2013.07.004

zbMATH Keywords

bundlelocaletoposgeometric logic

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25)

Related Items (2)

Unnamed Item ⋮ Maximal ideals in countable rings, constructively

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An induction principle for consequence in arithmetic universes
• Cosheaves and connectedness in formal topology
• Partial Horn logic and Cartesian categories
• Fuzzy sets and geometric logic
• The connected Vietoris powerlocale
• A topos for algebraic quantum theory
• Sheaves in geometry and logic: a first introduction to topos theory
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9--21, 1977
• Singular coverings of toposes
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• “What is a Thing?”: Topos Theory in the Foundations of Physics
• An extension of the Galois theory of Grothendieck
• Theory and Applications of Ontology: Computer Applications
• Integrals and valuations
• Constructive points of powerlocales
• Strongly algebraic = SFP (topically)
• Topical categories of domains
• Sublocales in formal topology
• A localic theory of lower and upper integrals

This page was built for publication: Continuity and geometric logic