2 papers
math.LO2026
O-minimal open core is not an elementary property
Alexi Block Gorman, Esther Elbaz Saban
Given a structure with a definable topology, its open core is a structure defined on the same universe whose language consists of all open sets of all arities definab…
math.LO2020
Grothendieck ring of the pairing function without cycles
Esther Elbaz Saban
A bijection between and is said to be a pairing function with no cycles, if any composition of its coordinate functions has no fixed point. We compute here the Gr…