Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Epistemiczne i semantyczne zobowiązania fundamentalnych teorii matematycznych

2019/34/A/HS1/00399

Słowa kluczowe:

zobowiązania zasady refleksji teorie aksjomatyczne prawda

Deskryptory:

  • HS1_4: Logika, metodologia nauk, filozofia nauki
  • ST1_1: Logika i podstawy matematyki

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

woj.

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Cezary Cieśliński 

Liczba wykonawców projektu: 7

Konkurs: MAESTRO 11 - ogłoszony 2019-06-17

Przyznana kwota: 2 413 800 PLN

Rozpoczęcie projektu: 2020-09-01

Zakończenie projektu: 2025-08-31

Planowany czas trwania projektu: 60 miesięcy (z wniosku)

Status projektu: Projekt w realizacji

Opis Projektu

Pobierz opis projektu w formacie .pdf

Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (12)
  1. Set theoretical analogues of the Barwise-Schlipf theorem
    Autorzy:
    Ali Enayat
    Czasopismo:
    Annals of Pure and Applied Logic (rok: 2022, tom: 173, strony: 45673), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.apal.2022.103158 - link do publikacji
  2. Set theory with a proper class of indiscernibles
    Autorzy:
    Ali Enayat
    Czasopismo:
    Fundamenta Mathematicae (rok: 2022, tom: 259, strony: 33-76), Wydawca: IM PAN
    Status:
    Opublikowana
    Doi:
    10.4064/fm999-2-2022 - link do publikacji
  3. Full Satisfaction Classes, Definability, and Automorphisms
    Autorzy:
    Bartosz Wcisło
    Czasopismo:
    Notre Dame Journal of Formal Logic (rok: 2022, tom: 63(2), strony: 143-163), Wydawca: University of Notre Dame
    Status:
    Opublikowana
    Doi:
    10.1215/00294527-2022-0013 - link do publikacji
  4. Axioms for type-free subjective probability
    Autorzy:
    Cezary Cieśliński, Leon Horsten, Hannes Leitgeb
    Czasopismo:
    The Review of Symbolic Logic (rok: 2023, tom: Published online, strony: 45673), Wydawca: Cambridge University Press
    Status:
    Opublikowana
    Doi:
    10.1017/S1755020323000047 - link do publikacji
  5. MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE
    Autorzy:
    Mateusz łełyk
    Czasopismo:
    The Journal of Symbolic Logic (rok: 2022, tom: Firstview, strony: 15342), Wydawca: Cambridge University Press
    Status:
    Opublikowana
    Doi:
    10.1017/jsl.2022.39 - link do publikacji
  6. Set theoretical analogues of the Barwise-Schlipf theorem
    Autorzy:
    Ali Enayat
    Czasopismo:
    Annals of Pure and Applied Logic (rok: 2022, tom: 173, strony: 45673), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.apal.2022.103158 - link do publikacji
  7. Full Satisfaction Classes, Definability, and Automorphisms
    Autorzy:
    Bartosz Wcisło
    Czasopismo:
    Notre Dame Journal of Formal Logic (rok: 2022, tom: 63(2), strony: 143-163), Wydawca: University of Notre Dame
    Status:
    Opublikowana
    Doi:
    10.1215/00294527-2022-0013 - link do publikacji
  8. Definite totalities and determinate truth in conceptual structuralism
    Autorzy:
    Martin Fischer, Matteo Zicchetti
    Czasopismo:
    Synthese (rok: 2024, tom: 203, strony: 45679), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s11229-023-04443-5 - link do publikacji
  9. AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW
    Autorzy:
    Ali Enayat, Mateusz Łełyk
    Czasopismo:
    The Journal of Symbolic Logic (rok: 2022, tom: Firstview, strony: 45687), Wydawca: Cambridge University Press
    Status:
    Opublikowana
    Doi:
    10.1017/jsl.2022.83 - link do publikacji
  10. AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW
    Autorzy:
    Ali Enayat, Mateusz Łełyk
    Czasopismo:
    The Journal of Symbolic Logic (rok: 2022, tom: Firstview, strony: 45687), Wydawca: Cambridge University Press
    Status:
    Opublikowana
    Doi:
    10.1017/jsl.2022.83 - link do publikacji
  11. MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE
    Autorzy:
    Mateusz łełyk
    Czasopismo:
    The Journal of Symbolic Logic (rok: 2022, tom: Firstview, strony: 15342), Wydawca: Cambridge University Press
    Status:
    Opublikowana
    Doi:
    10.1017/jsl.2022.39 - link do publikacji
  12. Set theory with a proper class of indiscernibles
    Autorzy:
    Ali Enayat
    Czasopismo:
    Fundamenta Mathematicae (rok: 2022, tom: 259, strony: 33-76), Wydawca: IM PAN
    Status:
    Opublikowana
    Doi:
    10.4064/fm999-2-2022 - link do publikacji

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy