English
Related papers

Related papers: members of thin $\Pi_1^0$ classes and generic degr…

200 papers

We present a generalization of standard Turing machines based on allowing unusual tapes. We present a set of reasonable constraints on tape geometry and classify all tapes conforming to these constraints. Surprisingly, this generalization…

Logic · Mathematics 2010-05-18 Aubrey da Cunha

It is known that for subgraph-closed graph classes the first-order model checking problem is fixed-parameter tractable if and only if the class is nowhere dense [Grohe, Kreutzer, Siebertz, STOC 2014]. However, the dependency on the formula…

Logic in Computer Science · Computer Science 2025-05-28 Jakub Gajarský , Michał Pilipczuk , Marek Sokołowski , Giannos Stamoulis , Szymon Toruńczyk

Let $X$ be a non-degenerate projective irreducible variety of dimension $n \ge 1$, degree $d$, and codimension $e \ge 2$ over an algebraically closed field $\mathbb{K}$ of characteristic $0$. Let $\beta_{p,q} (X)$ be the $(p,q)$-th graded…

Algebraic Geometry · Mathematics 2024-04-05 Yeongrak Kim , Hyunsuk Moon , Euisung Park

We prove group existence and structure theorems in a general setting of tame topological theories. More precisely, we identify a linear/non-linear dividing line -- called topological 1-basedness -- among the class of t-minimal theories with…

Logic · Mathematics 2025-08-27 Benjamin Castle , Assaf Hasson , Will Johnson

In 1990 Erd\H{o}s, Faudree, Rousseau and Schelp proved that for $k\geq 2$, every graph with $n\geq k+1$ vertices and $(k-1)(n-k+2)+\binom{k-2}{2}+1$ edges contains a subgraph of minimum degree $k$ on at most $n-\sqrt{n}/\sqrt{6k^3}$…

Combinatorics · Mathematics 2017-03-02 Frank Mousset , Andreas Noever , Nemanja Škorić

We give solutions to two of the questions in a paper by Brendle, Brooke-Taylor, Ng and Nies. Our examples derive from a 2014 construction by Khan and Miller as well as new direct constructions using martingales. At the same time, we…

Logic · Mathematics 2017-12-19 Bjørn Kjos-Hanssen , Frank Stephan , Sebastiaan A. Terwijn

Random planar graphs have been the subject of much recent work. Many basic properties of the standard uniform random planar graph P_{n}, by which we mean a graph chosen uniformly at random from the set of all planar graphs with vertex set…

Combinatorics · Mathematics 2013-07-23 Chris Dowden

Existentially closed groups are, informally, groups that contain solutions to every consistent finite system of equations and inequations. They were introduced in 1951 in an algebraic context and subsequent research elucidated deep…

Logic · Mathematics 2024-04-18 I Scott

A sequence of nonnegative integers $\pi$ is {\it graphic} if it is the degree sequence of some graph $G$. In this case we say that $G$ is a \textit{realization} of $\pi$, and we write $\pi=\pi(G)$. A graphic sequence $\pi$ is {\it…

Combinatorics · Mathematics 2013-03-25 Catherine Erbes , Michael Ferrara , Ryan R. Martin , Paul Wenger

In the 1980s, Erd\H{o}s and S\'os first introduced an extremal problem on hypergraphs with density constraints. Given an $r$-uniform hypergraph $F$ (or $r$-graph for short), its uniform Tur\'an density $\pi_u(F)$ is the smallest value of…

Combinatorics · Mathematics 2025-08-29 Ander Lamaison

Let (G, +) be an abelian group. A subset of G is sumfree if it contains no elements x, y, z such that x +y = z. We extend this concept by introducing the Schur degree of a subset of G, where Schur degree 1 corresponds to sumfree. The…

Combinatorics · Mathematics 2021-08-19 Shalom Eliahou , Pastora Revuelta

A generic extension $L[x]$ of $L$ by a real $x$ is defined, in which the $\mathsf E_0$-class of $x$ is a lightface $\Pi^1_2$ set containing no ordinal-definable reals.

Logic · Mathematics 2018-08-16 Vladimir Kanovei , Vassily Lyubetsky

It is known that infinitely many Medvedev degrees exist inside the Muchnik degree of any nontrivial $\Pi^0_1$ subset of Cantor space. We shed light on the fine structures inside these Muchnik degrees related to learnability and piecewise…

Logic · Mathematics 2013-09-10 Kojiro Higuchi , Takayuki Kihara

We calculate the minimal degree for a class of finite complex reflection groups $G(p,p,q)$, for $p$ and $q$ primes and establish relationships between minimal degrees when these groups are taken in a direct product.

Group Theory · Mathematics 2008-03-14 Neil Saunders

A thin Lie algebras is a Lie algebra $L$, graded over the positive integers, with its first homogeneous component $L_1$ of dimension two and generating $L$, and such that each nonzero ideal of $L$ lies between consecutive terms of its lower…

Rings and Algebras · Mathematics 2023-02-21 Sandro Mattarei

A hypergraph is a $T_0$-hypergraph if for every two different vertices of the hypergraph there exists an edge containing one of the vertices and not containing the other. A general method for the enumeration of certain classes of…

Combinatorics · Mathematics 2014-11-18 Goran Kilibarda , Vladeta Jovović

In the theory of unitary group representations, a group is called type I if all factor representations are of type I, and by a celebrated theorem of James Glimm [Gli61b], the type I groups are precisely those groups for which the…

Group Theory · Mathematics 2019-04-18 Fabio Elio Tonti , Asger Törnquist

Let $G$ be a semisimple algebraic group over a field of characteristic $p > 0$. We prove that the dual Weyl modules for $G$ all have $p$-filtrations when $p$ is not too small. Moreover, we give applications of this theorem to…

Representation Theory · Mathematics 2019-05-21 Henning Haahr Andersen

In recent work with Raum the authors considered congruences for the ordinary partition function $p(n)$ of the form $p(\ell Q^r n+\beta)\equiv 0\pmod\ell$ where $\ell, Q\geq 5$ are prime and $r\in \{1,2\}$, and proved a number of results…

Number Theory · Mathematics 2025-10-10 Scott Ahlgren , Olivia Beckwith

We study the fundamental group of the $p$-subgroup complex of a finite group $G$. We show first that $\pi_1(A_3(A_{10}))$ is not a free group (here $A_{10}$ is the alternating group on $10$ letters). This is the first concrete example in…

Group Theory · Mathematics 2019-04-09 Elias Gabriel Minian , Kevin Ivan Piterman
‹ Prev 1 8 9 10 Next ›