English
Related papers

Related papers: NIP omega-categorical structures: the rank 1 case

200 papers

We study the existence of (unmixed) Beauville structures in finite $p$-groups, where $p$ is a prime. First of all, we extend Catanese's characterisation of abelian Beauville groups to finite $p$-groups satisfying certain conditions which…

Group Theory · Mathematics 2016-04-12 Gustavo A. Fernández-Alcober , Şükran Gül

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

Let $G$ be a finite permutation group on $\Omega$. An ordered sequence $(\omega_1,\ldots,\omega_\ell)$ of elements of $\Omega$ is an irredundant base for $G$ if the pointwise stabilizer is trivial and no point is fixed by the stabilizer of…

Group Theory · Mathematics 2022-06-14 Melissa Lee , Pablo Spiga

In this paper we highlight some enumerative results concerning matroids of low rank and prove the tail-ends of various sequences involving the number of matroids on a finite set to be log-convex. We give a recursion for a new, slightly…

Combinatorics · Mathematics 2007-05-23 W. M. B. Dukes

Weakly recognizing morphisms from free semigroups onto finite semigroups are a classical way for defining the class of omega-regular languages, i.e., a set of infinite words is weakly recognizable by such a morphism if and only if it is…

Formal Languages and Automata Theory · Computer Science 2016-04-28 Lukas Fleischer , Manfred Kufleitner

Let R be a unitary ring of finite cardinality P^k, where p is a prime number and $p\nmid k$. We show that if the group of units of $R$ has at most one subgroup of order $p$, then $R\cong A\bigoplus B,$ where $B$ is a finite ring of order…

Rings and Algebras · Mathematics 2021-05-31 Mostafa Amini , Mohsen Amiri

We compare classes of finite relational structures via monadic second-order transductions. More precisely, we study the preorder where we set C \subseteq K if, and only if, there exists a transduction {\tau} such that C\subseteq{\tau}(K).…

Logic · Mathematics 2015-07-01 Achim Blumensath , Bruno Courcelle

We classify essential algebras whose irredundant non-refinable covers consist of primal algebras. The proof is obtained by constructing one to one correspondence between such algebras and partial orders on finite sets. Further, we prove…

Logic · Mathematics 2014-06-26 Shohei Izawa

We show that the category of principal ordered face structures is equivalent to the category of multitopes. We show that the category of principal ordered face structures is equivalent to the category of multitopes. On the way we introduce…

Category Theory · Mathematics 2008-06-17 Marek Zawadowski

We give explicit structure of the graded ring of modular forms with respect to Gamma(N) (N=1,2,3,4,5,6,7,8,9,10,12,16,18) and for some other congruence groups. We also study the modular forms of half-integer weight for certain groups.

Number Theory · Mathematics 2019-04-10 Suda Tomohiko

Let $G$ be a finite permutation group on $\Omega$. An ordered sequence $(\omega_1\ldots,\omega_\ell)$ of elements of $\Omega$ is an irredundant base for $G$ if the pointwise stabilizer is trivial and no point is fixed by the stabilizer of…

Group Theory · Mathematics 2025-01-16 Fabio Mastrogiacomo , Pablo Spiga

The set of prime numbers has been analyzed, based on their algebraic and arithmetical structure. Here by obtaining a sort of linear formula for the set of prime numbers, they are redefined and identified; under a systematic procedure it has…

General Mathematics · Mathematics 2014-12-30 Ramin Zahedi

We give explicit formulas for the ranks of the third and fourth homotopy groups of all oriented closed simply-connected four manifolds in terms of their second Betti numbers. We also show that the rational homotopy type of these manifolds…

Algebraic Topology · Mathematics 2007-05-23 S. Terzic

Given a two-generated group of prime-power order, we investigate the singularities of origamis whose deck group acts transitively and is isomorphic to the given group. Geometric and group-theoretic ideas are used to classify the possible…

Geometric Topology · Mathematics 2020-07-24 Johannes Flake , Andrea Thevis

The class of abelian $p$-groups are an example of some very interesting phenomena in computable structure theory. We will give an elementary first-order theory $T_p$ whose models are each bi-interpretable with the disjoint union of an…

Logic · Mathematics 2017-02-23 Matthew Harrison-Trainor

We give several new examples of computable structures of high Scott rank. For earlier known computable structures of Scott rank $\omega_1^{CK}$, the computable infinitary theory is $\aleph_0$-categorical. Millar and Sacks asked whether this…

Logic · Mathematics 2016-06-06 Matthew Harrison-Trainor , Gregory Igusa , Julia F. Knight

Let $(X,x)$ be a pointed geometrically connected smooth projective variety over a sub-$p$-adic field $K$. For any given rank $n$, we prove that there are only finitely many isomorphism classes of representations…

Algebraic Geometry · Mathematics 2026-04-23 Xiaodong Yi

We study primitive stable representations of free groups into higher rank semisimple Lie groups and their properties. Let $\Sigma$ be a compact, connected, orientable surface (possibly with boundary) of negative Euler characteristic. We…

Geometric Topology · Mathematics 2020-04-03 Inkang Kim , Sungwoon Kim

We introduce the notions of triviality and order-triviality for global invariant types in an arbitrary first-order theory and show that they are well behaved in the NIP context. We show that these two notions agree for invariant global…

Logic · Mathematics 2026-02-24 Slavko Moconja , Predrag Tanović

We calculate the possible Scott ranks of countable models of Peano arithmetic. We show that no non-standard model can have Scott rank less than $\omega$ and that non-standard models of true arithmetic must have Scott rank greater than…

Logic · Mathematics 2022-08-04 Antonio Montalbán , Dino Rossegger