The Bergman-Shelah preorder on transformation semigroups

DOI10.1002/MALQ.201200002MaRDI QIDQ3144871zbMATH OpenOpenAlexFDO

Authors Michał Morayne, J. D. Mitchell, Y. Péresse

Publication date 10 December 2012

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1109.2706, http://hdl.handle.net/2299/18077

zbMATH Keywords

continuum hypothesisfull transformation semigroupsfunction topologyclosed subsemigroupspartial orders on subsemigroups

Mathematics Subject Classification ID

Semigroups of transformations, relations, partitions, etc. (20M20) Subalgebras, congruence relations (08A30) Continuum hypothesis and Martin's axiom (03E50)

Abstract: Let $a{t}^{a}t$ be the semigroup of all mappings on the natural numbers $at$, and let $U$ and $V$ be subsets of $a{t}^{a}t$. We write $UpreccurlyeqV$ if there exists a countable subset $C$ of $a{t}^{a}t$ such that $U$ is contained in the subsemigroup generated by $V$ and $C$. We give several results about the structure of the preorder $preccurlyeq$. In particular, we show that a certain statement about this preorder is equivalent to the Continuum Hypothesis. The preorder $preccurlyeq$ is analogous to one introduced by Bergman and Shelah on subgroups of the symmetric group on $at$. The results in this paper suggest that the preorder on subsemigroups of $a{t}^{a}t$ is much more complicated than that on subgroups of the symmetric group.

Recommendations

• Partial orders on transformation semigroups.
• On certain order-preserving transformation semigroups
• On transformation semigroups which are \(\mathcal{BQ}\)-semigroups.
• Baer-Levi semigroups of partial transformations
• On the semigroups of order-preserving and \(A\)-decreasing finite transformations.
• scientific article; zbMATH DE number 2188881
• Congruences on order-preserving partial transformation semigroups.
• \(BQ\)-semigroups of transformations.
• Partial orders on linear transformation semigroups
• Regularity conditions on order-preserving transformation semigroups.

Cites work

• scientific article; zbMATH DE number 1261512 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• An interpolation problem associated with the continuum hypothesis
• Closed subgroups of the infinite symmetric group.
• Consistency of the Continuum Hypothesis. (AM-3)
• Generating self-map monoids of infinite sets.
• Generating transformation semigroups using endomorphisms of preorders, graphs, and tolerances.
• History of the Continuum in the 20th Century
• On differentiability of Peano type functions. II
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS

Cited in

(4)

• scientific article; zbMATH DE number 7551770 (Why is no real title available?)
• Automatic continuity, unique Polish topologies, and Zariski topologies on monoids and clones
• Topological embeddings into transformation monoids
• John Macintosh Howie: work and legacy

This page was built for publication: The Bergman-Shelah preorder on transformation semigroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3144871)