English
Related papers

Related papers: A Dependent Bi-Coloured Field

200 papers

E. Hrushovski proved tha the theory of difference-differential fields has a model companion. We prove this result and other maind properties of this theory that we call DCFA. We describe the SU rank a its relation with transcendence degree.…

Logic · Mathematics 2009-07-24 Ronald F. Bustamante Medina

Let $\mathbb{P}$ be the set of prime numbers, $\overline {\mathbb{P}}$ the union $\mathbb{P} \cup \{0\}$, and for any field $E$, let char$(E)$ be its characteristic, ddim$(E)$ the Diophantine dimension of $E$, $\mathcal{G}_{E}$ the absolute…

Number Theory · Mathematics 2024-02-22 Ivan D. Chipchakov , Boyan Paunov

We prove a general multi-dimensional central limit theorem for the expected number of vertices of a given degree in the family of planar maps whose vertex degrees are restricted to an arbitrary (finite or infinite) set of positive integers…

Combinatorics · Mathematics 2020-01-22 Gwendal Collet , Michael Drmota , Lukas Daniel Klausner

We develop the axiom system proposed by Kontsevich and Segal to define volume-dependent field theories (VFTs), a class of non-topological quantum field theories whose dependence on the background metric factors through the associated…

Mathematical Physics · Physics 2024-02-13 Richard Wedeen

Given a graph G, a colouring is an assignment of colours to the vertices of G so that no two adjacent vertices are coloured the same. If all colour classes have size at most t, then we call the colouring t-bounded, and the t-bounded…

Combinatorics · Mathematics 2024-09-27 Annika Heckel , Konstantinos Panagiotou

We study the first-order almost-sure theories for classes of finite structures that are specified by homomorphically forbidding a set $\mathcal{F}$ of finite structures. If $\mathcal{F}$ consists of undirected graphs, a full description of…

Combinatorics · Mathematics 2024-06-24 Manuel Bodirsky , Colin Jahel

Given a Dedekind incomplete ordered field, a pair of convergent nets of gaps which are respectively increasing or decreasing to the same point is used to obtain a further equivalent criterion for Dedekind completeness of ordered fields:…

General Topology · Mathematics 2007-05-23 Mojtaba Moniri , Jafar S. Eivazloo

We establish conditions under which the fundamental group of a graph of finite $p$-groups is necessarily residually $p$-finite. The technique of proof is independent of previously established results of this type, and the result is also…

Group Theory · Mathematics 2018-11-01 Gareth Wilkes

A conjecture of Alon, Krivelevich, and Sudakov states that, for any graph $F$, there is a constant $c_F > 0$ such that if $G$ is an $F$-free graph of maximum degree $\Delta$, then $\chi(G) \leq c_F \Delta / \log\Delta$. Alon, Krivelevich,…

Combinatorics · Mathematics 2022-01-25 James Anderson , Anton Bernshteyn , Abhishek Dhawan

Structural independence is the (conditional) independence that arises from the structure rather than the precise numerical values of a distribution. We develop this concept and relate it to $d$-separation and structural causal models.…

Probability · Mathematics 2025-06-24 Matthias Georg Mayer

We prove that infinite p-adically discrete sets have Diophantine definitions in large subrings of some number fields. First, if K is a totally real number field or a totally complex degree-2 extension of a totally real number field, then…

Number Theory · Mathematics 2017-04-03 Bjorn Poonen , Alexandra Shlapentokh

We study the relation between two important classes of valued fields: tame fields and defectless fields. We show that in the case of valued fields of equal characteristic or rank one valued fields of mixed characteristic, tame fields are…

Commutative Algebra · Mathematics 2022-09-08 Anna Rzepka , Piotr Szewczyk

In relation to Fuglede's conjecture, we establish several Plancherel-type identities and demonstrate the surjectivity of the Fourier transform between certain unbounded tiling sets of $\mathbb{R}$ that are in duality. In the terminology…

Functional Analysis · Mathematics 2026-03-05 Piyali Chakraborty , Dorin Ervin Dutkay

Fix a prime $p$. We prove that the set of sentences true in all but finitely many finite extensions of $\mathbb{Q}_p$ is undecidable in the language of valued fields with a cross-section. The proof goes via reduction to characteristic $p$,…

Logic · Mathematics 2022-11-14 Konstantinos Kartas

We prove that certain pairs of ordered structures are dependent. Among these structures are dense and tame pairs of o-minimal structures and further the real field with a multiplicative subgroup with the Mann property, regardless of whether…

Logic · Mathematics 2011-05-03 Ayhan Günaydin , Philipp Hieronymi

We study classes of graphs with bounded clique-width that are well-quasi-ordered by the induced subgraph relation, in the presence of labels on the vertices. We prove that, given a finite presentation of a class of graphs, one can decide…

Combinatorics · Mathematics 2026-05-29 Maël Dumas , Aliaume Lopez

A graph coloring has bounded clustering if each monochromatic component has bounded size. This paper studies such a coloring, where the number of colors depends on an excluded complete bipartite subgraph. This is a much weaker assumption…

Combinatorics · Mathematics 2022-09-29 Chun-Hung Liu , David R. Wood

Grothendieck's theory of dessins provides a bridge between algebraic numbers and combinatorics. This paper adds a new concept, called 'bias', to the bridge. This produces: (i) from a biased plane tree the construction of a sequence of…

Combinatorics · Mathematics 2018-02-15 Jonathan Fine

We develop a transfer principle of structural Ramsey theory from finite structures to ultraproducts. We show that under certain mild conditions, when a class of finite structures has finite small Ramsey degrees, under the (Generalized)…

Logic · Mathematics 2025-12-03 Dana Bartošová , Mirna Džamonja , Rehana Patel , Lynn Scow

We prove that for every simple theory $T$ (or even simple thick compact abstract theory) there is a (unique) compact abstract theory $T^\fP$ whose saturated models are the lovely pairs of $T$. Independence-theoretic results that were proved…

Logic · Mathematics 2009-02-05 Itaï Ben Yaacov