A definable condensation of linear orderings


Dejan Ilić, Predrag Tanović




We introduce an $\mathcal L_{\omega,\omega}$-definable condensation suitable for studying a class of elementary equivalent linear orderings.