English
Related papers

Related papers: Combinatorial Properties of the Raisonnier Filter

200 papers

We study properties that allow first-order theories to be disjointly combined, including stable infiniteness, shininess, strong politeness, and gentleness. Specifically, we describe a Galois connection between sets of decidable theories,…

Logic in Computer Science · Computer Science 2025-11-24 Benjamin Przybocki , Guilherme V. Toledo , Yoni Zohar

Inspired by Bartoszy\'nski's work on small sets, we introduce a new ideal defined by interval partitions on natural numbers and summable sequences of positive reals. Similarly, we present another ideal that relies on Bartoszy\'nski's and…

Logic · Mathematics 2025-02-13 Miguel A. Cardona , Adam Marton , Jaroslav Supina

In this paper we explore the combinatorics of the non-negative part (G/P)+ of a cominuscule Grassmannian. For each such Grassmannian we define Le-diagrams -- certain fillings of generalized Young diagrams which are in bijection with the…

Combinatorics · Mathematics 2007-10-17 Thomas Lam , Lauren Williams

The control of bilinear systems has attracted considerable attention in the field of systems and control for decades, owing to their prevalence in diverse applications across science and engineering disciplines. Although much work has been…

Optimization and Control · Mathematics 2020-09-09 Gong Cheng , Wei Zhang , Jr-Shin Li

In this paper we shall show that there exists a polynomial unimodal map f: [0,1] -> [0,1] which is 1) non-renormalizable(therefore for each x from a residual set, $\omega(x)$ is equal to an interval), 2) for which $\omega(c)$ is a Cantor…

Dynamical Systems · Mathematics 2008-02-03 Henk Bruin , Gerhard Keller , Tomasz Nowicki , Sebastian van Strien

Local (first order) sentences, introduced by Ressayre, enjoy very nice decidability properties, following from some stretching theorems stating some remarkable links between the finite and the infinite model theory of these sentences. We…

Logic in Computer Science · Computer Science 2007-12-04 Olivier Finkel

The theory of limits of discrete combinatorial objects has been thriving for the last decade or so. The syntactic, algebraic approach to the subject is popularly known as "flag algebras", while the semantic, geometric one is often…

Combinatorics · Mathematics 2020-12-02 Leonardo N. Coregliano , Alexander A. Razborov

The ternary Cantor set $\mathcal{C}$, constructed by George Cantor in 1883, is the best known example of a perfect nowhere-dense set in the real line. The present article we study the basic properties $\mathcal{C}$ and also study in detail…

History and Overview · Mathematics 2021-09-01 Lihang Liu , Wilfredo O. Urbina

We show that given a one parameter family $F_b$ of strongly dissipative infinitely renormalisable H\'enon-like maps, parametrised by a quantity called the `average Jacobian' $b$, the set of all parameters $b$ such that $F_b$ has a Cantor…

Dynamical Systems · Mathematics 2010-02-23 Peter Hazard , Mikhail Lyubich , Marco Martens

It is shown that for any piecewise-linear closed orientable manifold of odd dimension there exists an invariantly defined metric on the determinant line of cohomology with coefficients in an arbitrary flat bundle E over the manifold (E is…

dg-ga · Mathematics 2008-02-03 Michael Farber

We provide a new foundation for combinatorial commutative algebra and Stanley-Reisner theory using the partition complex introduced in [Adi18]. One of the main advantages is that it is entirely self-contained, using only a minimal knowledge…

Combinatorics · Mathematics 2021-01-26 Karim Adiprasito , Geva Yashfe

Published version: We study the arithmetically Cohen-Macaulay (ACM) property for finite sets of points in multiprojective spaces, especially $(\mathbb P^1)^n$. A combinatorial characterization, the $(\star)$-property, is known in $\mathbb…

Algebraic Geometry · Mathematics 2024-08-21 Giuseppe Favacchio , Elena Guardo , Juan Migliore

To the best of our knowledge, a complete characterization of the domains that escape the famous Arrow's impossibility theorem remains an open question. We believe that different ways of proving Arrovian theorems illuminate this problem.…

Theoretical Economics · Economics 2024-07-23 Isaac Lara , Sergio Rajsbaum , Armajac Raventós-Pujol

This paper generalizes Shelah's generic pair conjecture (now theorem) for the measurable cardinal case from first order theories to finite diagrams. We use homogeneous models in the place of saturated models.

Logic · Mathematics 2014-12-05 Itay Kaplan , Noa Lavi , Saharon Shelah

We present several combinatorial properties of semiselective ideals on the set of natural numbers. The continuum hypothesis implies that the complement of every selective ideal contains a selective ultrafilter, however for semiselective…

Logic · Mathematics 2026-02-04 Julián C. Cano , Carlos A. Di Prisco , Michael Hrušák

Let $f: X \to S$ be a unipotent degeneration of projective complex manifolds over a disc such that the reduction of the central fibre $Y=f^{-1}(0)$ is simple normal crossings, and let $X_\infty$ be the canonical nearby fibre. Building on…

Algebraic Geometry · Mathematics 2022-12-23 Dmitry Sustretov

In recent years, the combinatorial properties of monomials ideals and binomial ideals have been widely studied. In particular, combinatorial interpretations of free resolution algorithms have been given in both cases. In this present work,…

Commutative Algebra · Mathematics 2014-10-06 Trevor McGuire

We prove the universality of the regular realizability problems for several classes of filters. The filters are encodings of finite relations on the set of non-negative integers in the format proposed by P. Wolf and H. Fernau. The…

Formal Languages and Automata Theory · Computer Science 2024-10-11 Alexander Rubtsov , Michael Vyalyi

The cut sets of a graph are special sets of vertices whose removal disconnects the graph. They are fundamental in the study of binomial edge ideals, since they encode their minimal primary decomposition. We introduce the class of accessible…

Commutative Algebra · Mathematics 2022-01-04 Davide Bolognini , Antonio Macchia , Francesco Strazzanti

Let R_n be the ring of coinvariants for the diagonal action of the symmetric group S_n. It is known that the character of R_n as a doubly-graded S_n module can be expressed using the Frobenius characteristic map as \nabla e_n, where e_n is…

Combinatorics · Mathematics 2007-05-23 J. Haglund , M. Haiman , N. Loehr , J. B. Remmel , A. Ulyanov