11 citations · 18 across the 9 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.LO2019★ 11 cited
Generic derivations on o-minimal structures
Antongiulio Fornasiero, Elliot Kaplan
Let be a complete, model complete o-minimal theory extending the theory RCF of real closed ordered fields in some appropriate language . We study derivations on models $…
cs.LO2019★ 2 cited
Continuous Regular Functions
Alexi Block Gorman, Philipp Hieronymi, Elliot Kaplan +5
Following Chaudhuri, Sankaranarayanan, and Vardi, we say that a function is -regular if there is a Büchi automaton that accepts precisely the set of base $r…