We investigate some natural questions about the class of posets which can be embedded into ⟨ω,≤*⟩. Our main tool is a simple ccc forcing notion which generically embeds a given poset E into ⟨ω,≤*⟩ and does this in a “minimal” way (see Theorems 9.1, 10.1, 6.1 and 9.2).
A mode (idempotent and entropic algebra) is a Lallement sum of its cancellative submodes over a normal band if it has a congruence with a normal band quotient and cancellative congruence classes. We show that such a sum embeds as a subreduct into a semimodule over a certain ring, and discuss some consequences of this fact. The result generalizes a similar earlier result of the authors proved in the case when the normal band is a semilattice.
Given a Boolean algebra 𝔹 and an embedding e:𝔹 → 𝓟(ℕ)/fin we consider the possibility of extending each or some automorphism of 𝔹 to the whole 𝓟(ℕ)/fin. Among other things, we show, assuming CH, that for a wide class of Boolean algebras there are embeddings for which no non-trivial automorphism can be extended.
The theorem of Ax says that any regular selfmapping of a complex algebraic variety is either surjective or non-injective; this property is called surjunctivity and investigated in the present paper in the category of proregular mappings of proalgebraic spaces. We show that such maps are surjunctive if they commute with sufficiently large automorphism groups. Of particular interest is the case of proalgebraic varieties over infinite graphs. The paper intends to bring out relations between model theory,...
We introduce Engel elements in a BCI-algebra by using left and right normed commutators, and some properties of these elements are studied. The notion of -Engel BCI-algebra as a natural generalization of commutative BCI-algebras is introduced, and we discuss Engel BCI-algebra, which is defined by left and right normed commutators. In particular, we prove that any nilpotent BCI-algebra of type is an Engel BCI-algebra, but solvable BCI-algebras are not Engel, generally. Also, it is proved that...