Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Interactions between model theory, topology and algebra

2012/07/B/ST1/03513

Keywords:

model theory topological dynamics Polish structure o-minimal structure formal group

Descriptors:

  • ST1_1:
  • ST1_2:
  • ST1_6:

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

dr hab. Krzysztof Cyprian Krupiński 

Number of co-investigators in the project: 5

Call: OPUS 4 - announced on 2012-09-15

Amount awarded: 585 000 PLN

Project start date (Y-m-d): 2013-06-26

Project end date (Y-m-d): 2016-06-25

Project duration:: 36 months (the same as in the proposal)

Project status: Project settled

Information in the final report

  • Publication in academic press/journals (10)
  1. Existentially closed fields with G-derivations
    Authors:
    D. Hoffmann, P. Kowalski
    Academic press:
    Journal of the London Mathematical Society (rok: 2016, tom: 93, strony: 590-618), Wydawca: London Mathematical Society
    Status:
    Published
    DOI:
    10.1112/jlms/jdw009 - link to the publication
  2. Integrating Hasse Schmidt derivations
    Authors:
    D. Hoffmann, P. Kowalski
    Academic press:
    Journal of Pure and Applied Algebra (rok: 2015, tom: 219, strony: 875-896), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.jpaa.2014.05.024 - link to the publication
  3. On model-theoretic connected components in some group extensions
    Authors:
    J. Gismatullin, K. Krupiński
    Academic press:
    Journal of Mathematical Logic (rok: 2015, tom: 15, strony: 1550009 (51 stron)), Wydawca: World Scientific
    Status:
    Published
    DOI:
    10.1142/S0219061315500099 - link to the publication
  4. Locally finite profinite rings
    Authors:
    J. Dobrowolski, K. Krupiński
    Academic press:
    Journal of Algebra (rok: 2014, tom: 401, strony: 161-178), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.jalgebra.2013.11.020 - link to the publication
  5. Some model theory of SL(2,R)
    Authors:
    J. Gismatullin, D. Penazzi, A. Pillay
    Academic press:
    Fundamenta Mathematicae (rok: 2015, tom: 229, strony: 117-128), Wydawca: Instytut Matematyczny Paolskiej Akademii Nauk
    Status:
    Published
    DOI:
    10.4064/fm229-2-2 - link to the publication
  6. Smoothness of bounded invariant equivalence relations
    Authors:
    K. Krupiński, T. Rzepecki
    Academic press:
    Journal of Symbolic Logic (rok: 2016, tom: 81, strony: 326-356), Wydawca: Association for Symbolic Logic
    Status:
    Published
    DOI:
    10.1017/jsl.2015.44 - link to the publication
  7. Superrosy fields and valuations
    Authors:
    K. Krupiński
    Academic press:
    Annals of Pure and Applied Logic (rok: 2015, tom: 166, strony: 342-357), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.apal.2014.11.006 - link to the publication
  8. Strongly minimal reducts of valued fields
    Authors:
    P. Kowalski, S. Randriambololona
    Academic press:
    Journal of Symbolic Logic (rok: 2016, tom: 81, strony: 510-523), Wydawca: Association for Symbolic Logic
    Status:
    Published
    DOI:
    10.1017/jsl.2015.61 - link to the publication
  9. A note on extending actions of infinitesimal group schemes
    Authors:
    D. Hoffmann, P. Kowalski
    Academic press:
    Journal of Algebra (rok: 2016, tom: 446, strony: 275-290), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.jalgebra.2015.08.031 - link to the publication
  10. Generalized Bohr compactification and model-theoretic connected components
    Authors:
    K. Krupiński, A. Pillay
    Status:
    Accepted for publication