Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Algebraic and topological methods in model theory

2016/22/E/ST1/00450

Keywords:

model theory

Descriptors:

  • ST1_1: Logic and foundations
  • ST1_6: Topology
  • ST1_2: Algebra

Panel:

ST1 - Mathematics: all areas of mathematics, pure and applied, as well as mathematical foundations of computer science, physics and statistics

Host institution :

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

woj. dolnośląskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

prof. Krzysztof Krupiński 

Number of co-investigators in the project: 6

Call: SONATA BIS 6 - announced on 2016-06-15

Amount awarded: 1 476 350 PLN

Project start date (Y-m-d): 2017-04-18

Project end date (Y-m-d): 2024-04-17

Project duration:: 60 months (the same as in the proposal)

Project status: Project completed

Project description

Download the project description in a pdf file

Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.