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: Logic and foundations
  • ST1_2: Algebra
  • ST1_6: Topology

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 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. 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. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. Soficity of group extensions
    Authors:
    J. Gismatullin
    Academic press:
    Inventiones mathematicae , Wydawca: Springer
    Status:
    Submitted
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. Existentially closed fields with finite group actions
    Authors:
    D. Hoffmann, P. Kowalski
    Academic press:
    Journal of Mathematical Logic , Wydawca: World Scientific
    Status:
    Submitted
  17. Definable topological dynamics
    Authors:
    K. Krupiński
    Academic press:
    J. Symbolic Logic , Wydawca: Association for Symbolic Logic
    Status:
    Submitted
  18. 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