57 citations · 78 across the 5 of their papers we have counts for
Showing 2008Show all
2 papers · 1 filter
math.LO2008
Expansions of the real field by open sets: definability versus interpretability
H. Friedman, K. Kurdyka, C. Miller +1
An open set U of the real numbers R is produced such that the expansion (R,+,x,U) of the real field by U defines a Borel isomorph of (R,+,x,N) but does not define N. It follows tha…
cs.LO2008
A language for mathematical knowledge management
Steven Kieffer, Jeremy Avigad, Harvey Friedman
We argue that the language of Zermelo Fraenkel set theory with definitions and partial functions provides the most promising bedrock semantics for communicating and sharing mathema…