Formal theories of truth and nonstandard models of arithmetic
2014/13/N/HS1/02058
Keywords
Descriptors
- HS1_4: Logika, metodologia nauk, filozofia nauki
- ST1_1: Logika i podstawy matematyki
- HS1_3: Epistemologia (w tym: źródła poznania, kryteria prawdy, filozofia języka)
Panel
HS1 – Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology
Host institution
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Voivodeship: mazowieckie
Principal investigator (from the host institution)
Number of co-investigators in the project: 2
Call
PRELUDIUM 7 – announced on 2014-03-17
- Amount awarded
- 82 800 PLN
- Project start date
- 2015-03-05
- Project end date
- 2017-09-04
- Project duration
- 30 months (the same as in the proposal)
- Project status
- Project settled
Information in the final report
Publication in academic press/journals (1)
-
Computable quotient presentations of models of arithmetic and set theory
- Authors:
- Michał Tomasz Godziszewski, Joel David Hamkins
- Status:
- Accepted for publication
Articles in post-conference publications (1)
-
Computable quotient presentations of models of arithmetic and set theory
- Authors:
- Michał Tomasz Godziszewski, Joel David Hamkins
- Conference:
- Workshop in Logic, Language, Information and Computation 2017 (year: 2017, pages: 140-152), Publisher: Springer-Verlag Berlin Heidelberg
- Date:
- conference 18 - 22 lipca
- Status:
- Published
- DOI:
- link to the publication