NORMANN, DAG: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

[Lecture Notes in Mathematics] Recursion on the Countable Functionals Volume 811 || Sections

Year:

1980

Language:

english

File:

PDF, 1.23 MB

english, 1980

52

[Lecture Notes in Mathematics] Recursion on the Countable Functionals Volume 811 || The maximal type structure

Year:

1980

Language:

english

File:

PDF, 3.13 MB

english, 1980

53

[Lecture Notes in Mathematics] Recursion on the Countable Functionals Volume 811 || Some further results and topics

Year:

1980

Language:

english

File:

PDF, 715 KB

english, 1980

54

S. Barry Cooper (1943–2015)

Elwes, Richard, Lewis-Pye, Andy, Löwe, Benedikt, Macpherson, Dugald, Normann, Dag, Sorbi, Andrea, Soskova, Alexandra A., Soskova, Mariya I., van Emde Boas, Peter, Wainer, Stan, Löwe, Benedikt

Journal:

Year:

2018

Language:

english

File:

PDF, 1.36 MB

english, 2018

55

[Lecture Notes in Mathematics] Recursion on the Countable Functionals Volume 811 || Ct(n) as a topological space

Year:

1980

Language:

english

File:

PDF, 1.43 MB

english, 1980

56

[Lecture Notes in Mathematics] Recursion on the Countable Functionals Volume 811 || The computable structure on Ct(k)

Year:

1980

Language:

english

File:

PDF, 1.20 MB

english, 1980

57

Logic Colloquium 2005 || Towards a logic of type-free modality and truth

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

Language:

english

File:

PDF, 369 KB

english, 2007

58

Logic Colloquium 2005 || Recursion on the partial continuous functionals

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

Language:

english

File:

PDF, 471 KB

english, 2007

59

Logic Colloquium 2005 || Proofnets for S5: Sequents and circuits for modal logic

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

File:

PDF, 405 KB

2007

60

Logic Colloquium 2005 || Simple groups of finite Morley rank

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

File:

PDF, 338 KB

2007

61

Logic Colloquium 2005 || LECTURE NOTES IN LOGIC

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

File:

PDF, 256 KB

2007

62

Logic Colloquium 2005 || Monotone inductive definitions and consistency of New Foundations

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

File:

PDF, 399 KB

2007

63

Logic Colloquium 2005 || Structural analysis of Aronszajn trees

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

File:

PDF, 423 KB

2007

64

Logic Colloquium 2005 || Covering definable manifolds by open definable subsets

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

File:

PDF, 328 KB

2007

65

Logic Colloquium 2005 || Introduction

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

File:

PDF, 242 KB

2007

66

Logic Colloquium 2005 || Independence for types in algebraically closed valued fields

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

File:

PDF, 343 KB

2007

67

Logic Colloquium 2005 || Speakers and Titles

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

File:

PDF, 249 KB

2007

68

Logic Colloquium 2005 || On some problems in computable topology

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

File:

PDF, 507 KB

2007

69

Logic Colloquium 2005 || A transactional approach to the logic of truth

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

File:

PDF, 383 KB

2007

70

Logic Colloquium 2005 || Proof analysis in non-classical logics

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

File:

PDF, 396 KB

2007

71

Logic Colloquium 2005 || Isomorphisms and definable relations on computable models

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

File:

PDF, 423 KB

2007

72

Logic Colloquium 2005 || Recursion on the partial continuous functionals

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

File:

PDF, 471 KB

2007

73

Pincherle's theorem in reverse mathematics and computability theory

Normann, Dag, Sanders, Sam

Journal:

Annals of Pure and Applied Logic

Year:

2020

File:

PDF, 2.03 MB

2020

74

Open sets in computability theory and reverse mathematics

Normann, Dag, Sanders, Sam

Journal:

Journal of Logic and Computation

Year:

2020

File:

PDF, 526 KB

2020

75

Measure-theoretic uniformity and the Suslin functional

Journal:

Year:

2020

File:

PDF, 243 KB

2020

76

On the CantorâBendixson rank of a set that is searchable in GÃ¶delâs T

Journal:

Year:

2016

File:

PDF, 152 KB

2016