Related papers: Effective model-completeness for p-adic analytic s…

Let G be a reductive group over an algebraically closed field k of separably good characteristic p>0 for G. Under these assumptions a Springer isomorphism from the reduced nilpotent scheme of the Lie algebra of G to the reduced unipotent…

We give a new construction of free distributive p-algebras. Our construction relies on a detailed description of completely meet-irreducible congruences, so it is purely universal algebraic. It yields a normal form theorem for p-algebra…

For $A \subseteq \mathbb{N}$, the question of when $R(A) = \{a/a' : a, a' \in A\}$ is dense in the positive real numbers $\mathbb{R}_+$ has been examined by many authors over the years. In contrast, the $p$-adic setting is largely…

The main aim of this work is to show, in the absence of the Axiom of Choice, fundamental results on $\mathbf{E}$-compact extensions of $\mathbf{E}$-completely regular spaces, in particular, on Hewitt realcompactifications and Banaschewski…

In this paper we extend the research programme in algebraic proof theory from axiomatic extensions of the full Lambek calculus to logics algebraically captured by certain varieties of normal lattice expansions (normal LE-logics).…

We provide a complete characterization of theories of tracial von Neumann algebras that admit quantifier elimination. We also show that the theory of a separable tracial von Neumann algebra $\mathcal{N}$ is never model complete if its…

We prove a negative solution to the analogue of Hilbert's tenth problem for rings of one variable non-Archimedean entire functions in any characteristic. In the positive characteristic case we prove more: the ring of rational integers is…

The field of $p$-adic numbers $\mathbb{Q}_p$ and the ring of $p$-adic integers $\mathbb{Z}_p$ are essential constructions of modern number theory. Hensel's lemma, described by Gouv\^ea as the "most important algebraic property of the…

The paper describes ergodic (with respect to the Haar measure) functions in the class of all functions, which are defined on (and take values in) the ring of p-adic integers, and which satisfy (at least, locally) Lipschitz condition with…

We say that a theory $T$ is intermediate under effective reducibility if the isomorphism problems among its computable models is neither hyperarithmetic nor on top under effective reducibility. We prove that if an infinitary sentence $T$ is…

Motivated by the classical correspondence between short exact sequences and splitting properties in module theory, this paper examines the projective and injective analogues within the category of Lie algebras. We first show that no Lie…

We give, in Sections 2 and 3, an english translation of: {\it Classes g\'en\'eralis\'ees invariantes}, J. Math. Soc. Japan, 46, 3 (1994), with some improvements and with notations and definitions in accordance with our book: {\it Class…

Sen's theorem on the ramification of a $p$-adic analytic Galois extension of $p$-adic local fields shows that its perfectoidness is equivalent to the non-vanishing of its arithmetic Sen operator. By developing $p$-adic Hodge theory for…

We prove a strong form of model completenes for expansions of the field of real numbers by (the real and imaginary parts of) the modular function J, by the modular forms $E_4$ and $E_6$ and quasimodular form $E_2$ defined in the usual…

In this paper we introduce a model theoretic construction for the theories of uniform layered domains and semifields introduced in the paper of Izhakian, Knebusch and Rowen. We prove that, for a given layering semiring L, the theory of…

This paper explores the fine-grained structure of classes of regular languages maintainable in fragments of first-order logic within the dynamic descriptive complexity framework of Patnaik and Immerman. A result by Hesse states that the…

This article presents two constructions motivated by a conjecture of L. van den Dries and C. Miller concerning the restricted analytic field with exponentiation. The first construction provides an example of two o-minimal expansions of a…

Let $p$ be an integer $\geq2$ and let $K$ be a global field. A foliated $p$-adic F-series is a function $X$ of a $p$-adic integer variable $\mathfrak{z}$ satisfying the functional equations…

We generalize some of the central results in automata theory to the abstraction level of coalgebras and thus lay out the foundations of a universal theory of automata operating on infinite objects. Let F be any set functor that preserves…

We prove a cell decomposition theorem for Presburger sets and introduce a dimension theory for Z-groups with the Presburger structure. Using the cell decomposition theorem we obtain a full classification of Presburger sets up to definable…