Lex-ideals of DR-monoids and GMV-algebras
Some relatives of the Juhász Club Principle are introduced and studied in the presence of CH. In particular, it is shown that a slight strengthening of this principle implies the existence of a Suslin tree in the presence of CH.
Let denote the set of log canonical thresholds of pairs , with a nonsingular variety of dimension , and a nonempty closed subscheme of . Using non-standard methods, we show that every limit of a decreasing sequence in lies in , proving in this setting a conjecture of Kollár. We also show that is closed in ; in particular, every limit of log canonical thresholds on smooth varieties of fixed dimension is a rational number. As a consequence of this property, we see that in order to check...
We describe finitely generated groups universally equivalent (with constants from in the language) to a given torsion-free relatively hyperbolic group with free abelian parabolics. It turns out that, as in the free group case, the group embeds into the Lyndon’s completion of the group , or, equivalently, embeds into a group obtained from by finitely many extensions of centralizers. Conversely, every subgroup of containing is universally equivalent to . Since finitely generated...
Arhangel’skii proved that if a first countable Hausdorff space is Lindelöf, then its cardinality is at most . Such a clean upper bound for Lindelöf spaces in the larger class of spaces whose points are has been more elusive. In this paper we continue the agenda started by the second author, [Topology Appl. 63 (1995)], of considering the cardinality problem for spaces satisfying stronger versions of the Lindelöf property. Infinite games and selection principles, especially the Rothberger property,...
In set theory without the Axiom of Choice ZF, we prove that for every commutative field , the following statement : “On every non null -vector space, there exists a non null linear form” implies the existence of a “-linear extender” on every vector subspace of a -vector space. This solves a question raised in Morillon M., Linear forms and axioms of choice, Comment. Math. Univ. Carolin. 50 (2009), no. 3, 421-431. In the second part of the paper, we generalize our results in the case of spherically...
We work in set-theory without choice ZF. Given a commutative field , we consider the statement : “On every non null -vector space there exists a non-null linear form.” We investigate various statements which are equivalent to in ZF. Denoting by the two-element field, we deduce that implies the axiom of choice for pairs. We also deduce that implies the axiom of choice for linearly ordered sets isomorphic with .
We find the basis of all linear identities which are true in the variety of entropic graph algebras. We apply it to describe the lattice of all subvarieties of power entropic graph algebras.