Kueker's conjecture for stable theories
first order complete countable theory categorical in some infinite power
theories which interpret a linear ordering
scientific article