Cristin-person-ID: 22748
Person

Dag Normann

  • Stilling:
    Emeritus
    ved Matematisk institutt ved Universitetet i Oslo

Klassifisering

Vitenskapsdisipliner

Matematikk • Logikk

Emneord

Beregnbar analyse • Rekursjonsteori • Kompleksitetsteori • Totalitet i domene • Domeneteori • Mengdelære

Resultater Resultater

Computability and non-monotone induction.

Normann, Dag. 2024, Computability - The Journal of the Assosiation. UIOVitenskapelig artikkel

The Biggest Five of Reverse Mathematics.

Normann, Dag; Sanders, Sam. 2023, Journal of Mathematical Logic. RB, UIOVitenskapelig artikkel

A higher order perspective on computational analysis.

Normann, Dag. 2023, Twentieth International Conference on Computability and Complexity in Analysis. UIOVitenskapelig foredrag

On the computational properties of basic mathematical notions.

Normann, Dag; Sanders, Sam. 2022, Journal of Logic and Computation. RB, UIOVitenskapelig artikkel

On Robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor.

Normann, Dag; Sanders, Sam. 2022, Journal of Symbolic Logic (JSL). RB, UIOVitenskapelig artikkel
1 - 5 av 121 | Neste | Siste »