Abstract
Let τ be a nonempty similarity type of algebras. A set H of τ-algebras is called rigid with respect to embeddability, if whenever A, B ∈ H and φ: A → B is an embedding, then A = B and φ is the identity map. We prove that if τ is a nonempty similarity type and 𝖒 is a cardinal such that no inaccessible cardinal is smaller than or equal to m, then there exists a set H of τ-algebras such that H is rigid with respect to embeddability and |H| = 𝖒. This result strengthens a result proved by the second author in 1980.
Dedicated to Anatolij Dvurečenskij on his 65th birthday
(Communicated by Sylvia Pulmannová)
This research of the first author was supported by the European Union and co-funded by the European Social Fund under the project “Telemedicine-focused research activities on the field of Mathematics, Informatics and Medical sciences” of project number “TÁMOP-4.2.2.A-11/1/KONV-2012-0073”, and by NFSR of Hungary (OTKA), grant number K83219. The work of the second author was supported by VEGA Grant No. 1/0063/14.
References
[1] Comer, S. D.—Le Tourneau, J. J.: Isomorphism types of infinite algebras, Proc. Amer. Math. Soc. 21 (1969), 635–639.10.1090/S0002-9939-1969-0238752-9Search in Google Scholar
[2] Farkasová, Z.—Jakubíková-Studenovská, D.: Polymorphism-homogeneous monounary algebras, Math. Slovaca 65 (2015), 359–370.10.1515/ms-2015-0028Search in Google Scholar
[3] Halusková, E.: On inverse limits of monounary algebras, Math. Slovaca 64 (2014), 691–706.10.2478/s12175-014-0234-6Search in Google Scholar
[4] Horváth, G.—Kátai-Urbán, K.—Pach, P. P.—Pongrácz, A.—Pluhár, G.—Szabó O, CS.: The number of monounary algebras, Algebra Universalis 66 (2011), 81–83.10.1007/s00012-011-0147-ySearch in Google Scholar
[5] Jakubíková-Studenovská, D.: On weakly rigid monounary algebras, Math. Slovaca 30 (1980), 197–206.Search in Google Scholar
[6] Jakubíková-Studenovská, D.—Pócs, J: Monounary Algebras, UPJŠ, Kosice, 2009.Search in Google Scholar
[7] Jónsson, B.: Topics in Universal Algebra, Springer-Verlag, Berlin, 1972.10.1007/BFb0058648Search in Google Scholar
[8] Kuratowski, K.: Sur l’état actuel de laxiomatique de la théorie des ensembles, Ann. Soc. Math. Polon. 3 (1925), 146–147.Search in Google Scholar
[9] Levy, A.: Basic Set Theory, Springer-Verlag, Berlin-Heidelberg-New York, 1979.10.1007/978-3-662-02308-2Search in Google Scholar
[10] Primavesi, A.—Thompson, K.: The embedding structure for linearly ordered topological spaces, (2011), arXiv:1102.2159v1.10.1016/j.topol.2012.05.023Search in Google Scholar
© 2016 Mathematical Institute Slovak Academy of Sciences
Articles in the same Issue
- Research Article
- Holistic logical arguments in quantum computation
- Research Article
- States with values in the Łukasiewicz groupoid
- Research Article
- On realization of effect algebras
- Research Article
- States on symmetric logics: extensions
- Research Article
- Extensions and measurability in quantum measure spaces
- Research Article
- Convex subalgebras of upper bounded GMV-algebras
- Research Article
- Combining boolean algebras and ℓ-groups in the variety generated by chang’s mv-algebra
- Research Article
- Large rigid sets of algebras with respect to embeddability
- Research Article
- Conformal algebras, vertex algebras, and the logic of locality
- Research Article
- Extension of measures on pseudo-D-lattices
- Research Article
- Note on a parameter switching method for nonlinear ODEs
- Research Article
- Compatibility for probabilistic theories
- Research Article
- Completeness of Gelfand-Neumark-Segal inner product space on Jordan algebras
- Research Article
- Commutativity in a synaptic algebra
- Research Article
- Discrete averaged mixing applied to the logarithmic distributions
- Research Article
- Automorphisms of decompositions
Articles in the same Issue
- Research Article
- Holistic logical arguments in quantum computation
- Research Article
- States with values in the Łukasiewicz groupoid
- Research Article
- On realization of effect algebras
- Research Article
- States on symmetric logics: extensions
- Research Article
- Extensions and measurability in quantum measure spaces
- Research Article
- Convex subalgebras of upper bounded GMV-algebras
- Research Article
- Combining boolean algebras and ℓ-groups in the variety generated by chang’s mv-algebra
- Research Article
- Large rigid sets of algebras with respect to embeddability
- Research Article
- Conformal algebras, vertex algebras, and the logic of locality
- Research Article
- Extension of measures on pseudo-D-lattices
- Research Article
- Note on a parameter switching method for nonlinear ODEs
- Research Article
- Compatibility for probabilistic theories
- Research Article
- Completeness of Gelfand-Neumark-Segal inner product space on Jordan algebras
- Research Article
- Commutativity in a synaptic algebra
- Research Article
- Discrete averaged mixing applied to the logarithmic distributions
- Research Article
- Automorphisms of decompositions