On Symmetric and Antisymmetric Relations.
Let (C,R) be the countable dense circular ordering, and G its automorphism group. It is shown that certain properties of group elements are first order definable in G, and these results are used to reconstruct C inside G, and to demonstrate that its outer automorphism group has order 2. Similar statements hold for the completion C̅.
We study the compositum of all degree extensions of a number field in a fixed algebraic closure. We show contains all subextensions of degree less than if and only if . We prove that for there is no bound on the degree of elements required to generate finite subextensions of . Restricting to Galois subextensions, we prove such a bound does not exist under certain conditions on divisors of , but that one can take when is prime. This question was inspired by work of Bombieri and...