English
Related papers

Related papers: The generic pair conjecture for dependent finite d…

200 papers

We derive representation theorems for exchangeable distributions on finite and infinite graphs using elementary arguments based on geometric and graph-theoretic concepts. Our results elucidate some of the key differences, and their…

Statistics Theory · Mathematics 2018-09-18 Steffen L. Lauritzen , Alessandro Rinaldo , Kayvan Sadeghi

We prove that the ordered configuration spaces of planar graphs have the highest possible topological complexity generically, as predicted by a conjecture of Farber. Our argument establishes the same generic maximality for all higher…

Algebraic Topology · Mathematics 2021-08-03 Ben Knudsen

We show that Shelah's Eventual Categoricity Conjecture follows from the existence of class many strongly compact cardinals. This is the first time the consistency of this conjecture has been proven. We do so by showing that every AEC with…

Logic · Mathematics 2014-05-15 Will Boney

We defined generalized \delta-derivations of algebra A as linear mapping \chi associated with usual \delta-derivation \phi by the rule \chi(xy)=\delta(\chi(x)y+x\phi(y))=\delta(\phi(x)y+x\chi(y)) for any x,y \in A. We described generalized…

Rings and Algebras · Mathematics 2011-07-25 Ivan Kaygorodov

Leighton's graph covering theorem says that two finite graphs with a common cover have a common finite cover. We present a new proof of this using groupoids, and use this as a model to prove two generalisations of the theorem. The first…

Group Theory · Mathematics 2022-08-25 Sam Shepherd , Giles Gardam , Daniel J. Woodhouse

We present a version with non-definable forcing notions of Shelah's theory of iterated forcing along a template. Our main result, as an application, is that, if $\kappa$ is a measurable cardinal and $\theta<\kappa<\mu<\lambda$ are…

Logic · Mathematics 2015-06-23 Diego Alejandro Mejía

We find new "reasons" for a class of models for not having a universal model in a cardinal $\lambda$. This work, though it has consequences in model theory, is really in combinatorial set theory. We concentrate on a prototypical class which…

Logic · Mathematics 2022-03-15 Saharon Shelah

We establish new pair correlation results for certain generic homogenous diagonal forms evaluated on the integers. Methods are analytic leading to explicit quantitative statements.

Number Theory · Mathematics 2016-06-21 Jean Bourgain

We propose a generalization of the Elliott-Halberstam conjecture concerning the distribution of prime pairs in arithmetic progressions. This conjecture, which we call the Generalized Elliott-Halberstam Conjecture for Shifted Convolutions…

Number Theory · Mathematics 2025-11-20 Trey Smith

We show that Generic Green's conjecture holds for generic binary curves, through a detailed analysis of the family of scrolls containing fixed rational normal curves.

Algebraic Geometry · Mathematics 2014-05-28 Marco Franciosi , Elisa Tenni

By discussing several examples, the theory of generalized functional models is shown to be very natural for modeling some situations of reasoning under uncertainty. A generalized functional model is a pair (f, P) where f is a function…

Artificial Intelligence · Computer Science 2013-02-08 Paul-Andre Monney

We use Koll\'ar's gluing theory to prove the contraction theorem for generalized pairs. In particular, we show that we can run the MMP for any generalized log canonical pairs.

Algebraic Geometry · Mathematics 2022-11-22 Lingyao Xie

We answer one of the main questions in generalized descriptive set theory, the Friedman-Hyttinen-Kulikov conjecture on the Borel reducibility of the Main Gap. We show a correlation between Shelah's Main Gap and generalized Borel…

Logic · Mathematics 2024-10-02 Miguel Moreno

Using the consistency of some large cardinals we produce a model of Set Theory in which the generalized continuum hypothesis holds and for some torsion-free abelian group G of cardinality aleph_{omega +1} and for some torsion group T,…

Logic · Mathematics 2009-09-25 Menachem Magidor , Saharon Shelah

Foreman proved the Duality Theorem, which gives an algebraic characterization of certain ideal quotients in generic extensions. As an application he proved that generic supercompactness of $\omega_1$ is preserved by any proper forcing. We…

Logic · Mathematics 2015-08-04 Brent Cody , Sean Cox

In [Sh893], Shelah proves that (on a stationary set of cardinals) an AEC has not too many models or every model has extensions of arbitrary cardinality. We show that, if we assume limited amalgamation, then the second condition holds for a…

Logic · Mathematics 2015-11-04 Will Boney

We provide a short proof of Shelah's eventual categoricity conjecture, assuming the Generalized Continuum Hypothesis ($GCH$), for abstract elementary classes (AEC's) with interpolation, a strengthening of amalgamation which is a necessary…

Logic · Mathematics 2020-12-29 Christian Espíndola

We investigate the generalizability of learned binary relations: functions that map pairs of instances to a logical indicator. This problem has application in numerous areas of machine learning, such as ranking, entity resolution and link…

Machine Learning · Computer Science 2013-06-04 Ben London , Bert Huang , Lise Getoor

The Carath\'eodory theorem on the construction of a measure is generalized by replacing the outer measure with an approximation of it and generalizing the Carath\'eodory measurability. The new theorem is applied to obtain dynamically…

Functional Analysis · Mathematics 2017-11-15 Ivan Werner

Wei's celebrated Duality Theorem is generalized in several ways, expressed as duality theorems for linear codes over division rings and, more generally, duality theorems for matroids. These results are further generalized, resulting in two…

Information Theory · Computer Science 2009-10-13 Thomas Britz , Bård Heiseldel , Trygve Johnsen , Dillon Mayhew , Keisuke Shiromoto