Continuity and geometric logic

DOI10.1016/J.JAL.2013.07.004MaRDI QIDQ280833zbMATHOpenAlexFDO

Authors 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

bundletoposgeometric logiclocale

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 2125651 (Why is no real title available?)
• scientific article; zbMATH DE number 5695342 (Why is no real title available?)
• scientific article; zbMATH DE number 3929909 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 3608260 (Why is no real title available?)
• scientific article; zbMATH DE number 3995941 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 860043 (Why is no real title available?)
• A localic theory of lower and upper integrals
• A topos for algebraic quantum theory
• An extension of the Galois theory of Grothendieck
• An induction principle for consequence in arithmetic universes
• Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9--21, 1977
• Constructive points of powerlocales
• Cosheaves and connectedness in formal topology
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Fuzzy sets and geometric logic
• Integrals and valuations
• Partial Horn logic and Cartesian categories
• 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
• Sheaves in geometry and logic: a first introduction to topos theory
• Singular coverings of toposes
• Strongly algebraic = SFP (topically)
• Sublocales in formal topology
• The connected Vietoris powerlocale
• The principle of general tovariance
• Theory and applications of ontology: Computer applications
• Topical categories of domains
• ``What is a thing?: topos theory in the foundations of physics

Cited in

(4)

• scientific article; zbMATH DE number 1537947 (Why is no real title available?)
• A topos for continuous logic
• Maximal ideals in countable rings, constructively
• scientific article; zbMATH DE number 7577579 (Why is no real title available?)

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)