Showing 2026 · math.LOShow all
2 papers · 2 filters
math.LO2026
On the completeness of the countable fragment of geometric logic
Matthew de Brecht
We give self contained proofs of the completeness of countable -coherent theories, for both propositional and predicate logic. By -coherent logic we mean the fragment of geom…
math.LO2026
A note on computable étale spaces
Matthew de Brecht
An étale space over a topological space is defined as a local homeomorphism from a topological space into . They often come up in topos theory because of the equivalence…