Mickael Matusinski

activity

20092023

most citedThe exponential-logarithmic equivalence classes of surreal numbers

15 citations · 74 across the 12 of their papers we have counts for

collaborators

Showing 2020Show all

2 papers · 1 filter

math.DS2020★ 2 cited

Solutions of definable ODEs with regular separation and dichotomy interlacement versus Hardy

Olivier Le Gal, Mickaël Matusinski, Fernando Sanz Sánchez

We introduce a notion of regular separation for solutions of systems of ODEs $y^{'} = F (x, y)$ , where F is definable in a polynomially bounded o-minimal structure and $y = (y_{1}, y_{2})$ . Gi…

math.LO2020

Quantifier elimination for quasi-real closed fields

Mickaël Matusinski, Simon Müller

We prove quantifier elimination for the theory of quasi-real closed fields with a compatible valuation. This unifies the same known results for algebraically closed valued fields a…