The following pages link to (Q4281259):
Displaying 8 items.
- A classical view of the intuitionistic continuum (Q1923572) (← links)
- Realizing Brouwer's sequences (Q1923574) (← links)
- Formally computing with the non-computable (Q2117773) (← links)
- Sequential theories and infinite distributivity in the lattice of chapters (Q3829549) (← links)
- Kolmogorov Complexity in Perspective Part I: Information Theory and Randomness (Q5250214) (← links)
- Computer Science Logic (Q5394595) (← links)
- Analyzing realizability by Troelstra's methods (Q5957857) (← links)
- \(\text{TT}^\Box_{\mathcal{C}}\): a family of extensional type theories with effectful realizers of continuity (Q6597949) (← links)