Sciweavers

LOGCOM
2002
72views more  LOGCOM 2002»
13 years 11 months ago
Definability in Rationals with Real Order in the Background
The paper deals with logically definable families of sets (or point-sets) of rational numbers. In particular we are interested whether the families definable over the real line wi...
Yuri Gurevich, Alexander Moshe Rabinovich