Projekty finansowane przez NCN

Niezmiennicze relacje równoważności

Konkurs: PRELUDIUM 9 , panel: ST1

Kierownik: Tomasz Rzepecki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Niezmienniki numeryczne i strukturalne w algebrze, logice i problemach spełnialności więzów

Konkurs: MAESTRO 6 , panel: ST6

Kierownik: prof. Paweł Idziak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Grupy definiowalne w ciałach z waluacją, definiowalny problem Knesera-Titsa oraz teorie metastabilne

Konkurs: SONATA 7 , panel: ST1

Kierownik: dr Jakub Gismatullin

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Empiryczne źródła wiedzy matematycznej

Konkurs: OPUS 1 , panel: HS1

Kierownik: prof. Krzysztof Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Definiowalna dynamika topologiczna i o-minimalność

Konkurs: PRELUDIUM 7 , panel: ST1

Kierownik: dr Grzegorz Jagiella

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Metody teorii mnogości w topologii i teorii przestrzeni Banacha.

Konkurs: OPUS 6 , panel: ST1

Kierownik: prof. Grzegorz Plebanek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Asymptotyczne metody w rachunku lambda i logice kombinatorycznej

Konkurs: OPUS 6 , panel: ST6

Kierownik: prof. Marek Zaionc

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Indukcja dla formuł ograniczonych i jej relatywizacje

Konkurs: OPUS 5 , panel: ST1

Kierownik: dr hab. Leszek Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Ideały i działania grup na przestrzeniach polskich

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Michał Morayne

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Wolność i niezależność w algebrze i topologii

Konkurs: SONATA 4 , panel: ST1

Kierownik: dr hab. Szymon Głąb

Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej

Związki teorii modeli z topologią i algebrą

Konkurs: OPUS 4 , panel: ST1

Kierownik: dr hab. Krzysztof Krupiński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Topologiczne własności przestrzeni funkcji ciągłych

Konkurs: PRELUDIUM 4 , panel: ST1

Kierownik: dr Mikołaj Krupski

Instytut Matematyczny PAN

Podstawy teoretyczne systemów wspomagania dowodzenia zezwalających na nieograniczone definicje rekurencyjne.

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Łukasz Czajka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Analiza logicznych i matematycznych założeń w traktatach Piero della Francesca

Konkurs: OPUS 4 , panel: HS1

Kierownik: dr hab. Ryszard Mirek

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie, Wydział Humanistyczny

Kombinatoryczne i deskryptywne własności ideałów na zbiorach przeliczalnych.

Konkurs: PRELUDIUM 4 , panel: ST1

Kierownik: dr Adam Kwela

Instytut Matematyczny PAN

Struktura topologiczna przestrzeni funkcyjnych

Konkurs: OPUS 4 , panel: ST1

Kierownik: prof. Witold Marciszewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Nowe metody logiczno-matematyczne w naukach stosowanych i modelowaniu procesów podejmowania decyzji

Konkurs: OPUS 4 , panel: HS1

Kierownik: prof. Jan Hertrich-Woleński

Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, Wydział Administracji i Nauk Społecznych

Analityczne relacje równoważności i działania grup polskich

Konkurs: SONATA 3 , panel: ST1

Kierownik: dr Marcin Sabok

Instytut Matematyczny PAN

Małe struktury polskie

Konkurs: PRELUDIUM 3 , panel: ST1

Kierownik: dr Jan Dobrowolski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Zastosowania kombinatoryki nieskończonej i topologii analitycznej w przestrzeniach Banacha i w związanych z nimi struktu...

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Piotr Koszmider

Instytut Matematyczny Polskiej Akademii Nauk

Aksjomaty forsingowe, modele wewnętrzne i determinacja

Konkurs: MAESTRO 15 , panel: ST1

Kierownik: dr Grigor Sargsyan

Instytut Matematyczny Polskiej Akademii Nauk

Wolne i iteratywne operatory na ciałach

Konkurs: PRELUDIUM 22 , panel: ST1

Kierownik: Jakub Gogolok

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Obliczalna teoria modeli i filozofia strukturalizmu matematycznego

Konkurs: OPUS 25 , panel: HS1

Kierownik: dr Dariusz Kalociński

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Nietrafność epistemiczna -- co dalej?

Konkurs: OPUS 24 , panel: HS1

Kierownik: dr hab. Leszek Wroński

Uniwersytet Jagielloński, Wydział Filozoficzny

Side Conditions and the Saturation of the Non-stationary Ideal

Konkurs: POLONEZ BIS 3 , panel: ST1

Kierownik: dr Rahman Mohammadpour

Instytut Matematyczny Polskiej Akademii Nauk

(Anti)Classification and invariants in dynamics

Konkurs: POLONEZ BIS 1 , panel: ST1

Kierownik: dr Philipp Kunde

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Arytmetyka i geometria ciał z operatorami

Konkurs: OPUS 22 , panel: ST1

Kierownik: prof. Piotr Kowalski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wybrane zagadnienia w zastosowaniach teorii mnogości w analizie funkcjonalnej

Konkurs: PRELUDIUM 20 , panel: ST1

Kierownik: Damian Głodkowski

Instytut Matematyczny Polskiej Akademii Nauk

Matematyzowane teorie naukowe i podstawy matematyki stosowanej

Konkurs: OPUS 20 , panel: HS1

Kierownik: dr Jeffrey Ketland

Uniwersytet Warszawski, Wydział Filozofii

Metody teoriomnogościowe w topologii analitycznej: od zbieżności punktowej i przestrzeni Banacha do algebr operatorowych...

Konkurs: OPUS 19 , panel: ST1

Kierownik: prof. Witold Marciszewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Kategoryjne ujęcie konstrukcji Fraisségo-Jónssona

Konkurs: OPUS 2 , panel: ST1

Kierownik: dr hab. Wiesław Kubiś

Uniwersytet Jana Kochanowskiego w Kielcach, Wydział Matematyczno-Przyrodniczy

Logika ciągła i jej algebraiczne zastosowania

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Aleksander Iwanow

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Problemy klasyfikacji w dynamice topologicznej i teorii ergodycznej

Konkurs: PRELUDIUM BIS 1 , panel: ST1

Kierownik: dr hab. Dominik Kwietniak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Metody teoriomnogościowe w dynamice i teorii liczb

Konkurs: SONATA BIS 9 , panel: ST1

Kierownik: dr hab. William Mance

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Epistemiczne i semantyczne zobowiązania fundamentalnych teorii matematycznych

Konkurs: MAESTRO 11 , panel: HS1

Kierownik: dr hab. Cezary Cieśliński

Uniwersytet Warszawski

Algorytmiczne modele predykcji: własności formalne i konsekwencje filozoficzne

Konkurs: OPUS 16 , panel: HS1

Kierownik: dr Dariusz Kalociński

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Działania grup i teoria modeli

Konkurs: OPUS 16 , panel: ST1

Kierownik: prof. Piotr Kowalski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Geometryczna i Miarowa Teoria Grup 2

Konkurs: HARMONIA 10 , panel: ST1

Kierownik: dr Damian Osajda

Instytut Matematyczny Polskiej Akademii Nauk

Abstrakcyjne metody w teorii przestrzeni Banacha.

Konkurs: OPUS 15 , panel: ST1

Kierownik: prof. Grzegorz Plebanek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Efektywne obliczenia w predykatywnej matematyce

Konkurs: SONATINA 2 , panel: ST6

Kierownik: dr Michał Przybyłek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Dodatniość wiązek liniowych na powierzchniach algebraicznych

Konkurs: SONATINA 2 , panel: ST1

Kierownik: dr Łucja Farnik

Uniwersytet Komisji Edukacji Narodowej w Krakowie

Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla

Konkurs: OPUS 14 , panel: ST1

Kierownik: dr hab. Leszek Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Otwarte problemy teorii waluacji w charakterystyce dodatniej

Konkurs: OPUS 13 , panel: ST1

Kierownik: prof. Franz-Viktor Kuhlmann

Uniwersytet Szczeciński, Wydział Matematyczno-Fizyczny

Ograniczone, niezmiennicze relacje równoważności

Konkurs: ETIUDA 5 , panel: ST1

Kierownik: Tomasz Rzepecki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Deskryptywna teoria mnogości: struktura i dynamika grup polskich

Konkurs: SONATA 12 , panel: ST1

Kierownik: dr Aleksandra Kwiatkowska

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algebraiczne i topologiczne metody w teorii modeli

Konkurs: SONATA BIS 6 , panel: ST1

Kierownik: prof. Krzysztof Krupiński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Teorio-modelowe i algebraiczne własności rozdzielczo domkniętych G-ciał.

Konkurs: PRELUDIUM 11 , panel: ST1

Kierownik: Daniel Hoffmann

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu

Konkurs: OPUS 11 , panel: ST6

Kierownik: prof. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Czy język ekonomii ogranicza jej moc wyjaśniającą? Analiza wpływu nierealistycznych założeń, matematycznego formalizmu i...

Konkurs: SONATA 1 , panel: HS4

Kierownik: dr Łukasz Hardt

Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

Teoria modeli z działaniem grupy skończonej

Konkurs: ETIUDA 4 , panel: ST1

Kierownik: Daniel Hoffmann

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki