English
Related papers

Related papers: Counting in Uncountably Categorical Pseudofinite S…

200 papers

It is consistent that there is a partial order (P,<) of size aleph_1 such that every monotone (unary) function from P to P is first order definable in (P,<). The partial order is constructed in an extension obtained by finite support…

Logic · Mathematics 2016-09-07 Martin Goldstern , Saharon Shelah

Definable topological groups whose topologies are affine have definable $\mathcal C^r$ structures in d-minimal expansions of ordered fields, where $r$ is a positive integer. We prove this fact using a new notion called partition degree of a…

Logic · Mathematics 2024-07-24 Masato Fujita

We prove that every finite distributive lattice is isomorphic to a final segment of the d.c.e. Turing degrees (i.e., the degrees of differences of computably enumerable sets). As a corollary, we are able to infer the undecidability of the…

Logic · Mathematics 2024-03-22 Steffen Lempp , Yiqun Liu , Yong Liu , Keng Meng Ng , Cheng Peng , Guohua Wu

We show that the set of complex points in the moduli space of polynomials of degree d corresponding to post-critically finite polynomials is a set of algebraic points of bounded height. It follows that for any B, the set of conjugacy…

Number Theory · Mathematics 2011-02-15 Patrick Ingram

In this paper we prove that the gradient ideal of a Morse polynomial is radical. This gives a generic class of polynomials whose gradient ideals are radical. As a consequence we reclaim a previous result that the unconstrained polynomial…

Algebraic Geometry · Mathematics 2019-02-19 Công-Trình Lê

In this paper we establish a connection between categorical closedness and topologizability of semigroups. In particular, for a class $\mathsf T_{\!1}\mathsf S$ of $T_1$ topological semigroups we prove that a countable semigroup $X$ with…

General Topology · Mathematics 2022-12-27 Taras Banakh , Serhii Bardyla

We introduce the monic rank of a vector relative to an affine-hyperplane section of an irreducible Zariski-closed affine cone $X$. We show that the monic rank is finite and greater than or equal to the usual $X$-rank. We describe an…

Algebraic Geometry · Mathematics 2020-06-15 Arthur Bik , Jan Draisma , Alessandro Oneto , Emanuele Ventura

In 2020, Marques and Moreira proved that every subset of $\overline{\mathbb{Q}} \cap B(0,1)$, which is closed under complex conjugation and contains $0$, is the exceptional set of uncountably many transcendental analytic functions with…

Number Theory · Mathematics 2025-06-23 Jean Lelis , Bruno De Paula Miranda , Carlos Gustavo Moreira

We study the arithmetical ranks and the cohomological dimensions of an infinite class of Cohen-Macaulay varieties of minimal degree. Among these we find, on the one hand, infinitely many set-theoretic complete intersections, on the other…

Commutative Algebra · Mathematics 2008-02-06 Margherita Barile

We show that there are uncountably many countable lattices. We give a discussion of which such lattices can be modular or distributive. The method applies to show that certain other classes of structures also have uncountably many…

Logic · Mathematics 2014-06-03 A. Abogatma , J. K. Truss

We show that the automorphism groups of countably categorical linear orders are extremely amenable. Using methods of Kechris, Pestov, and Todorcevic, we use this fact to derive a structural Ramsey theorem for certain families of finite…

Logic · Mathematics 2014-02-17 François G. Dorais , Steven Gubkin , Daniel McDonald , Manuel Rivera

Given any quasi-countable, in particular any countable inverse semigroup $S$, we introduce a way to equip $S$ with a proper and right subinvariant extended metric. This generalizes the notion of proper, right invariant metrics for discrete…

Operator Algebras · Mathematics 2024-03-01 Yeong Chyuan Chung , Diego Martínez , Nóra Szakács

Let $G$ be an infinite simple group of finite Morley rank and $\alpha$ a supertight automorphism of $G$ so that the fixed point subgroup $P_n:=C_G(\alpha^n)$ is pseudofinite for all $n\in \mathbb{N}\setminus\{0\}$. It is know (using CFSG)…

Group Theory · Mathematics 2024-01-26 Ulla Karhumäki

Richter, Stephan, and Zhang asked whether every nonrecursive many-one degree contains a least finite-one degree. We solve this question in the negative, already within the class of computably enumerable many-one degrees. Positive answers…

Logic · Mathematics 2026-04-14 Patrizio Cintioli

Let $q\geqslant 2$ be a fixed prime power. We prove an asymptotic formula for counting the number of monic polynomials that are of degree $n$ and have exactly $k$ irreducible factors over the finite field $\mathbb{F}_q$. We also compare our…

Number Theory · Mathematics 2022-09-12 Arghya Datta

In this paper we introduce a new topological Ramsey space whose elements are infinite ordered polyhedra. Then, we show as an application that the set of finite polyhedra satisfies two types of Ramsey property: one, when viewed as a category…

Combinatorics · Mathematics 2016-02-08 Jose G. Mijares , Gabriel Padilla

We give a criterion when a polynomial $x^n-g$ is irreducible over a pseudofinite field. As an application we give an explicit description of algebraic closure of some pseudofinite fields of zero characteristic.

Logic · Mathematics 2021-09-30 Jakub Gismatullin , Katarzyna Tarasek

In this paper, we characterize completely the structure of Clifford semigroups of matrices over an arbitrary field. It is shown that a semigroups of matrices of finite order is a Clifford semigroup if and only if it is isomorphic to a…

Group Theory · Mathematics 2010-06-23 Yongwen Zhu

We count the number of irreducible polynomials in several variables of a given degree over a finite field. The results are expressed in terms of a generating series, an exact formula and an asymptotic approximation. We also consider the…

Algebraic Geometry · Mathematics 2009-10-16 Arnaud Bodin

We show that group C*-algebras of finitely generated, nilpotent groups have finite nuclear dimension. It then follows, from a string of deep results, that the C*-algebra $A$ generated by an irreducible representation of such a group has…

Operator Algebras · Mathematics 2015-05-15 Caleb Eckhardt , Paul McKenney