Related papers: The isomorphism theorem for linear fragments of co…
As consequence of the VC theorem, any pseudo-finite measure over an NIP ultraproduct is generically stable. We demonstrate a converse of this theorem and prove that any finitely approximable measure over an ultraproduct is itself…
Under $\text{CH}$ we construct a partition of Baire space into compact sets, which is indestructible by countably supported iteration and product of Sacks forcing of any length, answering a question of Newelski. Further, we present an…
In this note, we reformulate Donaldson's construction as a compactness result. Approximately holomorphic sections accumulate to "limit holomorphic sections" and uniform transversality properties of the approximately holomorphic sections…
We discuss the definability of finite graphs in first-order logic with two relation symbols for adjacency and equality of vertices. The logical depth $D(G)$ of a graph $G$ is equal to the minimum quantifier depth of a sentence defining $G$…
Let $G$ be a locally compact group and $\omega$ be a continuous weight on $G$. In this paper, we first characterize bicontinuous biseparating algebra isomorphisms between weighted $L^p$-algebras. As a result we extend previous results of…
An elliptic divisibility sequence, generated by a point in the image of a rational isogeny, is shown to possess a uniformly bounded number of prime terms. This result applies over the rational numbers, assuming Lang's conjecture, and over…
In continuous logic, there are plenty of examples of interesting stable metric structures. However, on the other side of the SOP line, there are only a few metric structures where order is relevant, and orders often appear in different…
Based on results by S.K. Roushon (math.KT/0408243 and math.KT/0405211) this thesis summarizes in an axiomatic way when a Meta-Isomorphism-Conjecture in the sense of Lueck and Reich (math.KT/0402405) is true for fundamental groups of…
One proves that any everywhere defined constructive mapping from a complete metric space into a complete metric space which preserves the property of precompacity of subsets is locally uniformly continuous. This fact can be viewed as…
In this paper (propositional) probability logic ($PL$) is investigated from model theoretic point of view. First of all, the ultraproduct construction is adapted for $\sigma$-additive probability models, and subsequently when this class of…
We develop a theory of Lp spaces based on outer measures rather than measures. This theory includes the classical Lp theory on measure spaces as special case. It also covers parts of potential theory and Carleson embedding theorems. The…
We give a formalism for approximate isomorphism in continuous logic simultaneously generalizing those of two papers by Ben Yaacov and by Ben Yaacov, Doucha, Nies, and Tsankov, which are largely incompatible. With this we explicitly exhibit…
We provide two proofs of the compactness theorem for extensions of first-order logic based on team semantics. First, we build upon L\"uck's ultraproduct construction for team semantics and prove a suitable version of {\L}o\'s' Theorem.…
We investigate the isometric structure of $L^{p}$-spaces for the infinite-dimensional Lebesgue measure $(\mathbb{R}^{\mathbb{N}},\mu)$. Under the continuum hypothesis (CH) we prove $L^{p}(\mu)\cong \ell^{p}(\mathfrak{c},L^{p}[0,1])$, where…
In their study of a binomial sum related to Wolstenholme's theorem, Chamberland and Dilcher prove that the corresponding sequence modulo primes $p$ satisfies congruences that are analogous to Lucas' theorem for the binomial coefficients…
The following theorem is the main result of this note. Theorem 1. Let $(E, \|\cdot\|_E) $ be a rearrangement invariant Banach function space on the interval $[0, 1]$. If $E$ is isometric to $\L_p [0, 1]$ for some $1\le p<\infty$, then $E$…
We study the structure of the spectrum of the algebra of uniformly continuous holomorphic functions on the unit ball of $\ell_p$. Our main focus is the relationship between \emph{Gleason parts} and \emph{fibers}. For every $z \in…
Using the combinatorics of $\alpha$-unimodal sets, we establish two new results in the theory of quasisymmetric functions. First, we obtain the expansion of the fundamental basis into quasisymmetric power sums. Secondly, we prove that…
We study the categorical framework for the computation of persistent homology, without reliance on a particular computational algorithm. The computation of persistent homology is commonly summarized as a matrix theorem, which we call the…
We study the asymptotics and fine-scale behavior of quantitative combinatorial measures of infinite words and related dynamical and algebraic structures. We construct infinite recurrent words $w$ whose complexity functions $p_w(n)$ are…