activity
20232025
collaborators

6 papers

math.LO2025

Model theory, differential algebra and functional transcendence

Amador Martin-Pizarro

The goal of this text is to exhibit some of the ideas and methods from geometric model theory, translated to the particular context of differentially closed fields, exhibiting in a…

math.LO2025

Forking independence in differentially closed fields of positive characteristic

Piotr Kowalski, Omar León Sánchez, Amador Martin-Pizarro

We provide a differential-algebraic description of forking independence in the stable theory DCF of differentially closed fields of characteristic with -many commu…

math.LO2025

Supersimplicity and arithmetic progressions

Amador Martin-Pizarro, Daniel Palacín

The main motivation for this article is to explore the connections between the existence of certain combinatorial patterns (as in van der Corputs's theorem on arithmetic progressio…

math.LO2025

An exposition on the supersimplicity of certain expansions of the additive group of the integers

Amador Martin-Pizarro, Daniel Palacín

In this short note, we present a self-contained exposition of the supersimplicity of certain expansions of the additive group of the integers, such as adding a generic predicate (d…

math.LO2024

Non-forking independence in stable theories

Amador Martin-Pizarro

We observe that a simple condition suffices to describes non-forking independence over models in a stable theory. Under mild assumptions, this description can be extended to non-fo…

math.LO2023

Noetherian theories

Amador Martin-Pizarro, Martin Ziegler

A first-order theory is Noetherian with respect to the collection of formulae if every definable set is a Boolean combination of instances of formulae in $\mathcal{F}…