Projects funded by the NCN

Some problems in o-minimal geometry connected with topics in analysis

Call: OPUS 27 , Panel: ST1

Principal investigator: prof. Wiesław Pawłucki

Uniwersytet Jagielloński

Generic properties in topological dynamics

Call: OPUS 27 , Panel: ST1

Principal investigator: prof. Piotr Maciej Oprocha

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

Higher-order logic and absoluteness phenomena in set theory

Call: SONATA 19 , Panel: HS1

Principal investigator: dr Bartosz Wcisło

Uniwersytet Gdański, Wydział Nauk Społecznych

Generic large cardinals and determinacy

Call: WEAVE-UNISONO , Panel: ST1

Principal investigator: dr hab. Grigor Sargsyan

Instytut Matematyczny Polskiej Akademii Nauk

Complexity and describability in Analysis: from freeness to polishness

Call: SONATA BIS 13 , Panel: ST1

Principal investigator: dr hab. Tomasz Marcin Kania

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Logical and Philosophical Aspects of Pluralism and Potentialism in Set-Theory and Arithmetic

Call: OPUS 25 , Panel: HS1

Principal investigator: dr Michał Tomasz Godziszewski

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Dynamical systems and descriptive complexity

Call: SONATA 18 , Panel: ST1

Principal investigator: dr Felipe García-Ramos Aguilar

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Classifying Derived Models of the Axiom of Determinacy

Call: WEAVE-UNISONO , Panel: ST1

Principal investigator: dr Grigor Sargsyan

Instytut Matematyczny Polskiej Akademii Nauk

Selected topics in applications of set theory in functional analysis

Call: PRELUDIUM 20 , Panel: ST1

Principal investigator: Damian Głodkowski

Instytut Matematyczny Polskiej Akademii Nauk

Mathematicized Scientific Theories and The Foundations of Applied Mathematics

Call: OPUS 20 , Panel: HS1

Principal investigator: dr Jeffrey John Ketland

Uniwersytet Warszawski, Wydział Filozofii

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

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

Standards for the confiscation of the proceeds of crime set in European Union law and their impact on Polish, German, Fr...

Call: OPUS 17 , Panel: HS5

Principal investigator: dr Ariadna Helena Ochnio

Instytut Nauk Prawnych PAN

Quantitative study of set theory. Are ZF and ZFC asymptotically equivalent?

Call: OPUS 16 , Panel: ST6

Principal investigator: prof. Marek Zaionc

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Abstract methods in Banach space theory.

Call: OPUS 15 , Panel: ST1

Principal investigator: prof. Grzegorz Plebanek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Financial asset portfolio with present value burdened with imprecision risk.

Call: PRELUDIUM 9 , Panel: HS4

Principal investigator: dr Joanna Siwek

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

Applications of the theory of subanalytic and definable sets to polynomial inequalities and polynomial approximation

Call: OPUS 9 , Panel: ST1

Principal investigator: dr Rafał Pierzchała

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Development of the rating methodology of real estate markets.

Call: OPUS 7 , Panel: HS4

Principal investigator: dr hab. Małgorzata Beata Renigier-Biłozor

Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Geodezji, Inżynierii Przestrzennej i Budownictwa

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

A new notion of finiteness in computation theory

Call: OPUS 4 , Panel: ST6

Principal investigator: dr hab. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Nonsmooth Systems in Mathematical Theory of Contact Mechanics

Call: MAESTRO 3 , Panel: ST1

Principal investigator: prof. Stanisław Henryk Migórski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

The rough set theory in a hybrid decision systems for cases of interval and incomplete input data

Call: OPUS 3 , Panel: ST6

Principal investigator: dr hab. Robert Konrad Nowicki

Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki

Harmonic functions and diffusions on treebolic spaces, trees and their boundaries.

Call: OPUS 3 , Panel: ST1

Principal investigator: prof. Alexander Bendikov

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Extensional Ontology and Philosophical Logic

Call: OPUS 2 , Panel: HS1

Principal investigator: dr hab. Andrzej Paweł Biłat

Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie

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

Call: OPUS 1 , Panel: ST1

Principal investigator: prof. Piotr Bolesław Koszmider

Instytut Matematyczny Polskiej Akademii Nauk