Related papers: On automorphisms groups of structures of countable…

We prove that the theory of the models constructible using finitely many cofinality quantifiers - $C_{\lambda_{1},...,\lambda_{n}}^{*}$ and $C_{<\lambda_{1},...,<\lambda_{n}}^{*}$ for $\lambda_{1},...,\lambda_{n}$ regular cardinals - is…

We prove that for a stable theory $T,$ if $M$ is a saturated model of $T$ of cardinality $\lambda$ where $\lambda > \big|T\big|,$ then $Aut(M)$ has a dense free subgroup on $2^{\lambda}$ generators. This affirms a conjecture of Hodges.

Wright showed that, if a 1-ended simply connected locally compact ANR Y with pro-monomorphic fundamental group at infinity admits a proper Z-action, then that fundamental group at infinity can be represented by an inverse sequence of…

In the first part of the paper, we show that if $\omega \le \kappa < \lambda$ are cardinals, $\kappa^{<\kappa} = \kappa$, and $\lambda$ is weakly compact, then in $V[\M(\kappa,\lambda)]$ the tree property at $\lambda =…

For a cardinal kappa and a model M of cardinality kappa let No(M) denote the number of non-isomorphic models of cardinality kappa which are L_{infty,kappa}--equivalent to M. In [Sh:133] Shelah established that when kappa is a weakly compact…

We provide analogues of the results from [FMR11, CMMR13] in the reference list (which correspond to the case $\kappa = \omega$) for arbitrary $\kappa$-Souslin quasi-orders on any Polish space, for $\kappa$ an infinite cardinal smaller than…

Given a cardinal $\kappa$ that is $\lambda$-supercompact for some regular cardinal $\lambda\geq\kappa$ and assuming $\GCH$, we show that one can force the continuum function to agree with any function $F:[\kappa,\lambda]\cap\REG\to\CARD$…

We investigate structures that can be represented by omega-automata, so called omega-automatic structures, and prove that relations defined over such structures in first-order logic expanded by the first-order quantifiers `there exist at…

Let $\mathsf{KP}$ denote Kripke-Platek Set Theory and let $\mathsf{M}$ be the weak set theory obtained from $\mathsf{ZF}$ by removing the collection scheme, restricting separation to $\Delta_0$-formulae and adding an axiom asserting that…

We consider automorphism groups of some countably categorical structures and their precompact expansions. We prove that automorphism groups of omega-stable omega-categorical structures have metrizable universal minimal flows. We also study…

If B is C*-algebra of finite dimension n>3 then the finite dimensional irreducible representations of the compact quantum automorphism group of B, say G, have the same fusion rules as the ones of SO(3). As consequences, we get (1) a…

In 2007 Phillips and Weaver showed that, assuming the Continuum Hypothesis, there exists an outer automorphism of the Calkin algebra. (The Calkin algebra is the algebra of bounded operators on a separable complex Hilbert space, modulo the…

In this paper, some features of countably $\alpha$-compact topological spaces are presented and proven. The connection between countably $\alpha$% -compact, Tychonoff, and $\alpha$-Hausdorff spaces is explained. The space is countably…

We prove that for any superatomic Boolean Algebra of cardinality >beth_omega there is an automorphism moving uncountably many atoms. Similarly for larger cardinals. Any of those results are essentially best possible.

We study authomorphisms of $Ind$-groups of polynomial automorphisms (wich are singular) via tame approximations. Such objects were pioneeered in research by B.I.Plotkin We obtain a number of properties of $Aut(Aut(A))$, where $A$ is the…

Assuming the existence of a strong cardinal $\kappa$ and a measurable cardinal above it, we force a generic extension in which $\kappa$ is a singular strong limit cardinal of any prescribed cofinality, and such that the tree property holds…

In [BKS15] examples of incomplete sentences are given with maximal models in more than one cardinality. The question was raised whether one can find similar examples of complete sentences. In this paper we give examples of complete…

We study finite p-groups G of coclass upto 4 for which the group Aut_z(G) of all central automorphisms of G is of minimal possible order. As a consequence, we obtain very short and elementary proofs of main results of Sharma and Gumber [7].

A countable poset is ultrahomogeneous if every isomorphism between its finite subposets can be extended to an automorphism. The groups $\operatorname{Aut}(A)$ of such posets $A$ have a natural topology in which $\operatorname{Aut}(A)$ are…

We characterize those countable rooted trees whose full automorphism group has uncountable strong cofinality or contains an open subgroup with ample generics.