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:
  • ST1_6:
  • ST1_2:

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 Cyprian 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:: 84 months (the same as in the proposal)

Project status: Project settled

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.

Information in the final report

  • Publication in academic press/journals (30)
  1. Boundedness and absoluteness of some dynamical invariants in model theory
    Authors:
    Krzysztof Krupiński, Ludomir Newelski, Pierre Simon
    Academic press:
    Journal of Mathematical Logic (rok: 2019, tom: 19, strony: 1950012 (55 pages)), Wydawca: World Scientific
    Status:
    Published
    DOI:
    10.1142/S0219061319500120 - link to the publication
  2. Topological dynamics and the complexity of strong types
    Authors:
    Krzysztof Krupiński, Anand Pillay, Tomasz Rzepecki
    Academic press:
    Israel Journal of Mathematics (rok: 2018, tom: 228, strony: 863-932), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s11856-018-1780-3 - link to the publication
  3. Ramsey theory and topological dynamics for first order theories
    Authors:
    Krzysztof Krupiński, Junguk Lee, Slavko Moconja
    Academic press:
    Transactions of the American Mathematical Society (rok: 2022, tom: 375, strony: 2553-2596), Wydawca: American Mathematical Society
    Status:
    Published
    DOI:
    10.1090/tran/8594 - link to the publication
  4. Generating ideals by additive subgroups of rings
    Authors:
    Krzysztof Krupiński, Tomasz Rzepecki
    Academic press:
    Annals of Pure and Applied Logic (rok: 2022, tom: 173, strony: 103119), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.apal.2022.103119 - link to the publication
  5. Stationary ordered types and the number of countable models
    Authors:
    S. Moconja, P. Tanovic
    Academic press:
    Annals of Pure and Applied Logic (rok: 2020, tom: 171, strony: 102765), Wydawca: Elseveir
    Status:
    Published
    DOI:
    10.1016/j.apal.2019.102765 - link to the publication
  6. The externally definable Ramsey property and fixed points on type spaces
    Authors:
    Nadav Meir and Robert Sullivan
    Academic press:
    Archive for Mathematical Logic , Wydawca: Springer
    Status:
    Submitted
    DOI:
    Brak - link to the publication
  7. Infinite lexicographic products
    Authors:
    Nadav Meir
    Academic press:
    Annals of Pure and Applied Logic (rok: 2022, tom: 173, strony: 45680), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.apal.2021.102991 - link to the publication
  8. Around Rubin's "Theories of linear order"
    Authors:
    D. Ilic, S. Moconja, P. Tanovic
    Academic press:
    Journal of Symbolic Logic (rok: 2020, tom: 85, strony: 1403-1426), Wydawca: Cambridge University Press (opublikowane dla Association for Symbolic Logic)
    Status:
    Published
    DOI:
    10.1017/jsl.2020.68 - link to the publication
  9. Practical and Structural Infinitary expansions
    Authors:
    Nadav Meir and Aris Papadopoulos
    Academic press:
    Israel Journal of Mathematics , Wydawca: Hebrew University Mgnes Press
    Status:
    Submitted
    DOI:
    Brak - link to the publication
  10. Locally compact models for approximate rings
    Authors:
    Krzysztof Krupiński
    Academic press:
    Mathematische Annalen (rok: 2024, tom: 389, strony: 719-743), Wydawca: Springer Heidelberg
    Status:
    Published
    DOI:
    10.1007/s00208-023-02655-1 - link to the publication
  11. Galois groups as quotients of Polish groups
    Authors:
    Krzysztof Krupiński, Tomasz Rzepecki
    Academic press:
    Journal of Mathematical Logic (rok: 2020, tom: 20, strony: 2050018 (48 pages)), Wydawca: World Scientific
    Status:
    Published
    DOI:
    10.1142/S021906132050018X - link to the publication
  12. Amenability, definable groups, and automorphism groups
    Authors:
    Krzysztof Krupiński, Anand Pillay
    Academic press:
    Advances in Mathematics (rok: 2019, tom: 345, strony: 1253-1299), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.aim.2019.01.033 - link to the publication
  13. n-dependent continuous theories and hyperdefinable sets.
    Authors:
    Adrian Portillo
    Academic press:
    Annals of Pure and Applied Logic , Wydawca: Elsevier
    Status:
    Submitted
    DOI:
    brak - link to the publication
  14. Definable convolution and idempotent Keisler measures III. Generic stability, generic transitivity, and revised Newelski's conjecture
    Authors:
    Artem Chernikov, Kyle Gannon, Krzysztof Krupiński
    Academic press:
    Journal of the American Mathematical Society , Wydawca: American Mathematical Society
    Status:
    Submitted
    DOI:
    brak - link to the publication
  15. Generalized locally compact models for approximate groups
    Authors:
    Krzysztof Krupiński, Anand Pillay
    Academic press:
    Advances in Mathematics , Wydawca: Elsevier
    Status:
    Submitted
    DOI:
    brak - link to the publication
  16. Elementary equivalence theorem for PAC structures
    Authors:
    Jan Dobrowolski, Daniel Max Hoffmann, Junguk Lee
    Academic press:
    Journal of Symbolic Logic (rok: 2020, tom: 85, strony: 1467-1498), Wydawca: Cambridge University Press (opublikowane dla Association for Symbolic Logic)
    Status:
    Published
    DOI:
    10.1017/jsl.2020.61 - link to the publication
  17. Hereditary G-compactness
    Authors:
    Tomasz Rzepecki
    Academic press:
    Archive for Mathematical Logic (rok: 2021, tom: 60, strony: 837-856), Wydawca: Springer Verlag
    Status:
    Published
    DOI:
    10.1007/s00153-021-00763-w - link to the publication
  18. On the topological dynamics of automorphism groups; a model-theoretic perspective
    Authors:
    Krzysztof Krupiński, Anand Pillay
    Academic press:
    Archive for Mathematical Logic (rok: 2023, tom: 62, strony: 505529), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s00153-022-00850-6 - link to the publication
  19. Invariant measures in simple and in small theories
    Authors:
    A. Chernikov, E. Hrushovski, A. Kruckman, K. Krupiński, S. Moconja, A. Pillay, N. Ramsey
    Academic press:
    Journal of Mathematical Logic (rok: 2023, tom: 23, strony: 2250025 (37 pages)), Wydawca: World Scientific
    Status:
    Published
    DOI:
    10.1142/S0219061322500258 - link to the publication
  20. On first order amenability
    Authors:
    Ehud Hrushovski, Krzysztof Krupiński, Anand Pillay
    Academic press:
    Selecta Mathematica, New Series , Wydawca: Springer
    Status:
    Submitted
    DOI:
    bark - link to the publication
  21. Bohr compactifications of groups and rings
    Authors:
    Jakub Gismatullin, Grzegorz Jagiella, Krzysztof Krupiński
    Academic press:
    Journal of Symbolic Logic (rok: 2023, tom: 88, strony: 1103 - 1137), Wydawca: Cambridge University Press (opublikowane dla Association for Symbolic Logic)
    Status:
    Published
    DOI:
    10.1017/jsl.2022.10 - link to the publication
  22. Does weak quasi-o-minimality behave better than weak o-minimality?
    Authors:
    S. Moconja, P. Tanovic
    Academic press:
    Archive for Mathematical Logic (rok: 2022, tom: 61, strony: 81-103), Wydawca: Springer-Verlag
    Status:
    Published
    DOI:
    10.1007/s00153-021-00778-3 - link to the publication
  23. Geometric stability theory for $\mu$-structure
    Authors:
    Junguk Lee
    Academic press:
    Annals of Pure and Applied Logic (rok: 2019, tom: 170, strony: 843-866), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.apal.2019.03.001 - link to the publication
  24. Co-theory of sorted profinite groups for PAC structures
    Authors:
    Daniel Max Hoffmann, Junguk Lee
    Academic press:
    Journal of Mathematical Logic (rok: 2023, tom: 23, strony: 60 pages), Wydawca: World Scientific Publ Co PTE LTD
    Status:
    Published
    DOI:
    10.1142/S0219061322500301 - link to the publication
  25. Pseudo-finite sets, pseudo-o-minimality
    Authors:
    Nadav Meir
    Academic press:
    Journal of Symbolic Logic (rok: 2021, tom: 86, strony: 577-599), Wydawca: Cambridge University Press
    Status:
    Published
    DOI:
    10.1017/jsl.2020.58 - link to the publication
  26. On the automorphism group of the universal homogeneous meet-tree
    Authors:
    Tomasz Rzepecki, Itay Kaplan, Daoud Siniora
    Academic press:
    Journal of Symbolic Logic (rok: 2021, tom: 86,4, strony: 1508-1540), Wydawca: Cambridge University Press
    Status:
    Published
    DOI:
    10.1017/jsl.2021.9 - link to the publication
  27. On stable quotients
    Authors:
    Krzysztof Krupiński, Adrian Portillo
    Academic press:
    Notre Dame Journal of Formal Logic (rok: 2022, tom: 63, strony: 373-394), Wydawca: Duke University Press
    Status:
    Published
    DOI:
    10.1215/00294527-2022-0023 - link to the publication
  28. Amenability, connected components, and definable actions
    Authors:
    Ehud Hrushovski, Krzysztof Krupiński, Anand Pillay
    Academic press:
    Selecta Mathematica, New Series (rok: 2022, tom: 28, 16, strony: 56 stron), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s00029-021-00735-1 - link to the publication
  29. Maximal stable quotients of invariant types in NIP theories
    Authors:
    Krzysztof Krupiński, Adrian Portillo
    Academic press:
    Journal of Symbolic Logic (rok: 2023, tom: Published online, strony: 45682), Wydawca: Cambridge University Press (opublikowane dla Association for Symbolic Logic)
    Status:
    Published
    DOI:
    10.1017/jsl.2023.78 - link to the publication
  30. Hyperfields, truncated DVRs, and valued fields
    Authors:
    Junguk Lee
    Academic press:
    Journal of Number Theory (rok: 2020, tom: 212, strony: 40-71), Wydawca: Academic press INC Elsevier Science
    Status:
    Published
    DOI:
    10.019 - link to the publication

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy