Maria Hämeen-Anttila

Aktiviteter

Aktiviteter per år 2016 2017 2018 2021 2022

• 8 !!Oral presentation
• 1 Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
• 1 !!Invited talk

Aktiviteter per år

Sökresultat

• Gödel's early critique of intuitionism

  Maria Hämeen-Anttila (!!Speaker)

  2017

  Aktivitet: Typer för tal eller presentation › !!Oral presentation

• Gödel's early impressions of intuitionism

  Maria Hämeen-Anttila (!!Speaker)

  7 aug. 2018

  Aktivitet: Typer för tal eller presentation › !!Oral presentation

• Gödel's Early Views on Intuitionism

  Maria Hämeen-Anttila (!!Speaker)

  18 apr. 2018

  Aktivitet: Typer för tal eller presentation › !!Oral presentation

• Gödel's Functional Interpretation in Context

  Maria Hämeen-Anttila (!!Speaker)

  9 juli 2021

  Aktivitet: Typer för tal eller presentation › !!Oral presentation

• Gödel's notes on constructive foundations of mathematics

  Maria Hämeen-Anttila (!!Speaker)

  26 juli 2019

  Aktivitet: Typer för tal eller presentation › !!Oral presentation

• Nominalistic ordinals and potential infinities in the consistency proofs of Gentzen and Ackermann

  Maria Hämeen-Anttila (!!Speaker)

  2017

  Aktivitet: Typer för tal eller presentation › !!Oral presentation

• Reductive criteria for logicality of modal operators

  Maria Hämeen-Anttila (!!Speaker)

  2016

  Aktivitet: Typer för tal eller presentation › !!Oral presentation

• Transfinite ordinals from a finitary standpoint

  Maria Hämeen-Anttila (!!Speaker)

  5 aug. 2017

  Aktivitet: Typer för tal eller presentation › !!Oral presentation