For each k 1, let Γk be the countable universal homogeneous k-hypergraph. In this paper, we shall classify the closed permutation groups G such that Aut G Sym. In particular, we shall show that there exist only finitely many such groups G for each k 1. We shall also show that each of the associated reducts of Γk is homogeneous with respect to a finite relational language.

Assuming Martin's Axiom, we compute the value of the cofinality of the symmetric group on the natural numbers. We also show that Martin's Axiom does not decide the value of the covering number of a related Mycielski ideal.

We study the relationship between the cofinality $c(Sym(\omega))$ of the infinite symmetric group and the cardinal invariants $\frak{u}$ and $\frak{g}$ . In particular, we prove the following two results. Theorem 0.1 It is consistent with ZFC that there exists a simple $P_{\omega_{1}}$ -point and that $c(Sym(\omega)) = \omega_{2} = 2^{\omega}$ . Theorem 0.2 If there exist both a simple $P_{\omega_{1}}$ -point and a $P_{\omega_{2}}$ -point, then $c(Sym(\omega)) = \omega_{1}$.

We formulate a Borel version of a corollary of Furman's superrigidity theorem for orbit equivalence and present a number of applications to the theory of countable Borel equivalence relations. In particular, we prove that the orbit equivalence relations arising from the natural actions of on the projective planes over the various p-adic fields are pairwise incomparable with respect to Borel reducibility.

In this paper, we explore some of the consequences of Martin’s Conjecture on degree invariant Borel maps. These include the strongest conceivable ergodicity result for the Turing equivalence relation with respect to the filter on the degrees generated by the cones, as well as the statement that the complexity of a weakly universal countable Borel equivalence relation always concentrates on a null set.

In this paper, we study the relationship between the cofinalityc(Sym(ω)) of the infinite symmetric group and the minimal cardinality $$\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\thicksim}$}}{b} $$ of an unbounded familyF of ω ω.

We present some applications of Popa’s Superrigidity Theorem to the theory of countable Borel equivalence relations. In particular, we show that the universal countable Borel equivalence relation E∞ is not essentially free.

In this paper, we shall discuss some recent contributions to the project [15, 14, 2, 18, 22, 23] of explaining why no satisfactory system of complete invariants has yet been found for the torsion-free abelian groups of finite rank n ≥ 2. Recall that, up to isomorphism, the torsion-free abelian groups of rank n are exactly the additive subgroups of the n-dimensional vector space ℚn which contain n linearly independent elements. Thus the collection of torsion-free abelian groups of rank at (...) most n can be naturally identified with the set S of all nontrivial additive subgroups of ℚn. In 1937, Baer [4] solved the classification problem for the class Sof rank 1 groups as follows.Let ℙ be the set of primes. If G is a torsion-free abelian group and 0 ≠ x ϵ G, then the p-height of x is defined to behx = sup{n ϵ ℕ ∣ There exists y ϵ G such that pny = x} ϵ ℕ ∪{∞}; and the characteristic χ of x is defined to be the function. (shrink)

If G is a centreless group, then τ denotes the height of the automorphism tower of G. We prove that it is consistent that for every cardinal λ and every ordinal α<λ, there exists a centreless group G such that τ=α; and if β is any ordinal such that 1β<λ, then there exists a notion of forcing , which preserves cofinalities and cardinalities, such that τ=β in the corresponding generic extension.

We present some natural examples of countable Borel equivalence relations E, F with E ≤ B F such that there does not exist a continuous reduction from E to F.

We study the isomorphism and bi-embeddability relations on the spaces of Kazhdan groups and finitely generated simple groups.

We prove that if p ≠ q are distinct primes, then the classification problems for p-local and q-local torsion-free abelian groups of rank two are incomparable with respect to Borel reducibility.

Let S be the group of all permutations of the set of natural numbers. The cofinality spectrum CF(S) of S is the set of all regular cardinals λ such that S can be expressed as the union of a chain of λ proper subgroups. This paper investigates which sets C of regular uncountable cardinals can be the cofinality spectrum of S. The following theorem is the main result of this paper. Theorem. Suppose that $V \models GCH$ . Let C be (...) a set of regular uncountable cardinals which satisfies the following conditions. (a) C contains a maximum element. (b) If μ is an inaccessible cardinal such that $\mu = \sup(C \cap \mu)$ , then μ ∈ C. (c) If μ is a singular cardinal such that $\mu = \sup(C \cap \mu)$ , then μ + ∈ C. Then there exists a c.c.c. notion of forcing P such that $V^\mathbb{P} \models CF(S) = C$ . We shall also investigate the connections between the cofinality spectrum and pcf theory; and show that CF(S) cannot be an arbitrarily prescribed set of regular uncountable cardinals. (shrink)

We analyze the two cardinal properties of definable sets in homogeneous graphs.

We prove Borel superrigidity results for suitably chosen actions of groups of the form SL2, where {p1, …, pt} is a finite nonempty set of primes, and present a number of applications to the theory of countable Borel equivalence relations. In particular, for each prime q, we prove that the orbit equivalence relations arising from the natural actions of SL2 on the projective lines ℚp ∪ {∞}, p ≠ q, over the various p-adic fields are pairwise incomparable with respect to (...) Borel reducibility. (shrink)

In this paper, we will prove the inevitable non-uniformity of two constructions from combinatorial group theory related to the word problem for finitely generated groups and the Higman—Neumann—Neumann Embedding Theorem.

The set of complete groups is a complete co-analytic subset of the standard Borel space of countably infinite groups.

We prove that there are no binary homogeneous pseudoplanes.