Dag Normann

Identifiers

• name variant Dag Normann 0.60 · backfill

Papers (6)

1. The uncountability of the reals and the Axiom of Choice math.LO · 2026 · author #1
2. Measure-theoretic Uniformity and the Suslin Functional math.LO · 2018 · author #1
3. The strength of compactness in Computability Theory and Nonstandard Analysis math.LO · 2018 · author #1
4. On the mathematical and foundational significance of the uncountable math.LO · 2017 · author #1
5. A rich hierarchy of functionals of finite types cs.LO · 2009 · author #1
6. Comparing hierarchies of total functionals cs.LO · 2005 · author #1

Mentions

• 0909.1198 #1 · backfill · confidence 0.70 Dag Normann

Frequent Coauthors

• Sam Sanders 3 shared papers