Showing math.LOShow all
3 papers · 1 filter
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…
math.LO2020
Some notes on spaces of ideals and computable topology
Matthew de Brecht
We show some basic results on the characterization of quasi-Polish spaces in terms of spaces of ideals, with an emphasis on the connections with computable topology.