Related papers: Variations on Noetherianness
We continue the study of how one can define means of infinite sets. We introduce many new properties, investigate their relations to each other and how they can typify a mean. We collect the properties in property groups e.g. for…
An infinite set is orbit-finite if, up to permutations of the underlying structure of atoms, it has only finitely many elements. We study a generalisation of linear programming where constraints are expressed by an orbit-finite system of…
Let $G$, $H$ be groups. We denote by $\eta(G,H)$ a certain extension of the non-abelian tensor product $G \otimes H$ by $G \times H$. We prove that if $G$ and $H$ are groups that act compatibly on each other and such that the set of all…
We study equations over relational structures that approximate groups and semigroups. For such structures we proved the criteria, when a direct power of such algebraic structures is equationally Noetherian.
In this note we develop and clarify some of the basic combinatorial properties of the new notion of $n$-dependence (for $1\leq n < \omega$) recently introduced by Shelah. In the same way as dependence of a theory means its inability to…
We give examples of $\mathrm{NIP}$ structures in which new algebraic structure appears in the Shelah completion. In particular we construct a weakly o-minimal structure $\mathscr{M}$ such that $\mathscr{M}$ does not interpret an infinite…
We prove that the module categories of Noether algebras (i.e., algebras module finite over a noetherian center) and affine noetherian PI algebras over a field enjoy the following product property: Whenever a direct product $\prod_{n \in…
Disjunctive finitary programs are a class of logic programs admitting function symbols and hence infinite domains. They have very good computational properties, for example ground queries are decidable while in the general case the stable…
We define Dedekind semidomains as semirings in which each nonzero fractional ideal is invertible. Then we find some equivalent condition for semirings to being Dedekind. For example, we prove that a Noetherian semidomain is Dedekind if and…
Let A be a Noetherian ring and B be a finitely generated A-algebra. Denote by A' the integral closure of A in B. We give necessary and sufficient conditions for prime ideals to be in Ass_{A}(B/A') and Ass_{A'}(B/A') generalizing and…
For a Noetherian scheme $X$ of finite Krull dimension, Neeman recently established two characterizations of the regularity of $X$ using strong generators and bounded $t$-structures on $\operatorname{Perf}(X)$. In this note, we obtain…
Noether gauge symmetry for F(R) theory of gravity has been explored recently. The fallacy is that, even after setting gauge to vanish, the form of F(R) \propto R^n (where n \neq 1, is arbitrary) obtained in the process, has been claimed to…
A self-affine tiling of a compact set G of positive Lebesgue measure is its partition to parallel shifts of a compact set which is affinely similar to G. We find all polyhedral sets (unions of finitely many convex polyhedra) that admit…
The first part of this article deals with theorems on uniqueness in law for \sigma-finite and constructive countable random sets, which in contrast to the usual assumptions may have points of accumulation. We discuss and compare two…
Given an algebra $\mathbf{A}$, and terms $s(x_{1},x_{2},\dots x_{k})$ and $t(x_{1},x_{2},\dots x_{k})$ of the language of ${\mathbf A}$, we say that $s$ and $t$ are {\em separated} in ${\mathbf A}$ iff for all $a_{1},a_{2}\dots a_{k}\in A$,…
We start by presenting a theory of finite sets using the approach which is essentially that taken by Whitehead and Russell in Principia Mathematica}, and which does not involve the natural numbers (or any other infinite set). This theory is…
In this paper, we develop basic results of algebraic geometry over abelian symmetric monoidal categories. Let $A$ be a commutative monoid object in an abelian symmetric monoidal category $(\mathbf C,\otimes,1)$ satisfying certain conditions…
The humble $\dagger$ ("dagger") is used to denote two different operations in category theory: Taking the adjoint of a morphism (in dagger categories) and finding the least fixed point of a functional (in categories enriched in domains).…
Much recent literature concerns finiteness properties of infinite-dimensional algebraic varieties equipped with an action of the infinite symmetric group, or of the infinite general linear group. In this paper, we study a common…
We study expression learning problems with syntactic restrictions and introduce the class of finite-aspect checkable languages to characterize symbolic languages that admit decidable learning. The semantics of such languages can be defined…