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 Cyprian 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: 84 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

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 (28)
  1. Generating ideals by additive subgroups of rings
    Autorzy:
    Krzysztof Krupiński, Tomasz Rzepecki
    Czasopismo:
    Annals of Pure and Applied Logic (rok: 2022, tom: 173, strony: 103119), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.apal.2022.103119 - link do publikacji
  2. Co-theory of sorted profinite groups for PAC structures
    Autorzy:
    Daniel Max Hoffmann, Junguk Lee
    Czasopismo:
    Journal of Mathematical Logic (rok: 2023, tom: 23, strony: 60 pages), Wydawca: World Scientific Publ Co PTE LTD
    Status:
    Opublikowana
    Doi:
    10.1142/S0219061322500301 - link do publikacji
  3. Hyperfields, truncated DVRs, and valued fields
    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
  4. Invariant measures in simple and in small theories
    Autorzy:
    A. Chernikov, E. Hrushovski, A. Kruckman, K. Krupiński, S. Moconja, A. Pillay, N. Ramsey
    Czasopismo:
    Journal of Mathematical Logic (rok: 2023, tom: 23, strony: 2250025 (37 pages)), Wydawca: World Scientific
    Status:
    Opublikowana
    Doi:
    10.1142/S0219061322500258 - link do publikacji
  5. Geometric stability theory for $\mu$-structure
    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
  6. Bohr compactifications of groups and rings
    Autorzy:
    Jakub Gismatullin, Grzegorz Jagiella, Krzysztof Krupiński
    Czasopismo:
    Journal of Symbolic Logic (rok: 2023, tom: 88, strony: 1103 - 1137), Wydawca: Cambridge University Press (opublikowane dla Association for Symbolic Logic)
    Status:
    Opublikowana
    Doi:
    10.1017/jsl.2022.10 - link do publikacji
  7. Invariant measures in simple and in small theories
    Autorzy:
    A. Chernikov, E. Hrushovski, A. Kruckman, K. Krupiński, S. Moconja, A. Pillay, N. Ramsey
    Czasopismo:
    Journal of Mathematical Logic (rok: 2023, tom: 23, strony: 2250025 (37 pages)), Wydawca: World Scientific
    Status:
    Opublikowana
    Doi:
    10.1142/S0219061322500258 - link do publikacji
  8. Maximal stable quotients of invariant types in NIP theories
    Autorzy:
    Krzysztof Krupiński, Adrian Portillo
    Czasopismo:
    Journal of Symbolic Logic (rok: 2023, tom: Published online, strony: 45682), Wydawca: Cambridge University Press (opublikowane dla Association for Symbolic Logic)
    Status:
    Opublikowana
    Doi:
    10.1017/jsl.2023.78 - link do publikacji
  9. Geometric stability theory for $\mu$-structure
    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
  10. Around Rubin's "Theories of linear order"
    Autorzy:
    D. Ilic, S. Moconja, P. Tanovic
    Czasopismo:
    Journal of Symbolic Logic (rok: 2020, tom: 85, strony: 1403-1426), Wydawca: Cambridge University Press (opublikowane dla Association for Symbolic Logic)
    Status:
    Opublikowana
    Doi:
    10.1017/jsl.2020.68 - link do publikacji
  11. Boundedness and absoluteness of some dynamical invariants in model theory
    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
  12. Around Rubin's "Theories of linear order"
    Autorzy:
    D. Ilic, S. Moconja, P. Tanovic
    Czasopismo:
    Journal of Symbolic Logic (rok: 2020, tom: 85, strony: 1403-1426), Wydawca: Cambridge University Press (opublikowane dla Association for Symbolic Logic)
    Status:
    Opublikowana
    Doi:
    10.1017/jsl.2020.68 - link do publikacji
  13. Stationary ordered types and the number of countable models
    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
  14. Hereditary G-compactness
    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
  15. Infinite lexicographic products
    Autorzy:
    Nadav Meir
    Czasopismo:
    Annals of Pure and Applied Logic (rok: 2022, tom: 173, strony: 45680), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.apal.2021.102991 - link do publikacji
  16. Pseudo-finite sets, pseudo-o-minimality
    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
  17. Amenability, connected components, and definable actions
    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
  18. On the topological dynamics of automorphism groups; a model-theoretic perspective
    Autorzy:
    Krzysztof Krupiński, Anand Pillay
    Czasopismo:
    Archive for Mathematical Logic (rok: 2023, tom: 62, strony: 505529), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s00153-022-00850-6 - link do publikacji
  19. Ramsey theory and topological dynamics for first order theories
    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
  20. Galois groups as quotients of Polish groups
    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
  21. Locally compact models for approximate rings
    Autorzy:
    Krzysztof Krupiński
    Czasopismo:
    Mathematische Annalen (rok: 2024, tom: 389, strony: 719-743), Wydawca: Springer Heidelberg
    Status:
    Opublikowana
    Doi:
    10.1007/s00208-023-02655-1 - link do publikacji
  22. Does weak quasi-o-minimality behave better than weak o-minimality?
    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
  23. Topological dynamics and the complexity of strong types
    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
  24. Amenability, definable groups, and automorphism groups
    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
  25. On the automorphism group of the universal homogeneous meet-tree
    Autorzy:
    Tomasz Rzepecki, Itay Kaplan, Daoud 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
  26. Topological dynamics and the complexity of strong types
    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
  27. On stable quotients
    Autorzy:
    Krzysztof Krupiński, Adrian Portillo
    Czasopismo:
    Notre Dame Journal of Formal Logic (rok: 2022, tom: 63, strony: 373-394), Wydawca: Duke University Press
    Status:
    Opublikowana
    Doi:
    10.1215/00294527-2022-0023 - link do publikacji
  28. Elementary equivalence theorem for PAC structures
    Autorzy:
    Jan Dobrowolski, Daniel Max Hoffmann, Junguk Lee
    Czasopismo:
    Journal of Symbolic Logic (rok: 2020, tom: 85, strony: 1467-1498), Wydawca: Cambridge University Press (opublikowane dla Association for Symbolic Logic)
    Status:
    Opublikowana
    Doi:
    10.1017/jsl.2020.61 - link do publikacji

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy