Continuity and geometric logic

DOI10.1016/J.JAL.2013.07.004zbMATH Open1335.03074OpenAlexW2059800803MaRDI QIDQ280833FDOQ280833

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

Recommendations

• scientific article; zbMATH DE number 1537947
• A topos for continuous logic
• What is continuity, constructively?
• Topical categories of domains
• scientific article; zbMATH DE number 1555466

zbMATH Keywords

bundletoposgeometric logiclocale

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• Sheaves in geometry and logic: a first introduction to topos theory
• An extension of the Galois theory of Grothendieck
• Title not available (Why is that?)
• Title not available (Why is that?)
• The connected Vietoris powerlocale
• A topos for algebraic quantum 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
• “What is a Thing?”: Topos Theory in the Foundations of Physics
• Title not available (Why is that?)
• The principle of general tovariance
• Title not available (Why is that?)
• Theory and Applications of Ontology: Computer Applications
• Integrals and valuations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Constructive points of powerlocales
• Strongly algebraic = SFP (topically)
• An induction principle for consequence in arithmetic universes
• Topical categories of domains
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sublocales in formal topology
• A localic theory of lower and upper integrals
• Cosheaves and connectedness in formal topology
• Partial Horn logic and Cartesian categories
• Fuzzy sets and geometric logic

Cited In (3)

• Maximal ideals in countable rings, constructively
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Continuity and geometric logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q280833)