6 citations · 20 across the 9 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
math.LO2018
Defining integer valued functions in rings of continuous definable functions over a topological field
Luck Darnière, Marcus Tressl
Let K be an expansion of either an ordered field or a valued field. Given a definable set X K<sup>m</sup> let C(X) be the ring of continuous definable functions from X…
math.LO2018★ 2 cited
On the model-completion of Heyting algebras
Luck Darnière
We axiomatize the model-completion of the theory of Heyting algebras by means of the "Density" and "Splitting" properties in [DJ18], and of a certain "QE Property" that we introduc…
math.LO2018★ 1 cited
Model completion of scaled lattices and co-Heyting algebras of p-adic semi-algebraic sets
Luck Darnière
Let p be prime number, K be a p-adically closed field, X K^m a semi-algebraic set defined over K and L(X) the lattice of semi-algebraic subsets of X which are closed in…