Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Związki teorii modeli z topologią i algebrą

2012/07/B/ST1/03513

Słowa kluczowe:

teoria modeli dynamika topologiczna struktura polska struktura o-minimalna grupa formalna

Deskryptory:

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

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):

dr hab. Krzysztof Krupiński 

Liczba wykonawców projektu: 5

Konkurs: OPUS 4 - ogłoszony 2012-09-15

Przyznana kwota: 585 000 PLN

Rozpoczęcie projektu: 2013-06-26

Zakończenie projektu: 2016-06-25

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

Status projektu: Projekt rozliczony

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (18)
  1. Existentially closed fields with G-derivations
    Autorzy:
    D. Hoffmann, P. Kowalski
    Czasopismo:
    Journal of the London Mathematical Society (rok: 2016, tom: 93, strony: 590-618), Wydawca: London Mathematical Society
    Status:
    Opublikowana
    Doi:
    10.1112/jlms/jdw009 - link do publikacji
  2. Superrosy fields and valuations
    Autorzy:
    K. Krupiński
    Czasopismo:
    Annals of Pure and Applied Logic (rok: 2015, tom: 166, strony: 342-357), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.apal.2014.11.006 - link do publikacji
  3. A Product of closed tame sets need not be closed in the profinite topology
    Autorzy:
    J. Gismatullin
    Czasopismo:
    Mathematische Zeitschrift , Wydawca: Springer
    Status:
    Złożona
  4. Topological dynamics and the complexity of strong types
    Autorzy:
    K. Krupiński, A. Pillay, T. Rzepecki
    Czasopismo:
    Journal of the American Mathematical Society , Wydawca: American Mathematical Society
    Status:
    Złożona
  5. A note on extending actions of infinitesimal group schemes
    Autorzy:
    D. Hoffmann, P. Kowalski
    Czasopismo:
    Journal of Algebra (rok: 2016, tom: 446, strony: 275-290), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.jalgebra.2015.08.031 - link do publikacji
  6. Strongly minimal reducts of valued fields
    Autorzy:
    P. Kowalski, S. Randriambololona
    Czasopismo:
    Journal of Symbolic Logic (rok: 2016, tom: 81, strony: 510-523), Wydawca: Association for Symbolic Logic
    Status:
    Opublikowana
    Doi:
    10.1017/jsl.2015.61 - link do publikacji
  7. Generalized Bohr compactification and model-theoretic connected components
    Autorzy:
    K. Krupiński, A. Pillay
    Czasopismo:
    Mathematical Proceedings of the Cambridge Philosophical Society , Wydawca: Elsevier
    Status:
    Przyjęta do publikacji
  8. Soficity of group extensions
    Autorzy:
    J. Gismatullin
    Czasopismo:
    Inventiones mathematicae , Wydawca: Springer
    Status:
    Złożona
  9. Uniform simplicity of groups with proximal action
    Autorzy:
    Światosław R. Gal and Jakub Gismatullin (with an appendix by Nir Lazarovich)
    Czasopismo:
    Transactions of the American Mathematical Society , Wydawca: American Mathematical Society
    Status:
    Złożona
  10. Locally finite profinite rings
    Autorzy:
    J. Dobrowolski, K. Krupiński
    Czasopismo:
    Journal of Algebra (rok: 2014, tom: 401, strony: 161-178), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.jalgebra.2013.11.020 - link do publikacji
  11. On model-theoretic connected components in some group extensions
    Autorzy:
    J. Gismatullin, K. Krupiński
    Czasopismo:
    Journal of Mathematical Logic (rok: 2015, tom: 15, strony: 1550009 (51 stron)), Wydawca: World Scientific
    Status:
    Opublikowana
    Doi:
    10.1142/S0219061315500099 - link do publikacji
  12. Some model theory of SL(2,R)
    Autorzy:
    J. Gismatullin, D. Penazzi, A. Pillay
    Czasopismo:
    Fundamenta Mathematicae (rok: 2015, tom: 229, strony: 117-128), Wydawca: Instytut Matematyczny Paolskiej Akademii Nauk
    Status:
    Opublikowana
    Doi:
    10.4064/fm229-2-2 - link do publikacji
  13. Ax-Schanuel condition in arbitrary characteristic
    Autorzy:
    P. Kowalski
    Czasopismo:
    Journal of the Institute of Mathematics of Jussieu , Wydawca: Johns Hopkins University Press
    Status:
    Złożona
  14. Integrating Hasse Schmidt derivations
    Autorzy:
    D. Hoffmann, P. Kowalski
    Czasopismo:
    Journal of Pure and Applied Algebra (rok: 2015, tom: 219, strony: 875-896), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.jpaa.2014.05.024 - link do publikacji
  15. Smoothness of bounded invariant equivalence relations
    Autorzy:
    K. Krupiński, T. Rzepecki
    Czasopismo:
    Journal of Symbolic Logic (rok: 2016, tom: 81, strony: 326-356), Wydawca: Association for Symbolic Logic
    Status:
    Opublikowana
    Doi:
    10.1017/jsl.2015.44 - link do publikacji
  16. Existentially closed fields with finite group actions
    Autorzy:
    D. Hoffmann, P. Kowalski
    Czasopismo:
    Journal of Mathematical Logic , Wydawca: World Scientific
    Status:
    Złożona
  17. Definable topological dynamics
    Autorzy:
    K. Krupiński
    Czasopismo:
    J. Symbolic Logic , Wydawca: Association for Symbolic Logic
    Status:
    Złożona
  18. Open covers of open definable sets in o-minimal structures
    Autorzy:
    R. Wencel
    Czasopismo:
    Mathematical Logic Quarterly , Wydawca: John Wiley and Sons
    Status:
    Złożona