Projekty finansowane przez NCN
Formalne teorie prawdy i niestandardowe modele arytmetyki
2014/13/N/HS1/02058
Słowa kluczowe:
aksjomatyczne teorie prawdy semantyczne teorie prawdy arytmetyka Peano słabe arytmetyki arytmetyka drugiego rzędu modele niestandardowe rekurencyjne nasycenie arytmetyczne nasycenie klasy spełniania aksjomaty indukcji
Deskryptory:
- 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 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia
Jednostka realizująca:
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
woj. mazowieckie
Konkurs: PRELUDIUM 7 - ogłoszony 2014-03-17
Przyznana kwota: 82 800 PLN
Rozpoczęcie projektu: 2015-03-05
Zakończenie projektu: 2017-09-04
Planowany czas trwania projektu: 30 miesięcy (z wniosku)
Status projektu: Projekt rozliczony
Dane z raportu końcowego/rocznego
- Publikacje w czasopismach (3)
- Teksty w publikacjach pokonferencyjnych (2)
- A Note on Models of Locally Disquotational Theory of TruthAutorzy:Michał Tomasz GodziszewskiCzasopismo:Notre Dame Journal of Formal Logic , Wydawca: University of Notre DameStatus:ZłożonaDoi:brak - link do publikacji
- Short Elementary Cuts in Countable Models of Compositional Arithmetical TruthAutorzy:Michał Tomasz GodziszewskiCzasopismo:Notre Dame Journal of Formal Logic , Wydawca: University of Notre DameStatus:ZłożonaDoi:brak - link do publikacji
- Computable quotient presentations of models of arithmetic and set theoryAutorzy:Michał Tomasz Godziszewski, Joel David HamkinsCzasopismo:Publications of RIMS (rok: 2017, tom: -, strony: 45306), Wydawca: Kyoto UniversityStatus:Przyjęta do publikacjiDoi:brak - link do publikacji
- Computable quotient presentations of models of arithmetic and set theoryAutorzy:Michał Tomasz Godziszewski, Joel David HamkinsKonferencja:Workshop in Logic, Language, Information and Computation 2017 (rok: 2017, ), Wydawca: Springer-Verlag Berlin HeidelbergData:konferencja 18 - 22 lipcaStatus:Opublikowana
- Cofinal Elementary Cuts in Countable Models of Compositional Arithmetical TruthAutorzy:Michał Tomasz GodziszewskiKonferencja:ESSLLI (rok: 2016, ), Wydawca: SpringerData:konferencja 15.08 - 26.08Status:Złożona