Photo of Maria Hämeen-Anttila
  • PL 24 (Unioninkatu 40)

    00014

    Finland

20192019

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

Teoreettinen filosofia, FM, University of Helsinki

Fields of Science

  • 611 Philosophy

Publications

Nominalistic ordinals, recursion on higher types, and finitism

Hämeen-Anttila, M., 2019, In : Bulletin of Symbolic Logic. 25, 1, p. 101-124 24 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File

Activities

  • 7 Oral presentation

Gödel's notes on constructive foundations of mathematics

Maria Hämeen-Anttila (Speaker)
26 Jul 2019

Activity: Talk or presentation typesOral presentation

Gödel's Early Views on Intuitionism

Maria Hämeen-Anttila (Speaker)
18 Apr 2018

Activity: Talk or presentation typesOral presentation

Gödel's early impressions of intuitionism

Maria Hämeen-Anttila (Speaker)
7 Aug 2018

Activity: Talk or presentation typesOral presentation

Transfinite ordinals from a finitary standpoint

Maria Hämeen-Anttila (Speaker)
5 Aug 2017

Activity: Talk or presentation typesOral presentation