Related papers: Trace definability II: model-theoretic linearity

We give an example of a definable quotient in an o-minimal structure which cannot be eliminated over any set of parameters, giving a negative answer to a question of Eleftheriou, Peterzil, and Ramakrishnan. Equivalently, there is an…

We prove Zilber's Trichotomy Conjecture for strongly minimal expansions of two-dimensional groups, definable in o-minimal structures: Theorem. Let M be an o-minimal expansion of a real closed field, (G;+) a 2-dimensional group definable in…

We prove that no infinite field is interpretable in the first-order theory of nonabelian free groups. We also obtain a characterization of Abelian groups interpretable in this theory.

We consider interpretable topological spaces and topological groups in a $p$-adically closed field $K$. We identify a special class of "admissible topologies" with topological tameness properties like generic continuity, similar to the…

With this paper, we gain a better understanding of the set of near-field structures on a fixed scalar group. If we were able to describe all near-field structures on a fixed scalar group, we could describe all near-vector spaces. The…

We study first-order logic over unordered structures whose elements carry a finite number of data values from an infinite domain which can be compared wrt. equality. As the satisfiability problem for this logic is undecidable in general, in…

We study the representation theory of the infinite type A Hecke algebra over a non-archimedean field in the case where the parameter is a pseudo-uniformizer. Specifically, we consider a family of representations, called almost-symmetric,…

We prove the following instance of a conjecture stated in arXiv:1103.4770. Let $G$ be an abelian semialgebraic group over a real closed field $R$ and let $X$ be a semialgebraic subset of $G$. Then the group generated by $X$ contains a…

In this paper we work in o-minimal structures with definable Skolem functions and show that a continuous definable map between Hausdorff locally definably compact definable spaces is definably proper if and only if it is proper morphism in…

We investigate the complexity of embeddings between bi-embeddable structures. In analogy with categoricity spectra, we define the bi-embeddable categoricity spectrum of a structure $\mathcal A$ as the family of Turing degrees that compute…

A note connecting arguments scattered in the extant literature proving that, in any o-minimal expansion of the real field, a definable family of sets has the property that the set of parameters corresponding to finite-volume fibers is…

We define nodal finite dimensional algebras and describe their structure over an algebraically closed field. For a special class of such algebras (type A) we find a criterion of tameness.

We continue the analysis of definably compact groups definable in a real closed field $\mathcal{R}$. In [3], we proved that for every definably compact definably connected semialgebraic group $G$ over $\mathcal{R}$ there are a connected…

The use of Extended Logics to replace ordinary second order definability in Kleene's {\em Ramified Analytical Hierarchy} is investigated. This mirrors a similar investigation of Kennedy, Magidor and V\"a\"an\"anen \cite{KeMaVa2016} where…

We show that the weak monadic second order theory of the structure $({\mathbb Q}, <)$ is first order interpretable in its automorphism group.

We classify the weak*-closed maximal left ideals of the measure algebra $M(G)$ for certain Hermitian locally compact groups $G$ in terms of the irreducible representations of $G$ and their asymptotic properties. In particular, we obtain a…

We present sufficient conditions for the existence of matchings in abelian groups and their linear counterparts. These conditions lead to extensions of existing results in matching theory. Additionally, we classify subsets within abelian…

We introduce and study weak o-minimality in the context of complete types in an arbitrary first-order theory. A type $p\in S(A)$ is weakly o-minimal if for some relatively $A$-definable linear order, $<$, on $p(\mathfrak{C})$ every…

We introduce the notion of limiting theories, giving examples and providing a sufficient condition under which the first order theory of a structure is the limit of the first order theories of a collection of substructures. We also give a…

We continue our investigation =of Shelah's interpretability orders $\trianglelefteq^*_\kappa$ as well as the new orders $\trianglelefteq^\times_\kappa$. In particular, we give streamlined proofs of the existence of minimal unstable,…