Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-2 av 2

2019
1 Normann, Dag; Sanders, Sam.
Computability Theory, Nonstandard Analysis, and Their Connections. Journal of Symbolic Logic (JSL) 2019 ;Volum 84.(4) s. 1422-1465
UiO Untitled
 
2 Normann, Dag; Sanders, Sam.
The strength of compactness in Computability Theory and Nonstandard Analysis. Annals of Pure and Applied Logic 2019 ;Volum 170.(11) s. 1-42
UiO Untitled