2 papers
math.LO2005
A question of van den Dries and a theorem of Lipshitz and Robinson: Not everything is standard
Ehud Hrushovski, Ya'acov Peterzil
We use a new construction of an o-minimal structure, due to Lipshitz and Robinson, to answer a question of van den Dries regarding the relationship between arbitrary o-minimal expa…
quant-ph2003
Generalizations of Kochen and Specker's Theorem and the Effectiveness of Gleason's Theorem
Ehud Hrushovski, Itamar Pitowsky
Kochen and Specker's theorem can be seen as a consequence of Gleason's theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of…