Related papers: Perfect Set Theorems for Equivalence Relations wit…
Several methods of preference modeling, ranking, voting and multi-criteria decision making include pairwise comparisons. It is usually simpler to compare two objects at a time, furthermore, some relations (e.g., the outcome of sports…
Working with uncountable structures of fixed cardinality, we investigate the complexity of certain equivalence relations and show that if V = L, then many of them are \Sigma^1_1-complete, in particular the isomorphism relation of dense…
The aim of this paper is to study Iseki spaces of distinguished classes of ideals of a semiring endowed with a topology. We show that every Is\'{e}ki space is quasi-compact whenever the semiring is Noetherian. We characterize Is\'{e}ki…
Wiebe's criterion, which recognizes complete intersections of dimension zero among the class of noetherian local rings, is revisited and exploited in order to provide information on what we call C.I.0-ideals (those such that the…
In this paper, we consider $\text{C}^*$-algebras with the ideal property (the ideal property unifies the simple and real rank zero cases). We define two categories related the invariants of the $\text{C}^*$-algebras with the ideal property.…
A set $M\subset\mathbb{R}$ is microscopic if for each $\varepsilon>0$ there is a sequence of intervals $(J_n)_{n\in\omega}$ covering $M$ and such that $|J_n|\leq \varepsilon^{n+1}$ for each $n\in\omega$. We show that there is a microscopic…
Necessary and sufficient conditions for when every non-zero ideal in a relative Cuntz-Pimsner ring contains a non-zero graded ideal, when a relative Cuntz-Pimsner ring is simple, and when every ideal in a relative Cuntz-Pimsner ring is…
Suppose $A$ is a graded associative algebra over a field, $I$ is its ideal generated by a set $\alpha$ of homogeneous elements, and B = A/I. In this note, some inequalities between Hilbert series of algebras $A,B$ and the number of elements…
For an ideal $I$ of a Noetherian local ring $(R,\fm,k)$ we show that $\bt_1^R(I)-\bt_0^R(I)\geq -1$. It is demonstrated that some residual intersections of an ideal $I$ for which $\bt_1^R(I)-\bt_0^R(I)= -1\;\text{or}\;0$ are perfect. Some…
A classical theorem of Luzin is that the separation principle holds for the Pi^0_alpha sets but fails for the Sigma^0_alpha sets. We show that for every Sigma^0_alpha set A which is not Pi^0_alpha there exists a Sigma^0_alpha set B which is…
Denote by $\mathcal{NA}$ and $\mathcal{MA}$ the ideals of null-additive and meager-additive subsets of~$2^\omega$, respectively. We prove in ZFC that $\mathrm{add}(\mathcal{NA})=\mathrm{non}(\mathcal{NA})$ and introduce a new (Polish)…
We propose a reformulation of the ideal $\mathcal{N}$ of Lebesgue measure zero sets of reals modulo an ideal $J$ on $\omega$, which we denote by $\mathcal{N}_J$. In the same way, we reformulate the ideal $\mathcal{E}$ generated by…
For a semisimple algebraic group $G$ of adjoint type with Lie algebra $\mathfrak g$ over the complex numbers, we establish a bijection between the set of closed orbits of the group $G \ltimes \mathfrak g^{\ast}$ acting on the variety of…
We show that for a $\sigma $-ideal $\ci$ with a Borel base of subsets of an uncountable Polish space, if $\ca$ is (in several senses) a "regular" family of subsets from $\ci $ then there is a subfamily of $\ca$ whose union is completely…
We prove conditions ensuring that a Lie ideal or an invariant additive subgroup in a ring contains all additive commutators. A crucial assumption is that the subgroup is fully noncentral, that is, its image in every quotient is noncentral.…
We again consider (as in a companion paper) an entangled two-particle state that is produced from two independent down-conversion sources by the process of "entanglement-swapping", so that the particles have never met. We show that there is…
Let G be a group. Two elements x,y are said to be in the same z-class if their centralizers are conjugate in G. Let V be a vector space of dimension n over a field F of characteristic different from 2. Let B be a non-degenerate symmetric,…
The smooth development of large parts of mathematics hinges on the idea that some sets are `small' or `negligible' and can therefore be ignored for a given purpose. The perhaps most famous smallness notion, namely `measure zero', originated…
A recent article of Chernikov, Hrushovski, Kruckman, Krupinski, Moconja, Pillay and Ramsey finds the first examples of simple structures with formulas which do not fork over $\emptyset$ but are universally measure zero. In this article we…
We prove that the isomorphism problem for separable nuclear C*-algebras is complete in the class of orbit equivalence relations. In fact, already the isomorphism of simple, separable AI C*-algebras is a complete orbit equivalence relation.…