Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Algebraiczne i topologiczne metody w teorii modeli

2016/22/E/ST1/00450

Słowa kluczowe:

teoria modeli

Deskryptory:

  • ST1_1: Logika i podstawy matematyki
  • ST1_6: Topologia
  • ST1_2: Algebra

Panel:

ST1 - Nauki matematyczne

Jednostka realizująca:

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

woj. dolnośląskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

prof. dr hab. Krzysztof Krupiński 

Liczba wykonawców projektu: 6

Konkurs: SONATA BIS 6 - ogłoszony 2016-06-15

Przyznana kwota: 1 476 350 PLN

Rozpoczęcie projektu: 2017-04-18

Czas trwania projektu: 60 miesięcy

Status projektu: Projekt w realizacji

Opis Projektu

Pobierz opis projektu w formacie .pdf

Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.

Dane z raportu końcowego

  • Publikacje w czasopismach (11)
  1. Topological dynamics and the complexity of strong types IF: 0,796
    Autorzy:
    Krzysztof Krupiński, Anand Pillay, Tomasz Rzepecki
    Czasopismo:
    Israel Journal of Mathematics (rok: 2018, tom: 228, strony: 863-932), Wydawca: Springer
    Status:
    Opublikowane
    Doi:
    10.1007/s11856-018-1780-3 - link do publikacji
  2. Amenability, definable groups, and automorphism groups IF: 1,633
    Autorzy:
    Krzysztof Krupiński, Anand Pillay
    Czasopismo:
    Advances in Mathematics (rok: 2019, tom: 345, strony: 1253-1299), Wydawca: Elsevier
    Status:
    Opublikowane
    Doi:
    10.1016/j.aim.2019.01.033 - link do publikacji
  3. Hyperfields, truncated DVRs, and valued fields
    Autorzy:
    Junguk Lee
    Status:
    Złożone
  4. Amenability and definability
    Autorzy:
    Ehud Hrushovski, Krzysztof Krupiński, Anand Pillay
    Status:
    Złożone
  5. Monotone theories
    Autorzy:
    S. Moconja, P. Tanovic
    Status:
    Złożone
  6. Stationary ordered types and the number of countable models
    Autorzy:
    S. Moconja, P. Tanovic
    Status:
    Złożone
  7. Geometric stability theory for $\mu$-structures
    Autorzy:
    Junguk Lee, Michael Cohen, Phillip Wesolek
    Status:
    Złożone
  8. Hereditary G-compactness
    Autorzy:
    Tomasz Rzepecki
    Status:
    Złożone
  9. Galois groups as quotients of Polish groups
    Autorzy:
    Krzysztof Krupiński, Tomasz Rzepecki
    Status:
    Złożone
  10. Definable sets in coloured orders
    Autorzy:
    D. Ilic, S. Moconja, P. Tanovic
    Status:
    Złożone
  11. Boundedness and absoluteness of some dynamical invariants in model theory
    Autorzy:
    Krzysztof Krupiński, Ludomir Newelski, Pierre Simon
    Status:
    Złożone