The following pages link to (Q4896531):
Displayed 12 items.
- Competitive equilibrium with intuitionistic agents (Q408315) (← links)
- Finitary formal topologies and Stone's representation theorem (Q949607) (← links)
- The Zariski spectrum as a formal geometry (Q949619) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Spectral schemes as ringed lattices (Q2379681) (← links)
- Formal Zariski topology: Positivity and points (Q2575775) (← links)
- The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
- A constructive proof of the Heine-Borel covering theorem for formal reals (Q4647570) (← links)
- Convergence in formal topology: a unifying notion (Q4907839) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- Ordering groups constructively (Q5238136) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)