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 (24)
  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy