An o-minimal Szemerédi-Trotter theorem

We prove an analog of the Szemerédi-Trotter Theorem in the plane for definable curves and points in any o-minimal structure over an arbitrary real closed field R. One new ingredient in the proof is an extension of the well known crossing number inequality for graphs to the case of embeddings in any o-minimal structure over an arbitrary real closed field.