This work focuses on the ongoing research of lineability (the search for large linear structures within certain non-linear sets) in non-Archimedean frameworks. Among several other results, we show that there exist large linear structures inside each of the following sets: (i) functions with a fixed closed subset of continuity, (ii) all continuous functions that are not Darboux continuous (or vice versa), (iii) all functions whose Dieudonné integral does not behave as an antiderivative, and (iv) functions with finite range and having antiderivative.

In this article, we study the commutativity between the pull-back and the push-forward functors on constructible functions in Cluckers–Loeser motivic integration.

We relate Popper functions to regular and perfectly additive such non-Archimedean probability functions by means of a representation theorem: every such non-Archimedean probability function is infinitesimally close to some Popper function, and vice versa. We also show that regular and perfectly additive non-Archimedean probability functions can be given a lexicographic representation. Thus Popper functions, a specific kind of non-Archimedean probability functions, and lexicographic probability functions triangulate to the same place: they are in a good sense interchangeable.

The General Curve Lemma is a tool of Infinite-Dimensional Analysis that enables refined studies of differentiability properties of maps between real locally convex spaces to be made. In this article, we generalize the General Curve Lemma in two ways. First, we remove the condition of local convexity in the real case. Second, we adapt the lemma to the case of curves in topological vector spaces over ultrametric fields.

We show that every countable direct system of finite-dimensional real or complex Lie groups has a direct limit in the category of Lie groups modelled on locally convex spaces. This enables us to push all basic constructions of finite-dimensional Lie theory to the case of direct limit groups. In particular, we obtain an analogue of Lie's third theorem: every countable-dimensional locally finite real or complex Lie algebra arises as the Lie algebra of some regular Lie group (a suitable direct limit group).