### 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

### 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### 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. 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. (2021). Peterzil-Steinhorn subgroups and μ-stabilizers in ACF.

*J. Inst. Math. Jussieu*, 1–20. https://doi.org/10.1017/S147474802100030X

### 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

### Applications of definable automorphism groups Permalink

Logic seminar, Leeds, UK

### Applications of definable automorphism groups Permalink

Modnet review meeting, Belgium

### Definable groups of automorphisms Permalink

Model theory seminar, Hamilton, Canada

### Definable groups of partial automorphisms Permalink

Logic seminar, Notre Dame, USA

### Definable groups of partial automorphisms Permalink

Model theory seminar, Chicago, USA

### Definable groups of partial automorphisms Permalink

Model theory seminar, Urbana-Champaign, 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 the Tannakian formalism Permalink

Research workshop on the model theory of fields, Luminy, France

### 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

### Model theory of the Tannakian formalism Permalink

Model theory seminar, Chicago, USA

### A model theoretic approach to the Tannakian formalism Permalink

Special seminar, Haifa, Israel

### 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

### Fields with free operators in positive characteristic Permalink

Model-Theoretic Methods in Number Theory and Algebraic Differential Equations, Manchester, UK

### Model theory of fibre functors Permalink

Model Theory and Algebra Workshop, University of Camerino, Italy

### Model theory of the Tannakian formalism Permalink

Midwest model theory meeting, USA

### Tannakian Categories (after Deligne) Permalink

Kolchin Seminar, New-York, USA

### Categorical aspects of internality Permalink

Logic Seminar, Waterloo, Canada

### Categorical aspects of internality Permalink

Recent Developments in Model Theory, Olèron, France

### Differential tensor categories Permalink

Midwest model theory day, USA

### 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

### Tensor Categories for Fields with Operators Permalink

Interactions of Model Theory with Number Theory and Algebraic Geometry, Bonn

### Picard-Vessiot Structures Permalink

Kolchin Seminar, New-York, USA

### Galois theory of differential equations over general fields of constants Permalink

Model theory seminar, Paris

### Imaginaries in valued fields of positive characteristic Permalink

Logic Seminar, New-York, USA

### The Tannakian formalism over fields with operators Permalink

Workshop on Interactions between Model Theory and Arithmetic Dynamics, Toronto, Canada