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 (18)
  1. 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
  2. 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
  3. Generalized Bohr compactification and model-theoretic connected components
    Authors:
    K. Krupiński, A. Pillay
    Academic press:
    Mathematical Proceedings of the Cambridge Philosophical Society , Wydawca: Elsevier
    Status:
    Accepted for publication
  4. Ax-Schanuel condition in arbitrary characteristic
    Authors:
    P. Kowalski
    Academic press:
    Journal of the Institute of Mathematics of Jussieu , Wydawca: Johns Hopkins University Press
    Status:
    Submitted
  5. Uniform simplicity of groups with proximal action
    Authors:
    Światosław R. Gal and Jakub Gismatullin (with an appendix by Nir Lazarovich)
    Academic press:
    Transactions of the American Mathematical Society , Wydawca: American Mathematical Society
    Status:
    Submitted
  6. 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
  7. 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
  8. 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
  9. Open covers of open definable sets in o-minimal structures
    Authors:
    R. Wencel
    Academic press:
    Mathematical Logic Quarterly , Wydawca: John Wiley and Sons
    Status:
    Submitted
  10. Existentially closed fields with finite group actions
    Authors:
    D. Hoffmann, P. Kowalski
    Academic press:
    Journal of Mathematical Logic , Wydawca: World Scientific
    Status:
    Submitted
  11. A Product of closed tame sets need not be closed in the profinite topology
    Authors:
    J. Gismatullin
    Academic press:
    Mathematische Zeitschrift , Wydawca: Springer
    Status:
    Submitted
  12. Definable topological dynamics
    Authors:
    K. Krupiński
    Academic press:
    J. Symbolic Logic , Wydawca: Association for Symbolic Logic
    Status:
    Submitted
  13. 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
  14. 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
  15. Soficity of group extensions
    Authors:
    J. Gismatullin
    Academic press:
    Inventiones mathematicae , Wydawca: Springer
    Status:
    Submitted
  16. 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
  17. Topological dynamics and the complexity of strong types
    Authors:
    K. Krupiński, A. Pillay, T. Rzepecki
    Academic press:
    Journal of the American Mathematical Society , Wydawca: American Mathematical Society
    Status:
    Submitted
  18. 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