Continuity and geometric logic
type: Item
instance of: scholarly article
title: Continuity and geometric logic
zbMATH Open document ID: 1335.03074
author: Steven Vickers
published in: Journal of Applied Logic
publication date: 2016-05-10T00:00:00Z
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 18B25
zbMATH DE Number: 6578542
zbMATH Keywords: geometric logic
zbMATH Keywords: topos
zbMATH Keywords: locale
zbMATH Keywords: bundle
MaRDI profile type: Publication
full work available at URL: j.jal.2013.07.004
OpenAlex ID: W2059800803
cites work: Singular coverings of toposes
cites work: Integrals and valuations
cites work: “What is a Thing?”: Topos Theory in the Foundations of Physics
cites work: Q4723931
cites work: Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9--21, 1977
cites work: 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
cites work: Q3535984
cites work: A topos for algebraic quantum theory
cites work: Q4145861
cites work: Q3965241
cites work: Q3702938
cites work: Q4783274
cites work: Q4173541
cites work: An extension of the Galois theory of Grothendieck
cites work: Sheaves in geometry and logic: a first introduction to topos theory
cites work: Q3552042
cites work: An induction principle for consequence in arithmetic universes
cites work: First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
cites work: Partial Horn logic and Cartesian categories
cites work: Q3994458
cites work: Q4870815
cites work: Constructive points of powerlocales
cites work: Topical categories of domains
cites work: Strongly algebraic = SFP (topically)
cites work: Q3156489
cites work: Sublocales in formal topology
cites work: A localic theory of lower and upper integrals
cites work: The connected Vietoris powerlocale
cites work: Fuzzy sets and geometric logic
cites work: Theory and Applications of Ontology: Computer Applications
cites work: Cosheaves and connectedness in formal topology
DOI: 10.1016/J.JAL.2013.07.004
description: scientific article; zbMATH DE number 6578542