BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

Erik Walsberg

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record
math.LOmath.MG

Catalog footprint

Research overview

16works
2topics
4close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

16 publications

preprint2022arXiv

Interpolative fusions II: Preservation results

We study interpolative fusion, a method of combining theories T1T_1 and T2T_2 in distinct languages in a "generic" way over a common reduct T∩T_\cap, to obtain a theory T∪∗T_\cup^*. When each TiT_i is model-complete, T∪∗T_\cup^* is the model companion of the union T1∪T2T_1\cup T_2. Our goal is to prove preservation results, i.e., to find sufficient conditions under which model-theoretic properties of T1T_1 and T2T_2 are inherited by T∪∗T_\cup^*. We first prove preservation results for quantifier elimination, model-completeness, and related properties. We then apply these tools to show that, under mild hypotheses, including stability of T∩T_\cap, the property NSOP1\mathrm{NSOP}_1 is preserved. We also show that simplicity is preserved under stronger hypotheses on algebraic closure in T1T_1 and T2T_2. This generalizes many previous results; for example, simplicity of ACFA\mathrm{ACFA} and the random nn-hypergraph are both non-obvious corollaries. We also address preservation of stability, NIP\mathrm{NIP}, and ℵ0\aleph_0-categoricity, and we describe examples which witness that these results are sharp.

Open access
preprint2022arXiv

Notes on trace equivalence

We introduce trace definability, a weak notion of interpretability, and trace equivalence, a weak notion of equivalence for first order structures and theories. In particular we get an interesting weak equivalence notion for NIP\mathrm{NIP} theories. We describe a close connection to indiscernible collapse. We also show that if QQ is a divisible subgroup of (R;+)(\mathbb{R};+) and Q\mathcal{Q} is a dp-rank one expansion of (Q;+,<)(Q;+,<) then exactly one of the following holds: Th(Q)\mathrm{Th}(\mathcal{Q}) trace defines RCF\mathrm{RCF} or Q\mathcal{Q} is trace equivalent to a reduct of an ordered vector space.

Open access
preprint2021arXiv

A tetrachotomy for expansions of the real ordered additive group

Let R\mathcal{R} be an expansion of the ordered real additive group. When R\mathcal{R} is o-minimal, it is known that either R\mathcal{R} defines an ordered field isomorphic to (R,<,+,⋅)(\mathbb{R},<,+,\cdot) on some open subinterval I⊆RI\subseteq \mathbb{R}, or R\mathcal{R} is a reduct of an ordered vector space. We say R\mathcal{R} is field-type if it satisfies the former condition. In this paper, we prove a more general result for arbitrary expansions of (R,<,+)(\mathbb{R},<,+). In particular, we show that for expansions that do not define dense ωω-orders (we call these type A expansions), an appropriate version of Zilber's principle holds. Among other things we conclude that in a type A expansion that is not field-type, every continuous definable function [0,1]m→Rn[0,1]^m \to \mathbb{R}^n is locally affine outside a nowhere dense set.

Open access
preprint2020arXiv

Dp-minimal expansions of (Z,+)(\mathbb{Z},+) via dense pairs via Mordell-Lang

This is a contribution to the classification problem for dp-minimal expansions of (Z,+)(\mathbb{Z},+). Let SS be a dense cyclic group order on (Z,+)(\mathbb{Z},+). We use results on "dense pairs" to construct uncountably many dp-minimal expansions of (Z,+,S)(\mathbb{Z},+,S). These constructions are applications of the Mordell-Lang conjecture and are the first examples of "non-modular" dp-minimal expansions of (Z,+)(\mathbb{Z},+). We canonically associate an o-minimal expansion R\mathcal{R} of (R,+,×)(\mathbb{R},+,\times), an R\mathcal{R}-definable circle group H\mathbb{H}, and a character Z→H\mathbb{Z} \to \mathbb{H} to a "non-modular" dp-minimal expansion of (Z,+,S)(\mathbb{Z},+,S). We also construct a "non-modular" dp-minimal expansion of (Z,+,Valp)(\mathbb{Z},+,\mathrm{Val}_p) from the character Z→Zp×\mathbb{Z} \to \mathbb{Z}^\times_p, k↦exp(pk)k \mapsto \mathrm{exp}(pk).

Open access
preprint2020arXiv

Externally definable quotients and NIP expansions of the real ordered additive group

Let R\mathcal{R} be an NIP\mathrm{NIP} expansion of (R,<,+)(\mathbb{R},<,+) by closed subsets of Rn\mathbb{R}^n and continuous functions f:Rm→Rnf : \mathbb{R}^m \to \mathbb{R}^n. Then R\mathcal{R} is generically locally o-minimal. It follows that if X⊆RnX \subseteq \mathbb{R}^n is definable in R\mathcal{R} then the CkC^k-points of XX are dense in XX for any k≥0k \geq 0. This follows from a more general theorem on NIP\mathrm{NIP} expansions of locally compact groups, which itself follows from a result on quotients of definable sets by equivalence relations which are externally definable and ⋀\bigwedge-definable. We also show that R\mathcal{R} is strongly dependent if and only if R\mathcal{R} is either o-minimal or (R,<,+,αZ)(\mathbb{R},<,+,α\mathbb{Z})-minimal for some α>0α> 0.

Open access
preprint2020arXiv

Generalizing a theorem of Bès and Choffrut

Bès and Choffrut recently showed that there are no intermediate structures between (R,<,+)(\mathbb{R},<,+) and (R,<,+,Z)(\mathbb{R},<,+,\mathbb{Z}). We prove a generalization: if R\mathcal{R} is an o-minimal expansion of (R,<,+)(\mathbb{R},<,+) by bounded subsets of Euclidean space then there are no intermediate structures between R\mathcal{R} and (R,Z)(\mathcal{R},\mathbb{Z}). It follows there are no intermediate structures between (R,<,+,sin⁡∣[0,2π])(\mathbb{R},<,+,\sin|_{[0,2π]}) and (R,<,+,sin⁡)(\mathbb{R},<,+,\sin).

Open access
preprint2020arXiv

Nippy proofs of p-adic results of Delon and Yao

Let KK be an elementary extension of Qp\mathbb{Q}_p, VV be the set of finite a∈Ka \in K, st\mathrm{st} be the standard part map Km→QpmK^m \to \mathbb{Q}^m_p, and X⊆KmX \subseteq K^m be KK-definable. Delon has shown that Qpm∩X\mathbb{Q}^m_p \cap X is Qp\mathbb{Q}_p-definable. Yao has shown that dim⁡Qpm∩X≤dim⁡X\dim \mathbb{Q}^m_p \cap X \leq \dim X and dim⁡st(Vn∩X)≤dim⁡X\dim \mathrm{st}(V^n \cap X) \leq \dim X. We give new NIP\mathrm{NIP}-theoretic proofs of these results and show that both inequalities hold in much more general settings. We also prove the analogous results for the expansion Qpan\mathbb{Q}^{\mathrm{an}}_p of Qp\mathbb{Q}_p by all analytic functions Zpn→Qp\mathbb{Z}^n_p \to \mathbb{Q}_p. As an application we show that if (Xk)k∈N(X_k)_{k \in \mathbb{N}} is a sequence of elements of an Qpan\mathbb{Q}^{\mathrm{an}}_p-definable family of subsets of Qpm\mathbb{Q}^m_p which converges in the Hausdroff topology to X⊆QpmX \subseteq \mathbb{Q}^m_p then XX is Qpan\mathbb{Q}^{\mathrm{an}}_p-definable and dim⁡X≤lim sup⁡k→∞dim⁡Xk\dim X \leq \limsup_{k \to \infty} \dim X_k.

Open access
preprint2016arXiv

Interpreting the monadic second order theory of one successor in expansions of the real line

We give sufficient conditions for a first order expansion of the real line to define the standard model of the monadic second order theory of one successor. Such an expansion does not satisfy any of the combinatorial tameness properties defined by Shelah, such as NIP\textrm{NIP} or even NTP2\textrm{NTP}_2. We use this to deduce the first general results about definable sets in NTP2\textrm{NTP}_2 expansions of (R,<,+)(\mathbb{R},<,+).

Open access
preprint2016arXiv

Isometric embeddings of snowflakes into finite-dimensional Banach spaces

We consider a general notion of snowflake of a metric space by composing the distance by a nontrivial concave function. We prove that a snowflake of a metric space XX isometrically embeds into some finite-dimensional normed space if and only if XX is finite. In the case of power functions we give a uniform bound on the cardinality of XX depending only on the power exponent and the dimension of the vector space.

Open access
preprint2015arXiv

On the Topology of Metric Spaces definable in o-minimal expansions of fields

We study the topology of metric spaces which are definable in o-minimal expansions of ordered fields. We show that a definable metric space either contains an infinite definable discrete set or is definably homeomorphic to a definable set equipped with its euclidean topology. This implies that a separable metric space which is definable in an o-minimal expansion of the real field is definably homeomorphic to a definable set equipped with its euclidean topology. We show that almost every point in a definable metric space has a neighborhood which is definably homeomorphic to an open definable subset of euclidean space.

Open access
preprint2015arXiv

The Hausdorff dimension of metric spaces definable in o-minimal expansions of the real field

Let RR be an o-minimal expansion of the real field. We show that the Hausdorff dimension of an RR-definable metric space is an RR-definable function of the parameters defining the metric space. We also show that the Hausdorff dimension of an RR-definable metric space is an element of the field of powers of RR. The proof uses a basic topological dichotomy for definable metric spaces due to the second author, and the work of the first author and Shiota on measure theory over nonarchimedean o-minimal structures.

Open access

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.