Let T be a complete first order theory in a countable relational language L. We assume relation symbols have been added to make each formula equivalent to a predicate. Adjoin a new unary function symbol σ to obtain the language Lσ; TAut is obtained by adding axioms asserting that σ is an L-automorphism. The modern study of the model companion of theories with an automorphism has two aspects. On...

This paper considers some fundamental questions concerning marginally trapped surfaces, or apparent horizons, in Cauchy data sets for the Einstein equation. An area estimate for outermost marginally trapped surfaces is proved. The proof makes use of an existence result for marginal surfaces, in the presence of barriers, curvature estimates, together with a novel surgery construction for margina...

This research combined three distinctly unique and separate measures of corruption into one corruption factor, so as to yield a robust measurement approach to further understand the political and socioeconomic variables of corruption. The findings show that a strong significant variable in measuring corruption is the personal marginal-tax rate, especially in hierarchical based nations. The high...

A recent result of W. Kantor followed by a work of W. Feit has rekindled interest in the longstanding conjecture of finite cyclic planes. In this paper we prove that the order of the multiplier group equals the odd part of the order of the automorphism group of a Singer group if and only if the order of the plane is 2, 3, or 8. This yields another proof for Feit's result mentioned above.

We introduce a new technique for constructing pairwise balanced designs and group divisible designs from finite groups. These constructed designs do not give designs with new parameters but our construction gives rise to designs having a transitive automorphism group that also preserves the resolution classes.

We consider the problem of uniqueness of certain simultaneity structures in flat spacetime. Absolute simultaneity is specified to be a nontrivial equivalence relation which is invariant under the automorphism group Aut of spacetime. Aut is taken to be the identity-component of either the inhomogeneous Galilei group or the inhomogeneous Lorentz group. Uniqueness of standard simultaneity in the f...

We construct two flag-transitive designs with the parameters of the title, and prove that these are the only two examples. One is pointprimitive and related to unitary geometry, while the other is pointimprimitive and constructed from a one-dimensional affine space. This classification may be contrasted with a construction by Mathon and Spence in 1996 of more than 3700 designs with these parame...