Thesis

Some model-theoretical and geometric properties of fields with jet operators, PhD thesis, Wrocław University, April 2001, dvi or ps or pdf

Papers

  1. Stable Groups and Algebraic Groups, J. London Math. Soc. (1) 61 (2000), 51-57, doi: 10.1112/S0024610799008261, pdf
  2. (with Anand Pillay) Proalgebraic and differential algebraic group structures on affine spaces, Amer. J. Math. 122 (2000), 213-221, doi: 10.1353/ajm.2000.0004, pdf
  3. (with Marcin Chałupnik) Lazard's Theorem for differential algebraic and proalgebraic groups, Pacific J. Math. (2) 202 (2002), 305-312, doi: 10.2140/pjm.2002.202.305, pdf
  4. (with Anand Pillay) A Note on Groups Definable in Difference Fields, Proc. of AMS (1) 130 (2002), 205-212, doi: 10.1090/S0002-9939-01-06004-X, pdf
  5. Derivations of the Frobenius map, Journal of Symbolic Logic, (1) 70 (2005), 99-110, doi: 10.2178/jsl/1107298512, pdf
  6. Geometric axioms for existentially closed Hasse fields, Annals of Pure and Applied Logic, 135 (2005), 286-302, doi: 10.1016/j.apal.2005.02.003, pdf
  7. Jet operators on fields, Journal of Algebra, 289 (2005), 312-319, doi: 10.1016/j.jalgebra.2004.11.012, pdf
  8. (with Anand Pillay) Quantifier elimination for algebraic D-groups, Transactions AMS, 358 (2006) 167-181, doi: 10.1090/S0002-9947-05-03820-1, pdf
  9. (with Anand Pillay) On algebraic sigma-groups, Transactions AMS, 359 (2007) 1325-1337, doi: 10.1090/S0002-9947-06-04312-1, pdf
  10. (with Assaf Hasson) Strongly minimal expansions of (C,+) definable in o-minimal fields, Proc. London Math. Soc., (1) 97 (2008), 117-154, doi: 10.1112/plms/pdm052, pdf
  11. A note on a theorem of Ax, Annals of Pure and Applied Logic, 156 (2008), 96-109, doi: 10.1016/j.apal.2008.06.011, pdf
  12. Schanuel property for additive power series, Israel Journal of Mathematics, (1) 190 (2012), 349-363, doi: 10.1007/s11856-011-0178-2, pdf
  13. (with Anand Pillay) On the isotriviality of projective iterative delta-varieties, Journal of Pure and Applied Algebra, (1) 216 (2012), 20-27, doi: 10.1016/j.jpaa.2011.02.020, pdf
  14. (with Daniel Hoffmann) Integrating Hasse-Schmidt derivations, Journal of Pure and Applied Algebra (4) 219 (2015), 875-896, doi: 10.1016/j.jpaa.2014.05.024, pdf
  15. (with Daniel Hoffmann) A note on extending actions of infinitesimal group schemes, Journal of Algebra, 446 (2016), 275-290, doi: 10.1016/j.jalgebra.2015.08.031, pdf
  16. (with Daniel Hoffmann) Existentially closed fields with G-derivations, J. London Math. Soc. (3) 93 (2016), 590-618, doi: 10.1112/jlms/jdw009, pdf
  17. (with Serge Randriambololona) Strongly minimal reducts of valued fields, Journal of Symbolic Logic, (2) 81 (2016), 510-523, doi: 10.1017/jsl.2015.61, pdf
  18. (with Daniel Hoffmann) Existentially closed fields with finite group actions, Journal of Mathematical Logic, (1) 18 (2018), 1850003 (26 pages), doi: 10.1142/S0219061318500034, pdf
  19. (with Marcin Chałupnik) Difference modules and difference cohomology, Algebra & Number Theory 12-7 (2018), 1559-1580, doi: 10.2140/ant.2018.12.1559, pdf
  20. (with Özlem Beyarslan) Model theory of fields with virtually free group actions, Proc. London Math. Soc., (2) 118 (2019), 221-256, doi: 10.1112/plms.12180, pdf
    There is an irreparable error in the proof of Theorem 3.26 in this paper and we withdraw the claim of having proved that theorem. In fact, that theorem is false in a very strong sense, see Item 27. and Item 28. below.
  21. (with Özlem Beyarslan, Daniel Hoffmann, and Moshe Kamensky) Model theory of fields with free operators in positive characteristic, Transactions AMS, (8) 372 (2019), 5991-6016, doi: 10.1090/tran/7896, pdf
  22. Ax-Schanuel condition in arbitrary characteristic, Journal of the Institute of Mathematics of Jussieu, (6) 18 (2019), 1157-1213, doi: 10.1017/S1474748017000378, pdf
  23. (with Jakub Gogolok) Operators coming from ring schemes, J. London Math. Soc., (3) 106 (2022), 1725-1758, doi: 10.1112/jlms.12609, pdf
  24. (with Marcin Chałupnik) Difference sheaves and torsors, Fundamenta Mathematicae 260 (2023), 111-161, doi: 10.4064/fm66-8-2022, pdf
  25. (with Özlem Beyarslan) Model theory of Galois actions of torsion Abelian groups, Journal of the Institute of Mathematics of Jussieu, (6) 22 (2023), 2943-2985, doi: 10.1017/S1474748022000305, pdf
  26. (with Daniel Hoffmann) Model theory of fields with finite group scheme actions, Journal of Symbolic Logic, (4) 88 (2023), 1443-1468, doi: 10.1017/jsl.2022.21, pdf
  27. (with Özlem Beyarslan) Galois actions of finitely generated groups rarely have model companions, Bull. London Math. Soc., (2) 56 (2024), 847-859, doi: 10.1112/blms.12969, pdf
  28. (with Özlem Beyarslan) Corrigendum: Model theory of fields with virtually free group actions, Proc. London Math. Soc., (4) 128 (2024), Paper No. e12597, doi: 10.1112/plms.12597
  29. Positive characteristic Ax-Schanuel, Model Theory, 3-2 (2024), 685-700, doi: 10.2140/mt.2024.3.685, pdf
  30. (with Daniel Hoffmann) PAC structures as invariants of finite group actions, to appear in Journal of Symbolic Logic, doi: 10.1017/jsl.2023.76, pdf
  31. (with Piotr Błaszkiewicz) The class of Krasner hyperfields is not elementary, preprint, submitted, pdf
  32. (with Daniel Max Hoffmann, Chieu-Minh Tran, and Jinhe Ye) Of model completeness and algebraic groups, preprint, pdf

Preprints and Notes not intended for formal publication

  1. (with Anand Pillay) Subvarieties of commutative meromorphic groups, pdf
  2. Homological algebra (mini-lecture notes), pdf
  3. Algebraic curves (lecture notes), pdf
  4. Model theory (Şirince summer school mini-lecture notes), pdf
  5. Model theory of group actions on fields (lecture notes), pdf

Slides from talks

  1. Strongly minimal sets definable in expansions of RCF (joint work with A. Hasson), o-minimal conference, Leeds, March 2006; seminar talk, Regensburg, June 2006.
  2. Definability in Differential Fields, Logic Colloquium 2007, Wrocław, 14-19 July.
  3. Iterative D-varieties via group scheme actions (joint work with A. Pillay), Atelier MODNET de Théorie des Modèles des corps, Luminy (France), 12-16 November 2007.
  4. Independence in positive characteristic, Geometric Model Theory, a conference in honour of Boris Zilber, in celebration of his 60th birthday; Oxford, March 2010.
  5. Transcendence in positive characteristic, Model Theory Conference in Seoul, May 2010.
  6. Unlikely formal intersections, Workshop Interactions of model theory with number theory and algebraic geometry, MPIM Bonn (Germany), June 2012.
  7. Model Theory of Fields with Operators, Tutorial at PhD's in Logic VIII, Darmstadt (Germany), 9-11 May 2016.
  8. Difference algebra and generic rational cohomology (joint work with M. Chałupnik), Workshop on Interactions between Model Theory and Arithmetic Dynamics, The Fields Institute, Toronto (Canada), 25-29 July 2016.
  9. Difference sheaf cohomology (joint work with M. Chałupnik) Workshop on Recent Applications of Model Theory, The Fields Institute, Toronto, July 22-26, 2019.
  10. PAC differential fields in positive characteristic (joint work with Daniel Max Hoffmann) Second Graduate Students' Workshop on Algebra, Logic and Analysis, University of Szczecin, March 24-25, 2022.
  11. Galois actions of finitely generated groups rarely have model companions (joint work with Özlem Beyarslan) Logic Colloquium, Universität Wien, 14 December 2023.
  12. Model completeness and semisimple groups (joint with Daniel Max Hoffmann, Chieu-Minh Tran, Jinhe Ye) Beijing Model Theory Conference, 9 July 2024.
  13. Model theory and differential equations Baby Steps Beyond the Horizon, Będlewo, 2 September 2024.

Wersja polska

English version