Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Formal theories of truth and nonstandard models of arithmetic

2014/13/N/HS1/02058

Keywords:

axiomatic theories of truth semantic theories of truth Peano Arithmetic weak arithmetics second-order arithmetic nonstandard models recursive saturation arithmetical saturation respelendent models satisfaction classes induction axioms

Descriptors:

  • HS1_4: Logic, science methodology, philosophy of science
  • ST1_1: Logic and foundations
  • HS1_3: Epistemology (incl. sources of knowledge, criteria of truth, philosophy of language)

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

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

Michał Godziszewski 

Number of co-investigators in the project: 2

Call: PRELUDIUM 7 - announced on 2014-03-17

Amount awarded: 82 800 PLN

Project start date (Y-m-d): 2015-03-05

Project end date (Y-m-d): 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 (3)
  • Articles in post-conference publications (2)
  1. Short Elementary Cuts in Countable Models of Compositional Arithmetical Truth
    Authors:
    Michał Tomasz Godziszewski
    Academic press:
    Notre Dame Journal of Formal Logic , Wydawca: University of Notre Dame
    Status:
    Submitted
    DOI:
    brak - link to the publication
  2. Computable quotient presentations of models of arithmetic and set theory
    Authors:
    Michał Tomasz Godziszewski, Joel David Hamkins
    Academic press:
    Publications of RIMS (rok: 2017, tom: -, strony: 45306), Wydawca: Kyoto University
    Status:
    Accepted for publication
    DOI:
    brak - link to the publication
  3. A Note on Models of Locally Disquotational Theory of Truth
    Authors:
    Michał Tomasz Godziszewski
    Academic press:
    Notre Dame Journal of Formal Logic , Wydawca: University of Notre Dame
    Status:
    Submitted
    DOI:
    brak - link to the publication
  1. Cofinal Elementary Cuts in Countable Models of Compositional Arithmetical Truth
    Authors:
    Michał Tomasz Godziszewski
    Conference:
    ESSLLI (rok: 2016, ), Wydawca: Springer
    Data:
    konferencja 15.08 - 26.08
    Status:
    Submitted
  2. 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 (rok: 2017, ), Wydawca: Springer-Verlag Berlin Heidelberg
    Data:
    konferencja 18 - 22 lipca
    Status:
    Published
    DOI:
    link to the publication

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy