meny
søk
English

Publikasjoner og forskningsresultater

Vitenskapelige publikasjoner (3) Formidling (6)
Briseid, Eyvind Martol (2016). Kan vi besvare alle matematiske spørsmål?. Hovik, Ellen Konstanse Kleve, Bodil (Red.), Undervisningskunnskap i matematikk. 10. s. 183-199. Cappelen Damm Akademisk.
Ariza-Ruiz, David;Briseid, Eyvind Martol;Jimenez-Melado, Antonio;Lopez-Acedo, Genaro (2013). RATE OF CONVERGENCE UNDER WEAK CONTRACTIVENESS CONDITIONS. Fixed Point Theory. Vol. 14.
van den Berg, Benno;Briseid, Eyvind Martol;Safarik, Pavol (2012). A functional interpretation for nonstandard arithmetic. Annals of Pure and Applied Logic. Vol. 163. doi: 10.1016/j.apal.2012.07.003
Briseid, Eyvind Martol (2013). Om matematikkens grenser: Kan vi finne svar på alle matematiske spørsmål?. Faglig-pedagogisk dag 2013. Universitetet i Oslo.
Briseid, Eyvind Martol (2013). On functional interpretations for systems of nonstandard arithmetic. ILLC Colloquium on Mathematical Logic. ILLC, University of Amsterdam.
Briseid, Eyvind Martol (2013). Extracting Computational Content from Proofs in Nonstandard Analysis. CiE 2013 (Computability in Europe).
Briseid, Eyvind Martol (2013). On the Functional Interpretation of Weak König's Lemma in Nonstandard Arithmetic. 60th Parallel Workshop on Constructivism and Proof Theory. University of Stockholm.
Briseid, Eyvind Martol (2012). On a functional interpretation for nonstandard arithmetic. 8th Scandinavian Logic Symposium (SLS 2012). Scandinavian Logic Society (SLS).

(Publikasjonslisten er hentet fra Cristin. Listen kan være ufullstendig)

Kontakt

Telefon (kontor): +47 67 23 71 28
Besøksadresse: Falbes gate 5, Oslo, FG358