The following pages link to (Q3871177):
Displaying 7 items.
- Sheaf models and massless fields (Q791215) (← links)
- Diagonalization of continuous matrices as a representation of intuitionistic reals (Q1086560) (← links)
- Some connections between Heyting valued set theory and algebraic geometry. Prolegomena to intuitionistic algebraic geometry (Q1113898) (← links)
- Heyting valued considerations on some fundamental existence theorems in modern analysis (Q1115432) (← links)
- A survey of fuzzy set and topos theory (Q1175730) (← links)
- Heyting valued set theory and Sato hyperfunctions (Q1820158) (← links)
- Global intuitionistic analysis (Q1820781) (← links)