Pages that link to "Item:Q3499749"
From MaRDI portal
The following pages link to Finiteness in a Minimalist Foundation (Q3499749):
Displaying 9 items.
- On the concept of finitism (Q510710) (← links)
- 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)
- Explicit finitism (Q1404042) (← links)
- Finiteness and the falsification by fellow traveler property. (Q1863083) (← links)
- Finiteness and choice (Q4531895) (← links)
- Convergence in formal topology: a unifying notion (Q4907839) (← links)
- (Q5028461) (← links)
