Pages that link to "Item:Q4527918"
From MaRDI portal
The following pages link to Formal topologies on the set of first-order formulae (Q4527918):
Displaying 10 items.
- A universal Krull-Lindenbaum theorem (Q273003) (← links)
- A constructive investigation of satisfiability (Q651313) (← links)
- Some points in formal topology. (Q1427787) (← links)
- Cut elimination for entailment relations (Q2312091) (← links)
- Formal Zariski topology: Positivity and points (Q2575775) (← links)
- Spatiality and classical logic (Q3170564) (← links)
- On some peculiar aspects of the constructive theory of point-free spaces (Q3583800) (← links)
- A constructive Galois connection between closure and interior (Q4899177) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- Every countably presented formal topology is spatial, classically (Q5480621) (← links)
