Formal topologies on the set of first-order formulae
From MaRDI portal
Publication:4527918
DOI10.2307/2586694zbMath0965.03072OpenAlexW2061136919MaRDI QIDQ4527918
Thierry Coquand, Jan Smith, Giovanni Sambin, Sara Sadocco
Publication date: 22 July 2001
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586694
modelscovering relationformal spacelaw of excluded middleformal topologyMarkov's principleHenkin's completeness theoremordered set of formulae of a first-order theory
Topological spaces and generalizations (closure spaces, etc.) (54A05) Frames, locales (06D22) Other constructive mathematics (03F65)
Related Items (10)
A universal Krull-Lindenbaum theorem ⋮ Spatiality and classical logic ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ A constructive investigation of satisfiability ⋮ Some points in formal topology. ⋮ A constructive Galois connection between closure and interior ⋮ On some peculiar aspects of the constructive theory of point-free spaces ⋮ Every countably presented formal topology is spatial, classically ⋮ Cut elimination for entailment relations ⋮ Formal Zariski topology: Positivity and points
Cites Work
This page was built for publication: Formal topologies on the set of first-order formulae
