Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Normann, Dag
96  Ergebnisse:
Personensuche X
?
1

ON ROBUST THEOREMS DUE TO BOLZANO, WEIERSTRASS, JORDAN, AND..:

NORMANN, DAG ; SANDERS, SAM
The Journal of Symbolic Logic.  , 2022
Link: https://doi.org/10.1017/..
 
?
2

ON THE UNCOUNTABILITY OF:

NORMANN, DAG ; SANDERS, SAM
The Journal of Symbolic Logic.  87 (2022)  4 - p. 1474-1521 , 2022
Link: https://doi.org/10.1017/..
 
?
3

On the computational properties of basic mathematical notio..:

Normann, Dag ; Sanders, Sam
Journal of Logic and Computation.  32 (2022)  8 - p. 1747-1795 , 2022
Link: https://doi.org/10.1093/..
 
?
4

The Axiom of Choice in computability theory and Reverse Mat..:

Normann, Dag ; Sanders, Sam
Journal of Logic and Computation.  31 (2021)  1 - p. 297-325 , 2021
Link: https://doi.org/10.1093/..
 
?
5

Betwixt Turing and Kleene:

, In: Logical Foundations of Computer Science; Lecture Notes in Computer Science,
Normann, Dag ; Sanders, Sam - p. 236-252 , 2021
Link: https://doi.org/10.1007/..
 
?
6

Open sets in computability theory and reverse mathematics:

Normann, Dag ; Sanders, Sam
Journal of Logic and Computation.  30 (2020)  8 - p. 1639-1679 , 2020
Link: https://doi.org/10.1093/..
 
?
7

Pincherle's theorem in reverse mathematics and computabilit..:

Normann, Dag ; Sanders, Sam
Annals of Pure and Applied Logic.  171 (2020)  5 - p. 102788 , 2020
Link: https://doi.org/10.1016/..
 
?
8

COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNE..:

NORMANN, DAG ; SANDERS, SAM
The Journal of Symbolic Logic.  84 (2019)  4 - p. 1422-1465 , 2019
Link: https://www.jstor.org/st..
 
?
9

The strength of compactness in Computability Theory and Non..:

Normann, Dag ; Sanders, Sam
Annals of Pure and Applied Logic.  170 (2019)  11 - p. 102710 , 2019
Link: https://doi.org/10.1016/..
 
?
10

COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNE..:

NORMANN, DAG ; SANDERS, SAM
The Journal of Symbolic Logic.  84 (2019)  4 - p. 1422-1465 , 2019
Link: https://doi.org/10.1017/..
 
?
11

David Marker, Lectures on Infinitary Model Theory: Series: ..:

Normann, Dag
Studia Logica.  106 (2018)  6 - p. 1319-1323 , 2018
Link: https://doi.org/10.1007/..
 
?
12

Definability and reducibility in higher types over the real:

, In: Logic Colloquium '03,
Normann, Dag - p. 200-220 , 2017
Link: https://doi.org/10.1017/..
 
?
13

Computability in Europe 2011:

Buss, Sam ; Löwe, Benedikt ; Normann, Dag.
Annals of Pure and Applied Logic.  164 (2013)  5 - p. 509-510 , 2013
Link: https://doi.org/10.1016/..
 
?
14

Models of computation in context 

7th Conference on Computability in Europe, CiE 2011, Sofia,...  Lecture notes in computer science ; 6735
Löwe, Benedikt ; Normann, Dag ; Soskov, Ivan. , 2011
Link: http://dx.doi.org/10.100..
 
?
15

Applications of the Kleene–Kreisel Density Theorem to Theor..:

, In: New Computational Paradigms,
Normann, Dag - p. 119-138 , 2008
Link: https://doi.org/10.1007/..
 
1-15