相关论文: On dp-minimal expansions of the integers

We study the model theoretic structure $(\Z,+,P_r)$ where $r>1$ is an irrational number and the elements of $P_r$ are of the form $\floor{nr}$ for some $n\in\Z\setminus\{0\}$. We axiomatize of this structure and prove a quantifier…

For any subset $Z \subseteq \mathbb{Q}$, consider the set $S_Z$ of subfields $L\subseteq \overline{\mathbb{Q}}$ which contain a co-infinite subset $C \subseteq L$ that is universally definable in $L$ such that $C \cap \mathbb{Q}=Z$. Placing…

Let (lambda_d)(p) be the p monomer-dimer entropy on the d-dimensional integer lattice Z^d, where p in [0,1] is the dimer density. We give upper and lower bounds for (lambda_d)(p) in terms of expressions involving (lambda_(d-1))(q). The…

We prove that for an o-minimal expansion of the real additive group $\cal R$ and a set $P\subseteq \mathbb{R}$ of dimension $0$ such that $\langle\mathcal{R},P\rangle$ is sparse, has definable choice and every definable set has interior or…

This paper concerns the expansion of the real ordered additive group by a predicate for a subset of $[0,1]$ whose base-$r$ representations are recognized by a B\"uchi automaton. In the case that this predicate is closed, a dichotomy is…

Subshifts are sets of colorings of $\mathbb{Z}^d$ defined by families of forbidden patterns. In a given subshift, the extender set of a finite pattern is the set of all its admissible completions. Since soficity of $\mathbb{Z}$ subshifts is…

In this short note we prove the result stated in the title; that is, for every $p>0$ there exists an infinite dimensional closed linear subspace of $L_{p}[0,1]$ every nonzero element of which does not belong to $\bigcup\limits_{q>p}…

We show that it is decidable whether or not a relation on the reals definable in the structure $\langle \mathbb{R}, +,<, \mathbb{Z} \rangle$ can be defined in the structure $\langle \mathbb{R}, +,<, 1 \rangle$. This result is achieved by…

Let D\subseteq \mathbb{R} be closed and discrete and f:D^n \to \mathbb{R} be such that f(D^n) is somewhere dense. We show that (\mathbb{R},+,\cdot,f) defines the set of integers. As an application, we get that for every a,b \in \mathbb{R}…

In this note we compare the a-invariant of a homogeneous algebra B to the a-invariant of a subalgebra A. In particular we show that if $A \subset B$ is a finite homogeneous inclusion of standard graded domains over an algebraically closed…

We begin by proving that any Presburger-definable image of one or more sets of powers has zero natural density. Then, by adapting the proof of a dichotomy result on o-minimal structures by Friedman and Miller, we produce a similar dichotomy…

Suppose $N$ is elementarily equivalent to an archimedean ordered abelian group $(G,+,<)$ with small quotients (for all $1 \leq n < \omega$, $[G: nG]$ is finite). Then every stable reduct of $N$ which expands $(G,+)$ (equivalently every…

Let $k$ be any number field and $k_{\infty}/k$ any $\mathbb{Z}_p$-extension. We construct a natural $\Lambda= \mathbb{Z}_p[[ T-1 ]]$-morphism from $\varprojlim k_n^{\times} \otimes_{\mathbb{Z}} \mathbb{Z}_p$ into a special subset of…

We investigate the possibilities of integration on the minimal $\mathbb{Z}_2^2$-superspace. Two definitions are taken from the works by Poncin and Schouten and we examine their generalizations. It is shown that these definitions impose some…

We continue our local analysis of groups interpretable in various dp-minimal valued fields, as introduced in [8]. We associate with every infinite group $G$ interpretable in those fields an infinite type-definable infinitesimal subgroup…

We prove that given a planar embedding of a graph in the sphere the expansion of the graph structure by predicates encoding separation of vertices by simple cycles of the graph is dp-minimal.

We prove that the structure $(\mathbb{Z},<,+,R)$ is distal for all congruence-periodic sparse predicates $R\subseteq\mathbb{N}$. We do so by constructing strong honest definitions for representative formulas of the theory, providing a rare…

For a set $A \subset \mathbb{N}$ we characterize in terms of its density when there exists an infinite set $B \subset \mathbb{N}$ and $t \in \{0,1\}$ such that $B+B \subset A-t$, where $B+B : =\{b_1+b_2\colon b_1,b_2 \in B\}$. Specifically,…

Fix a weakly minimal (i.e., superstable $U$-rank $1$) structure $\mathcal{M}$. Let $\mathcal{M}^*$ be an expansion by constants for an elementary substructure, and let $A$ be an arbitrary subset of the universe $M$. We show that all…

A set $\mathcal{A}\subset \mathbb{N}$ is called additively decomposable (resp. asymptotically additively decomposable) if there exist sets $\mathcal{B},\mathcal{C}\subset \mathbb{N}$ of cardinality at least two each such that…