Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Klasyfikowanie modeli Pochodnych Aksjomatu Determinacji

2021/03/Y/ST1/00281

Słowa kluczowe:

Teoria Mnogości Aksjomat Determinacji Modele Pochodne Teoria Modeli Wewnętrznych.

Deskryptory:

  • ST1_001: Logika i podstawy matematyki

Panel:

ST1 - Nauki matematyczne: wszystkie dziedziny matematyki, teoretyczne oraz stosowane a także podstawy matematyczne informatyki, fizyka matematyczna i statystyka matematyczna

Jednostka realizująca:

Instytut Matematyczny Polskiej Akademii Nauk

woj.

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr Grigor Sargsyan 

Liczba wykonawców projektu:

Konkurs: WEAVE-UNISONO

Przyznana kwota: 935 280 PLN

Rozpoczęcie projektu: 2022-07-27

Zakończenie projektu: 2025-07-26

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

Status projektu: Projekt zakończony