Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Cristin-person-ID:
22748
Person
Dag Normann
Emeritus
ved Matematisk institutt ved Universitetet i Oslo
Klassifisering
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. UIO
Vitenskapelig artikkel
The Biggest Five of Reverse Mathematics.
Normann, Dag; Sanders, Sam. 2023, Journal of Mathematical Logic. RB, UIO
Vitenskapelig artikkel
A higher order perspective on computational analysis.
Normann, Dag. 2023, Twentieth International Conference on Computability and Complexity in Analysis. UIO
Vitenskapelig foredrag
On the computational properties of basic mathematical notions.
Normann, Dag; Sanders, Sam. 2022, Journal of Logic and Computation. RB, UIO
Vitenskapelig artikkel
On Robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor.
Normann, Dag; Sanders, Sam. 2022, Journal of Symbolic Logic (JSL). RB, UIO
Vitenskapelig artikkel
1
-
5
av
121
|
Neste
|
Siste »