Stability and stable groups in continuous logic

We develop several aspects of local and global stability in continuous first order logic. In particular, we study type-definable groups and genericity

The existence of superluminal particles is consistent with the kinematics of Einstein's special theory of relativity

Within an axiomatic framework of kinematics, we prove that the existence of faster than light particles is logically independent of Einstein's special theory of relativity. Consequently, it is consistent with the kinematics of special relativity that there might be faster than light particles.Comment: 19 pages, 3 figure

Simplicity of the automorphism groups of some Hrushovski constructions

We show that the automorphism groups of certain countable structures obtained using the Hrushovski amalgamation method are simple groups. The structures we consider are the 'uncollapsed' structures of infinite Morley rank obtained by the ab initio construction and the (unstable) omega-categorical pseudoplanes. The simplicity of the automorphism groups of these follows from results which generalize work of Lascar and of Tent and Ziegler.Comment: 35 page