Pages that link to "Item:Q3499749"
From MaRDI portal
The following pages link to Finiteness in a Minimalist Foundation (Q3499749):
Displayed 4 items.
- A constructive investigation of satisfiability (Q651313) (← links)
- Finitary formal topologies and Stone's representation theorem (Q949607) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- Convergence in formal topology: a unifying notion (Q4907839) (← links)