Ind- and Pro- definable sets Permalink
Kamensky, M. (2007). Ind- and Pro- definable sets. Ann. Pure Appl. Logic, 147(3), 180–186. https://doi.org/10.1016/j.apal.2007.04.003
CV
Publications
Definable groups of partial automorphisms Permalink
Kamensky, M. (2009). Definable groups of partial automorphisms. Selecta Math. (N.S.), 15(2), 295–341. https://doi.org/10.1007/s00029-009-0530-0
The model completion of the theory of modules over finitely generated commutative algebras Permalink
Kamensky, M. (2009). The model completion of the theory of modules over finitely generated commutative algebras. J. Symbolic Logic, 74(3), 734–750. https://doi.org/10.2178/jsl/1245158083
A categorical approach to internality Permalink
Kamensky, M. (2011). A categorical approach to internality. In B. Hart, T. G. Kucera, A. Pillay, P. J. Scott, & R. A. G. Seely (Eds), Models, logics, and higher-dimensional categories (Vol. 53, pp. 139–156). American Mathematical Society. https://arxiv.org/abs/1012.3185
Tannakian formalism over fields with operators Permalink
Kamensky, M. (2013). Tannakian formalism over fields with operators. Int. Math. Res. Not. IMRN, 24, 5571–5622. https://doi.org/10.1093/imrn/rns190
Model theory and the Tannakian formalism Permalink
Kamensky, M. (2015). Model theory and the Tannakian formalism. Trans. Amer. Math. Soc., 367(2), 1095–1120. https://doi.org/10.1090/S0002-9947-2014-06062-5
Interpretations and differential Galois extensions Permalink
Kamensky, M., & Pillay, A. (2016). Interpretations and differential Galois extensions. Int. Math. Res. Not. IMRN, 24, 7390–7413. https://doi.org/10.1093/imrn/rnw019
Imaginaries in separably closed valued fields Permalink
Hils, M., Kamensky, M., & Rideau, S. (2018). Imaginaries in separably closed valued fields. Proc. Lond. Math. Soc. (3), 116(6), 1457–1488. https://doi.org/10.1112/plms.12116
Model theory of fields with free operators in positive characteristic Permalink
Beyarslan, Ö., Hoffmann, D. M., Kamensky, M., & Kowalski, P. (2019). Model theory of fields with free operators in positive characteristic. Trans. Amer. Math. Soc., 372(8), 5991–6016. https://doi.org/10.1090/tran/7896
Peterzil–Steinhorn subgroups and μ-stabilizers in ACF Permalink
Kamensky, M., Starchenko, S., & Ye, J. (2023). Peterzil–Steinhorn subgroups and μ-stabilizers in ACF. J. Inst. Math. Jussieu, 22(3), 1003–1022. https://doi.org/10.1017/S147474802100030X
Higher internal covers Permalink
Kamensky, M. (2023). Higher internal covers. Model Theory, 2(2), 449–479. https://doi.org/10.2140/mt.2023.2.449
Binding groups for algebraic dynamics Permalink
Kamensky, M., & Moosa, R. (2024). Binding groups for algebraic dynamics. Algebra and Number Theory. https://arxiv.org/abs/2405.06092
Talks
Computing the Galois group of a linear differential equation Permalink
Number theory and algebraic geometry seminar, Be’er-Sheva, Israel
Applications of definable automorphism groups Permalink
Model theory seminar, Oxford, UK
Definable groups of Automorphisms Permalink
Oxford Workshop in Model Theory, Oxford University, Oxford, UK
Differential Galois theory Permalink
Pure math seminar, Norwich, UK
Galois groups of linear difference equations Permalink
Annual Conference of the Israel Mathematical Union, Israel
Definable groups of automorphisms Permalink
Model theory seminar, Hamilton, Canada
Definable groups of partial automorphisms Permalink
Model theory seminar, Chicago, USA
Internality and the Tannakian formalism Permalink
Logic seminar, Manchester, UK
Model theory of differential fibre functors Permalink
Differential Fields Workshop, University of Leeds
Model theory of fibre functors Permalink
Model Theory and Algebra Workshop, University of Camerino, Italy
Galois groups in model theory Permalink
Department Colloquium, Waterloo, Canada
Internality to algebraically and differentially closed fields Permalink
Logic Colloquium, Bern, Switzerland
Model theory of the Tannakian formalism Permalink
Logic Seminar, Maryland, USA
Differential tensor categories Permalink
Kolchin Seminar, New-York, USA
A model theoretic approach to the Tannakian formalism Permalink
Algebraic Geometry and Representation theory seminar, Rehovot, Israel
Differential tensor categories and model theory Permalink
Meeting on differential algebraic geometry, USA
Categorical aspects of internality Permalink
Logic Seminar, Waterloo, Canada
Fields with free operators in positive characteristic Permalink
Model-Theoretic Methods in Number Theory and Algebraic Differential Equations, Manchester, UK
Picard-Vessiot Structures Permalink
Kolchin Seminar, New-York, USA
Galois theory of differential equations over general fields of constants Permalink
Model theory seminar, Paris
Higher internal covers Permalink
From Geometric Stability Theory to Tame Geometry, Toronto, Canada
Imaginaries in valued fields of positive characteristic Permalink
Logic Seminar, New-York, USA
Some model theory of rational dynamics Permalink
Colloquium, Jerusalem, Israel
Tannakian Categories (after Deligne) Permalink
Kolchin Seminar, New-York, USA
Tannakian categories over fields with operators Permalink
Interactions between Representation Theory and Model Theory, Canterbury, UK
Tensor Categories for Fields with Operators Permalink
Kolchin Seminar, New-York, USA
Tannakian formalism over fields with operators Permalink
Differential and difference equations, integrable systems, model theory, Leeds, UK
The Tannakian formalism over fields with operators Permalink
Workshop on Interactions between Model Theory and Arithmetic Dynamics, Toronto, Canada
The formalism of generalised operators and related model theoretic questions Permalink
Model theory seminar, Wrocław, Poland
Towards model theory for homotopical structures Permalink
Logic seminar, Jerusalem, Israel