Related papers: On finite imaginaries

NF set theory using intuitionistic logic is called iNF. We develop the theories of finite sets and their power sets and mappings, finite cardinals and their ordering, cardinal exponentiation, addition, and multiplication. We follow Rosser…

We construct an existentially undecidable complete discretely valued field of mixed characteristic with existentially decidable residue field and decidable algebraic part, answering a question by Anscombe-Fehm in a strong way. Along the…

We study the representation theory of quantizations of Gieseker moduli spaces. Namely, we prove the localization theorems for these algebras, describe their finite dimensional representations and two-sided ideals as well as their categories…

We produce new examples of totally imaginary infinite extensions of $\mathbb{Q}$ which have undecidable first-order theory by generalizing the methods used by Martinez-Ranero, Utreras and Videla for $\mathbb{Q}^{(2)}$. In particular, we use…

We prove a character sum identity for Coxeter arrangements which is a finite field analogue of Macdonald's conjecture proved by Opdam.

We prove a conjecture of Dekimpe, De Rock and Penninckx concerning the existence of eigenvalues one in certain elements of finite groups acting irreducibly on a real vector space of odd dimension. This yields a sufficient condition for a…

We prove a conjecture of Dekimpe, De Rock and Penninckx concerning the existence of eigenvalues one in certain elements of finite groups acting irreducibly on a real vector space of odd dimension. This yields a sufficient condition for a…

We determine the fields of values of the Isaacs' head characters of a finite solvable group.

In 2021, Navarro and Tiep proposed a conjecture on character fields of finite quasi-simple groups. We develop some theory on sums of roots of unity and use this theory to prove the conjecture for some infinite families of finite…

We study some versions of the statement of Hadwiger's conjecture for finite as well as infinite graphs.

In this paper, we prove Lusztig's conjecture for finite special linear groups, i.e., we show that characteristic functions of character sheaves coincide with almost characters up to scalar constants, under the condition that the…

We study the theory of a global field k as a k-vector space with a predicate for one of the absolute values on k. For example, we prove that in this language a global field with an ultrametric or real archimedean absolute value has a…

We study the existential theory of equicharacteristic henselian valued fields with a distinguished uniformizer. In particular, assuming a weak consequence of resolution of singularities, we obtain an axiomatization of - and therefore an…

We show that Colliot-Th\'el\`ene's conjecture on 0-cycles of degree 1 implies finiteness for the u-invariant of the function field of a curve over a totally imaginary number field and period-index bounds for the Brauer groups of arbitrary…

In this paper we study elimination of imaginaries in some classes of henselian valued fields of equicharacteristic zero and residue field algebraically closed. The results are sensitive to the complexity of the value group. We focus first…

By relating the number of images of a function with finite domain to a certain parameter, we obtain both an upper and lower bound for the image set. Even though the arguments are elementary, the bounds are, in some sense, best possible. The…

Given a generically finite local extension of valuation rings $V \subset W$, the question of whether $W$ is the localization of a finitely generated $V$-algebra is significant for approaches to the problem of local uniformization of…

We prove that the finiteness of a finitely generated category of irreducible algebraic varieties over a field of characteristic zero is decidable. We also obtain a Burnside finiteness criterion for such a category, with applications to…

Sets of desirable gambles constitute a quite general type of uncertainty model with an interesting geometrical interpretation. We give a general discussion of such models and their rationality criteria. We study exchangeability assessments…

We give a reformulation of the Lehmer conjecture about algebraic integers in terms of a simple counting problem modulo p.