Maria Hämeen-Anttila

Activities

Activities per year 2016 2017 2018 2021 2022

• 8 Oral presentation
• 1 Organisation and participation in conferences, workshops, courses, seminars
• 1 Invited talk

Activities per year

Search results

• Gödel's Functional Interpretation in Context

  Maria Hämeen-Anttila (Speaker)

  9 Jul 2021

  Activity: Talk or presentation types › Oral presentation

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

  Maria Hämeen-Anttila (Speaker)

  26 Jul 2019

  Activity: Talk or presentation types › Oral presentation

• Gödel's Early Views on Intuitionism

  Maria Hämeen-Anttila (Speaker)

  18 Apr 2018

  Activity: Talk or presentation types › Oral presentation

• Gödel's early impressions of intuitionism

  Maria Hämeen-Anttila (Speaker)

  7 Aug 2018

  Activity: Talk or presentation types › Oral presentation

• Transfinite ordinals from a finitary standpoint

  Maria Hämeen-Anttila (Speaker)

  5 Aug 2017

  Activity: Talk or presentation types › Oral presentation

• Gödel's early critique of intuitionism

  Maria Hämeen-Anttila (Speaker)

  2017

  Activity: Talk or presentation types › Oral presentation

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

  Maria Hämeen-Anttila (Speaker)

  2017

  Activity: Talk or presentation types › Oral presentation

• Reductive criteria for logicality of modal operators

  Maria Hämeen-Anttila (Speaker)

  2016

  Activity: Talk or presentation types › Oral presentation