The Bergman-Shelah preorder on transformation semigroups

DOI10.1002/MALQ.201200002zbMATH Open1263.20061arXiv1109.2706OpenAlexW3103090512MaRDI QIDQ3144871FDOQ3144871

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

Publication date: 10 December 2012

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

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.

Full work available at URL: https://arxiv.org/abs/1109.2706

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.

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)

Cites Work

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

Cited In (4)

• Title not available (Why is that?)
• 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)