Pages that link to "Item:Q1706265"
From MaRDI portal
The following pages link to Tarski's theorem on intuitionistic logic, for polyhedra (Q1706265):
Displaying 8 items.
- The spectrum problem for abelian \(\ell\)-groups and MV-algebras (Q776994) (← links)
- An open mapping theorem for finitely copresented Esakia spaces (Q1744600) (← links)
- Geometric Model Checking of Continuous Space (Q5060193) (← links)
- Monic skeleta, boundaries, Aufhebung, and the meaning of `one-dimensionality' (Q5233741) (← links)
- POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION (Q6123585) (← links)
- A Spatial Logic for Simplicial Models (Q6135777) (← links)
- The successive dimension, without elegance (Q6154352) (← links)
- The étendue of a combinatorial space and its dimension (Q6651546) (← links)