Pages that link to "Item:Q1086560"
From MaRDI portal
The following pages link to Diagonalization of continuous matrices as a representation of intuitionistic reals (Q1086560):
Displaying 4 items.
- A model for spacetime: the role of interpretation in some Grothendieck topoi (Q862637) (← links)
- A constructive proof of Gleason's theorem (Q1283029) (← links)
- Gleason's theorem has a constructive proof (Q1582232) (← links)
- Decompositions of finitely generated modules over <i>C</i>(<i>X</i>): sheaf semantics and a decision procedure (Q5749837) (← links)
