Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Search results

67 projects found matching your search criteria :

  1. Model-theoretic and algebraic properties of separably closed G-fields.

    Call: PRELUDIUM 11 , Panel: ST1

    Principal investigator: Daniel Hoffmann

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  2. Data-driven tests for censored data

    Call: OPUS 13 , Panel: ST1

    Principal investigator: dr Grzegorz Wyłupek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  3. Provability, computation and combinatorics at the lower and intermediate levels of the Gödel hierarchy

    Call: OPUS 14 , Panel: ST1

    Principal investigator: dr hab. Leszek Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  4. Interactions between model theory, topology and algebra

    Call: OPUS 4 , Panel: ST1

    Principal investigator: dr hab. Krzysztof Krupiński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  5. Asymptotic methods in lambda calculus and combinatory logic

    Call: OPUS 6 , Panel: ST6

    Principal investigator: prof. Marek Zaionc

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  6. Mechanisms of geometric cognition

    Call: OPUS 10 , Panel: HS1

    Principal investigator: dr Mateusz Hohol

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

  7. Arithmetic and geometry of fields with operators

    Call: OPUS 22 , Panel: ST1

    Principal investigator: prof. Piotr Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  8. Between proof theory, reverse mathematics, and the model theory of arithmetic

    Call: OPUS 25 , Panel: ST1

    Principal investigator: dr hab. Leszek Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  9. Continuous logic and its algebraic applications

    Call: OPUS 1 , Panel: ST1

    Principal investigator: prof. Aleksander Iwanow

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  10. Log-concave Measures and Geometry of Convex Bodies

    Call: PRELUDIUM 1 , Panel: ST1

    Principal investigator: Piotr Nayar

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  11. Extremal axioms: logical, mathematical and cognitive aspects

    Call: OPUS 9 , Panel: HS1

    Principal investigator: prof. Jerzy Pogonowski

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

  12. Ideals and group actions on Polish spaces

    Call: OPUS 1 , Panel: ST1

    Principal investigator: prof. Michał Morayne

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

  13. Descriptive set theory: structure and dynamics of Polish groups

    Call: SONATA 12 , Panel: ST1

    Principal investigator: dr Aleksandra Kwiatkowska

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  14. Deformations and degenerations of algebraic varieties

    Call: SONATA 13 , Panel: ST1

    Principal investigator: dr Piotr Achinger

    Instytut Matematyczny Polskiej Akademii Nauk

  15. Geometry of contractible low-dimensional affine varieties.

    Call: SONATA 3 , Panel: ST1

    Principal investigator: dr Karol Palka

    Instytut Matematyczny PAN

  16. Analytic equivalence relations and Polish group actions

    Call: SONATA 3 , Panel: ST1

    Principal investigator: dr Marcin Sabok

    Instytut Matematyczny PAN

  17. Topological structure of function spaces

    Call: OPUS 4 , Panel: ST1

    Principal investigator: prof. Witold Marciszewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  18. Combinatorial and descriptive properties of ideals on countable sets.

    Call: PRELUDIUM 4 , Panel: ST1

    Principal investigator: dr Adam Kwela

    Instytut Matematyczny PAN

  19. Analysis of logical and mathematical assumptions in Piero della Francesca's treatises

    Call: OPUS 4 , Panel: HS1

    Principal investigator: dr hab. Ryszard Mirek

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

  20. Topological properties of function spaces

    Call: PRELUDIUM 4 , Panel: ST1

    Principal investigator: dr Mikołaj Krupski

    Instytut Matematyczny PAN

  21. Numerical and structural invariants in algebra, logic and constraint satisfaction problems

    Call: MAESTRO 6 , Panel: ST6

    Principal investigator: prof. Paweł Idziak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  22. Modern methods in complex affine geometry.

    Call: SONATA BIS 5 , Panel: ST1

    Principal investigator: dr Karol Palka

    Instytut Matematyczny Polskiej Akademii Nauk

  23. Side Conditions and the Saturation of the Non-stationary Ideal

    Call: POLONEZ BIS 3 , Panel: ST1

    Principal investigator: dr Rahman Mohammadpour

    Instytut Matematyczny Polskiej Akademii Nauk

  24. Forcing axioms, inner models and determinacy

    Call: MAESTRO 15 , Panel: ST1

    Principal investigator: dr Grigor Sargsyan

    Instytut Matematyczny Polskiej Akademii Nauk

  25. Probabilistic aspects of Fraïssé limits

    Call: PRELUDIUM 23 , Panel: ST1

    Principal investigator: Agnieszka Widz

    Politechnika Łódzka

  26. Small Polish structures

    Call: PRELUDIUM 3 , Panel: ST1

    Principal investigator: dr Jan Dobrowolski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  27. New Logical-Mathematical Methods in Applied Sciences and Modelling of Decision Making

    Call: OPUS 4 , Panel: HS1

    Principal investigator: prof. Jan Hertrich-Woleński

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

  28. Positivity of line bundles on algebraic surfaces

    Call: SONATINA 2 , Panel: ST1

    Principal investigator: dr Łucja Farnik

    Uniwersytet Komisji Edukacji Narodowej w Krakowie

  29. Effective computations in predicative mathematics

    Call: SONATINA 2 , Panel: ST6

    Principal investigator: dr Michał Przybyłek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  30. Set theoretic methods in topology and in Banach space theory.

    Call: OPUS 6 , Panel: ST1

    Principal investigator: prof. Grzegorz Plebanek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  31. Set theoretic methods in dynamics and number theory

    Call: SONATA BIS 9 , Panel: ST1

    Principal investigator: dr hab. William Andrew Mance

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

  32. Set theoretic methods in analytic topology: from pointwise convergence and Banach spaces to operator algebras

    Call: OPUS 19 , Panel: ST1

    Principal investigator: prof. Witold Michał Marciszewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  33. Applications of infinitary combinatorics and analytic topology in Banach spaces and related structures.

    Call: OPUS 1 , Panel: ST1

    Principal investigator: prof. Piotr Koszmider

    Instytut Matematyczny Polskiej Akademii Nauk

  34. The empirical sources of mathematical knowledge

    Call: OPUS 1 , Panel: HS1

    Principal investigator: prof. Krzysztof Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  35. Theoretical foundations of interactive theorem provers with unrestricted recursive definitions

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Łukasz Czajka

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  36. Freedom and independence in algebra and topology

    Call: SONATA 4 , Panel: ST1

    Principal investigator: dr hab. Szymon Głąb

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

  37. Mathematicized Scientific Theories and The Foundations of Applied Mathematics

    Call: OPUS 20 , Panel: HS1

    Principal investigator: dr Jeffrey John Ketland

    Uniwersytet Warszawski, Wydział Filozofii

  38. Computable structure theory, and philosophy of mathematical structuralism

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Dariusz Kalociński

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

  39. The problem of explanation in mathematics

    Call: OPUS 11 , Panel: HS1

    Principal investigator: prof. Krzysztof Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii

  40. Algebraic and topological methods in model theory

    Call: SONATA BIS 6 , Panel: ST1

    Principal investigator: prof. Krzysztof Krupiński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  41. Abstract methods in Banach space theory.

    Call: OPUS 15 , Panel: ST1

    Principal investigator: prof. Grzegorz Plebanek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  42. Group actions and model theory

    Call: OPUS 16 , Panel: ST1

    Principal investigator: prof. Piotr Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  43. Inequalities for log-concave vectors

    Call: PRELUDIUM 10 , Panel: ST1

    Principal investigator: Marta Strzelecka

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  44. Model theory and topological dynamics

    Call: OPUS 10 , Panel: ST1

    Principal investigator: dr hab. Krzysztof Krupiński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  45. Teoria modeli z działaniem grupy skończonej

    Call: ETIUDA 4 , Panel: ST1

    Principal investigator: Daniel Hoffmann

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  46. Symbolic computations on first-order definable objects

    Call: OPUS 11 , Panel: ST6

    Principal investigator: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  47. Induction for bounded formulas and its relativizations

    Call: OPUS 5 , Panel: ST1

    Principal investigator: dr hab. Leszek Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  48. Time in Quantum Mechanics: Comparing Interpretations of Quantum Mechanics through the Problem of Time

    Call: PRELUDIUM 23 , Panel: HS1

    Principal investigator: Jakub Róg

    Uniwersytet Warszawski

  49. Logarithmic properties of both A-partition and A-composition functions

    Call: PRELUDIUM 23 , Panel: ST1

    Principal investigator: Krystian Gajdzica

    Uniwersytet Jagielloński w Krakowie

  50. Axiomatizations of varieties and quasivarieties

    Call: SONATA 1 , Panel: ST1

    Principal investigator: dr Michał Stronkowski

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy