On the completeness of the countable fragment of geometric logic
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 geometric logic that only allows countable signatures and countably infinite disjunctions. In the propositional case, each theory determines a quasi-Polish space of models, and formulas (up to provable equivalence) are interpreted as continuous functions from the space of models to the Sierpinski space. In the predicate case, each theory determines a quasi-Polish category of models, and formulas (up to provable…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.22125
curl -X POST /api/v1/records/arxiv/2607.22125/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.22125/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'