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: wszystkie dziedziny matematyki, teoretyczne oraz stosowane a także podstawy matematyczne informatyki, fizyka matematyczna i statystyka matematyczna

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. 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

Zakończenie projektu: 2024-04-17

Planowany czas trwania projektu: 60 miesięcy (z wniosku)

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/rocznego

  • Publikacje w czasopismach (24)
  1. Elementary equivalence theorem for PAC structures IF: 0,551
    Autorzy:
    Jan Dobrowolski, Daniel Max Hoffmann, Junguk Lee
    Czasopismo:
    Journal of Symbolic Logic (rok: 2020, tom: 212, strony: 40-71), Wydawca: Cambridge University Press
    Status:
    Opublikowana
    Doi:
    10.1017/jsl.2020.61 - link do publikacji
  2. Hereditary G-compactness IF: 0,306
    Autorzy:
    Tomasz Rzepecki
    Czasopismo:
    Archive for Mathematical Logic (rok: 2021, tom: 60, strony: 837-856), Wydawca: Springer Verlag
    Status:
    Opublikowana
    Doi:
    10.1007/s00153-021-00763-w - link do publikacji
  3. Infinite lexicographic products IF: 0,716
    Autorzy:
    Nadav Meir
    Czasopismo:
    Annals of Pure and Applied Logic (rok: 2022, tom: 173, strony: 44949), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.apal.2021.102991 - link do publikacji
  4. Ramsey theory and topological dynamics for first order theories IF: 1,595
    Autorzy:
    Krzysztof Krupiński, Junguk Lee, Slavko Moconja
    Czasopismo:
    Transactions of the American Mathematical Society (rok: 2022, tom: 375, strony: 2553-2596), Wydawca: American Mathematical Society
    Status:
    Opublikowana
    Doi:
    10.1090/tran/8594 - link do publikacji
  5. Bohr compactifications of groups and rings IF: 0,551
    Autorzy:
    Jakub Gismatullin, Grzegorz Jagiella, Krzysztof Krupiński
    Czasopismo:
    Journal of Symbolic Logic , Wydawca: Association for Symbolic Logic
    Status:
    Przyjęta do publikacji
    Doi:
    10.1017/jsl.2022.10 - link do publikacji
  6. Co-theory of sorted profinite groups for PAC structures IF: 0,849
    Autorzy:
    Daniel Max Hoffmann, Junguk Lee
    Czasopismo:
    Journal of Mathematical Logic , Wydawca: World Scientific Publ Co PTE LTD
    Status:
    Złożona
    Doi:
    brak - link do publikacji
  7. Locally compact models for approximate rings IF: 2,548
    Autorzy:
    Krzysztof Krupiński
    Czasopismo:
    Journal of the European Mathematical Society , Wydawca: EMS Publishing House
    Status:
    Złożona
    Doi:
    brak - link do publikacji
  8. Amenability, definable groups, and automorphism groups IF: 1,694
    Autorzy:
    Krzysztof Krupiński, Anand Pillay
    Czasopismo:
    Advances in Mathematics (rok: 2019, tom: 345, strony: 1253-1299), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.aim.2019.01.033 - link do publikacji
  9. Galois groups as quotients of Polish groups IF: 1,137
    Autorzy:
    Krzysztof Krupiński, Tomasz Rzepecki
    Czasopismo:
    Journal of Mathematical Logic (rok: 2020, tom: 20, strony: 2050018 (48 pages)), Wydawca: World Scientific
    Status:
    Opublikowana
    Doi:
    10.1142/S021906132050018X - link do publikacji
  10. On the automorphism group of the universal homogeneous meet-tree IF: 0,551
    Autorzy:
    Tomasz Rzepecki, Itay Kaplan, Daudon Siniora
    Czasopismo:
    Journal of Symbolic Logic (rok: 2021, tom: 86,4, strony: 1508-1540), Wydawca: Cambridge University Press
    Status:
    Opublikowana
    Doi:
    10.1017/jsl.2021.9 - link do publikacji
  11. Pseudo-finite sets, pseudo-o-minimality IF: 0,551
    Autorzy:
    Nadav Meir
    Czasopismo:
    Journal of Symbolic Logic (rok: 2021, tom: 86, strony: 577-599), Wydawca: Cambridge University Press
    Status:
    Opublikowana
    Doi:
    10.1017/jsl.2020.58 - link do publikacji
  12. Stationary ordered types and the number of countable models IF: 0,716
    Autorzy:
    S. Moconja, P. Tanovic
    Czasopismo:
    Annals of Pure and Applied Logic (rok: 2020, tom: 171, strony: 102765), Wydawca: Elseveir
    Status:
    Opublikowana
    Doi:
    10.1016/j.apal.2019.102765 - link do publikacji
  13. Topological dynamics and the complexity of strong types IF: 0,846
    Autorzy:
    Krzysztof Krupiński, Anand Pillay, Tomasz Rzepecki
    Czasopismo:
    Israel Journal of Mathematics (rok: 2018, tom: 228, strony: 863-932), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s11856-018-1780-3 - link do publikacji
  14. On first order amenability IF: 1,36
    Autorzy:
    Ehud Hrushovski, Krzysztof Krupiński, Anand Pillay
    Czasopismo:
    Selecta Mathematica, New Series , Wydawca: Springer
    Status:
    Złożona
    Doi:
    bark - link do publikacji
  15. Around Rubin's "Theories of linear order" IF: 0,551
    Autorzy:
    D. Ilic, S. Moconja, P. Tanovic
    Czasopismo:
    Journal of Symbolic Logic (rok: 2020, tom: 85, strony: 1403-1426), Wydawca: Association for Symbolic Logic
    Status:
    Opublikowana
    Doi:
    10.1017/jsl.2020.68 - link do publikacji
  16. Does weak quasi-o-minimality behave better than weak o-minimality? IF: 0,306
    Autorzy:
    S. Moconja, P. Tanovic
    Czasopismo:
    Archive for Mathematical Logic (rok: 2022, tom: 61, strony: 81-103), Wydawca: Springer-Verlag
    Status:
    Opublikowana
    Doi:
    10.1007/s00153-021-00778-3 - link do publikacji
  17. Geometric stability theory for $\mu$-structure IF: 0,794
    Autorzy:
    Junguk Lee
    Czasopismo:
    Annals of Pure and Applied Logic (rok: 2019, tom: 170, strony: 843-866), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.apal.2019.03.001 - link do publikacji
  18. Boundedness and absoluteness of some dynamical invariants in model theory IF: 1,137
    Autorzy:
    Krzysztof Krupiński, Ludomir Newelski, Pierre Simon
    Czasopismo:
    Journal of Mathematical Logic (rok: 2019, tom: 19, strony: 1950012 (55 pages)), Wydawca: World Scientific
    Status:
    Opublikowana
    Doi:
    10.1142/S0219061319500120 - link do publikacji
  19. Invariant measures in simple and in small theories IF: 0,849
    Autorzy:
    A. Chernikov, E. Hrushovski, A. Kruckman, K. Krupiński, S. Moconja, A. Pillay, N. Ramsey
    Czasopismo:
    Journal of Mathematical Logic , Wydawca: World Scientific
    Status:
    Złożona
    Doi:
    brak - link do publikacji
  20. On stable quotients IF: 0,381
    Autorzy:
    Krzysztof Krupiński, Adrian Portillo
    Czasopismo:
    Notre Dame Journal of Formal Logic , Wydawca: Duke University Press
    Status:
    Złożona
    Doi:
    brak - link do publikacji
  21. On the topological dynamics of automorphism groups; a model-theoretic perspective IF: 0,306
    Autorzy:
    Krzysztof Krupiński, Anand Pillay
    Czasopismo:
    Archive for Mathematical Logic , Wydawca: Springer
    Status:
    Złożona
    Doi:
    brak - link do publikacji
  22. Amenability, connected components, and definable actions IF: 1,36
    Autorzy:
    Ehud Hrushovski, Krzysztof Krupiński, Anand Pillay
    Czasopismo:
    Selecta Mathematica, New Series (rok: 2022, tom: 28, 16, strony: 56 stron), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s00029-021-00735-1 - link do publikacji
  23. Hyperfields, truncated DVRs, and valued fields IF: 0,7
    Autorzy:
    Junguk Lee
    Czasopismo:
    Journal of Number Theory (rok: 2020, tom: 212, strony: 40-71), Wydawca: Academic press INC Elsevier Science
    Status:
    Opublikowana
    Doi:
    10.019 - link do publikacji
  24. Generating ideals by additive subgroups of rings IF: 0,716
    Autorzy:
    Krzysztof Krupiński, Tomasz Rzepecki
    Czasopismo:
    Annals of Pure and Applied Logic , Wydawca: Elsevier
    Status:
    Przyjęta do publikacji
    Doi:
    10.1016/j.apal.2022.103119 - link do publikacji

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy