The following pages link to Lorenzo Galeotti (Q2011659):
Displaying 10 items.
- Towards computable analysis on the generalised real line (Q2011660) (← links)
- Randomising realizability (Q2117768) (← links)
- Surreal Blum-Shub-Smale machines (Q2179344) (← links)
- Realisability for infinitary intuitionistic set theory (Q2700803) (← links)
- A Candidate for the Generalised Real Line (Q3188265) (← links)
- ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC (Q5085859) (← links)
- (Q5154704) (← links)
- (Q5380014) (← links)
- Realisability for Infinitary Intuitionistic Set Theory (Q6349871) (← links)
- Randomising Realisability (Q6359376) (← links)
