Znaleziono 68 projektów spełniających kryteria wyszukiwania:
Probabilistyczne aspekty granic Fraïsségo
Konkurs: PRELUDIUM 23 , panel: ST1
Kierownik: Agnieszka Widz
Politechnika Łódzka
Złożoność borelowska ideałów na zbiorach przeliczalnych i zbiory punktów granicznych
Konkurs: OPUS 27 , panel: ST1
Kierownik: dr hab. Adam Kwela
Uniwersytet Gdański
Logarytmiczne własności funkcji A-partycji i A-kompozycji
Konkurs: PRELUDIUM 23 , panel: ST1
Kierownik: Krystian Gajdzica
Uniwersytet Jagielloński w Krakowie
Czas w mechanice kwantowej: porównanie interpretacji mechaniki kwantowej w świetle problemu czasu
Konkurs: PRELUDIUM 23 , panel: HS1
Kierownik: Jakub Róg
Uniwersytet Warszawski
Aksjomaty forsingowe, modele wewnętrzne i determinacja
Konkurs: MAESTRO 15 , panel: ST1
Kierownik: dr Grigor Sargsyan
Instytut Matematyczny Polskiej Akademii Nauk
Machiańskie ramy dla fizyki kwantowej
Konkurs: OPUS 25 , panel: HS1
Kierownik: dr Antonio Vassallo
Politechnika Warszawska
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
Między teorią dowodu, matematyką odwrotną i teorią modeli arytmetyki
Konkurs: OPUS 25 , panel: ST1
Kierownik: dr hab. Leszek Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
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 Christopher 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 John Ketland
Uniwersytet Warszawski, Wydział Filozofii
Konkurs: OPUS 19 , panel: ST1
Kierownik: prof. Witold Michał Marciszewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
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 Andrew 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
Deformacje i degeneracje rozmaitości algebraicznych
Konkurs: SONATA 13 , panel: ST1
Kierownik: dr Piotr Achinger
Instytut Matematyczny Polskiej Akademii Nauk
Otwarte problemy teorii waluacji w charakterystyce dodatniej
Konkurs: OPUS 13 , panel: ST1
Kierownik: prof. Franz-Viktor Kuhlmann
Uniwersytet Szczeciński, Wydział Matematyczno-Fizyczny
Testy adaptacyjne dla danych cenzurowanych
Konkurs: OPUS 13 , panel: ST1
Kierownik: dr Grzegorz Wyłupek
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
Teoria modeli z działaniem grupy skończonej
Konkurs: ETIUDA 4 , panel: ST1
Kierownik: Daniel Hoffmann
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Teoria modeli i dynamika topologiczna
Konkurs: OPUS 10 , panel: ST1
Kierownik: dr hab. Krzysztof Krupiński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Nierówności korelacyjne dla procesów punktowych
Konkurs: OPUS 10 , panel: ST1
Kierownik: prof. Ryszard Szekli
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Teorie bez własności drzewa pierwszego rodzaju.
Konkurs: SONATA 10 , panel: ST1
Kierownik: dr Jan Dobrowolski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Nierówności dla wektorów log-wklęsłych
Konkurs: PRELUDIUM 10 , panel: ST1
Kierownik: Marta Strzelecka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Mechanizmy poznania geometrycznego
Konkurs: OPUS 10 , panel: HS1
Kierownik: dr Mateusz Hohol
Instytut Filozofii i Socjologii Polskiej Akademii Nauk
Nowoczesne metody w zespolonej geometrii afinicznej.
Konkurs: SONATA BIS 5 , panel: ST1
Kierownik: dr Karol Palka
Instytut Matematyczny Polskiej Akademii Nauk
Aksjomaty ekstremalne: aspekty logiczne, matematyczne i kognitywne
Konkurs: OPUS 9 , panel: HS1
Kierownik: prof. Jerzy Pogonowski
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki
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
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
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