Dag Normann

发表

A continuous functional with noncollapsing hierarchy

Dag Normann, D. Normann, 1978, Journal of Symbolic Logic.

The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems

Dag Normann, D. Normann, 2015, Log. Methods Comput. Sci..

On the mathematical and foundational significance of the uncountable

Dag Normann, Sam Sanders, D. Normann, 2017, J. Math. Log..

Mathematics of computing at CiE 2005

Dag Normann, Benedikt Löwe, S. Barry Cooper, 2006, Math. Struct. Comput. Sci..

The Continuous Functionals

Dag Normann, D. Normann, 1999, Handbook of Computability Theory.

On sequential functionals of type 3

Dag Normann, 2006, Math. Struct. Comput. Sci..

General Type-Structures of Continuous and Countable Functionals

Dag Normann, 1983, Math. Log. Q..

Models for Recursion Theory

Dag Normann, Johan Moldestad, 1976, J. Symb. Log..

Embeddability of PTYKES

Dag Normann, Jean-Yves Girard, 1992, J. Symb. Log..

Pincherle's theorem in reverse mathematics and computability theory

Dag Normann, Sam Sanders, D. Normann, 2018, Ann. Pure Appl. Log..

Nested Sequential Procedures

Dag Normann, John Longley, 2015 .

Characterizing the Continuous Functionals

Dag Normann, 1983, J. Symb. Log..

Banach Spaces as Data Types

Dag Normann, D. Normann, 2011, Log. Methods Comput. Sci..

The Definability of E(alpha)

Dag Normann, Edward R. Griffor, 1984, J. Symb. Log..

The sequential functionals of type (ι→ι)n → ι form a dcpo for all n ∈ ℕ

Dag Normann, 2018, Log. Methods Comput. Sci..

The Cook-Berger problem - A guide to the solution

Dag Normann, 2000, Electron. Notes Theor. Comput. Sci..

A Nonstandard Characterisation of the Type-structure of Continuous Functionals Over the Reals

Dag Normann, 2004, Electron. Notes Theor. Comput. Sci..

The 1-section of a countable functional

Dag Normann, Stanley S. Wainer, S. Wainer, 1980, Journal of Symbolic Logic.

Computability over The Partial Continuous Functionals

Dag Normann, 2000, J. Symb. Log..

Computability Theory, Nonstandard Analysis, and their Connections

Dag Normann, Sam Sanders, 2019, J. Symb. Log..

A rich hierarchy of functionals of finite types

Dag Normann, 2009, Log. Methods Comput. Sci..

Comparing hierarchies of total functionals

Dag Normann, D. Normann, 2005, Log. Methods Comput. Sci..

Higher-Order Computability

Dag Normann, John Longley, 2015, Theory and Applications of Computability.

S. Barry Cooper (1943-2015)

Peter van Emde Boas, Andrea Sorbi, Dag Normann, 2018, Comput..

Exact real number computations relative to hereditarily total functionals

Dag Normann, 2002, Theor. Comput. Sci..

R.E. degrees of continuous functionals

Dag Normann, 1983, Arch. Math. Log..

Computing with Functionals—Computability Theory or Computer Science?

Dag Normann, D. Normann, 2006, Bulletin of Symbolic Logic.

Hereditarily effective typestreams

Dag Normann, 1997, Arch. Math. Log..

Hierarchies of total functionals over the reals

Dag Normann, 2004, Theor. Comput. Sci..

Countable functionals and the projective hierarchy

Dag Normann, D. Normann, 1981, Journal of Symbolic Logic.

Related and Future Work

Dag Normann, John Longley, 2015 .

Internal Density Theorems for Hierarchies of Continuous Functionals

Dag Normann, 2008, CiE.

Limit spaces and transfinite types

Dag Normann, Geir Waagbø, D. Normann, 2002, Arch. Math. Log..

The Computational Power of Muomega

Dag Normann, Christian Rordam, 2002, Math. Log. Q..

Definability of Total Objects in PCF and Related Calculi

Dag Normann, 2001, TLCA.

Some further results and topics

Dag Normann, 1980 .

Total objects in inductively defined types

Dag Normann, Lill Kristiansen, 1997, Arch. Math. Log..

A Jump Operator in Set Recursion

Dag Normann, 1979, Math. Log. Q..

2-envelopes and the analytic hierarchy

Dag Normann, Johan Moldestad, 1974 .

Closing the gap between the continuous functionals and recursion in $^3E$

Dag Normann, 1997, Arch. Math. Log..

The continuous functionals of finite types over the reals

Dag Normann, D. Normann, 1998, Workshop on Domains.

PCF and Its Models

Dag Normann, John Longley, 2015 .

Set recursion and Πhalf-logic

Dag Normann, Jean-Yves Girard, 1985, Ann. Pure Appl. Log..

David Marker, Lectures on Infinitary Model Theory

Dag Normann, 2018, Stud Logica.

Representation theorems for transfinite computability and definability

Dag Normann, 2002, Arch. Math. Log..

The strength of compactness in Computability Theory and Nonstandard Analysis

Dag Normann, Sam Sanders, D. Normann, 2018, Ann. Pure Appl. Log..

Theory of Computability Models

Dag Normann, John Longley, 2015 .

Applications of the Kleene–Kreisel Density Theorem to Theoretical Computer Science

Dag Normann, 2008 .

Proceedings of the 7th conference on Models of computation in context: computability in Europe

Dag Normann, Benedikt Löwe, Ivan N. Soskov, 2011 .

Computability in Europe 2011

Samuel R. Buss, Dag Normann, Benedikt Löwe, 2013, Ann. Pure Appl. Log..

Continuity, proof systems and the theory of transfinite computations

Dag Normann, D. Normann, 2002, Arch. Math. Log..

Hyperfinite type structures

Dag Normann, Erik Palmgren, Viggo Stoltenberg-Hansen, 1999, Journal of Symbolic Logic.

The Partial Continuous Functionals

Dag Normann, John Longley, 2015 .

Higher generalizations of the Turing Model

Dag Normann, 2014, Turing's Legacy.

Open sets in computability theory and reverse mathematics

Dag Normann, Sam Sanders, 2020, J. Log. Comput..

On robust theorems due to Bolzano, Weierstrass, and Cantor in Reverse Mathematics

Dag Normann, Sam Sanders, 2021 .

The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis

Dag Normann, Sam Sanders, 2021, J. Log. Comput..

Betwixt Turing and Kleene

Dag Normann, Sam Sanders, 2022, LFCS.

Measure-theoretic uniformity and the Suslin functional

Dag Normann, D. Normann, 2018, Comput..

COUNTABLE FUNCTIONALS AND THE ANALYTIC HIERARCHY

Dag Normann, 1977 .

A Mahlo-universe of effective domains with totality

Dag Normann, 1996 .

THE RECURSION THEORY OF PTYKES

Dag Normann, 1984 .

Mathematical Logic II

Dag Normann, 2005 .

The continuous functionals; computations, recursions and degrees

Dag Normann, 1981 .

External and Internal Algorithms on the Continuous Functionals

Dag Normann, 1982 .

A hierarchy of domains with totality, but without density

Dag Normann, 1996 .

The Computational Power of ℳ︁ω

Dag Normann, Christian Rordam, D. Normann, 2002 .

MARTINS AXIOM AND MEDIAL FUNCTIONS

Dag Normann, D. Normann, 1976 .

Recursion Theory: its Generalisations and Applications: The Recursion Theory of the Continuous Functionals

Dag Normann, 1980 .

Categories of domains with totality

Dag Normann, D. Normann, 1997 .

Functionals of Type 3 as Realisers of Classical Theorems in Analysis

Dag Normann, 2018, CiE.

Semantics for some constructors of type theory

Dag Normann, Lill Kristiansen, 1995 .

Mathematics of Computation at CiE 2005

Dag Normann, Benedikt Löwe, S. B. Cooper, 2006 .

Formalizing the Notion of Total Information

Dag Normann, 1990 .