no code implementations • 7 Jan 2021 • Alexi Block Gorman, Erin Caulfield, Philipp Hieronymi
This paper answers several open questions around structures with o-minimal open core.
Logic 03C64