Abstract
In set theory without the Axiom of Choice (\({\mathsf{AC}}\)), we investigate the problem of the deductive strength of the statement “For every infinite set X, there exists a permutation of\({X}\)without fixed points” (\({\mathsf{EPWFP}}\)) as well as of the formally stronger statement “For every infinite set X, there exists a permutation f of X without fixed points and such that\({f^{2}=\mathrm{id}_{X}}\)” (\({\mathsf{ISAE}}\)). Among several results, we prove that \({\mathsf{EPWFP}}\) is strictly weaker than \({\mathsf{ISAE}}\) in \({\mathsf{ZFA}}\) set theory.
We also settle a plethora of open problems on the relative strength of \({\mathsf{ISAE}}\) which are left open in Sonpanow and Vejjajiva “A finite-to-one map from the permutations on a set”, and in Herrlich and Tachtsis “On the number of Russell’s socks or \({2+2+2+\ldots = ?}\)”.
Similar content being viewed by others
References
Blass, A.: Ramsey’s theorem in the hierarchy of choice principles. J. Symbolic Logic 42, 387–390 (1977)
Dawson Jr., J.W., Howard, P.E.: Factorials of infinite cardinals. Fund. Math. 93, 186–195 (1976)
Forster, T.: Finite-to-one maps. J. Symbolic Logic 68, 1251–1253 (2003)
Halbeisen, L., Shelah, S.: Consequences of arithmetic for set theory. J. Symbolic Logic 59, 30–40 (1994)
H. Herrlich, Axiom of Choice, Lecture Notes in Mathematics, Vol. 1876, Springer-Verlag (Berlin, Heidelberg, 2006).
Herrlich, H., Tachtsis, E.: On the number of Russell’s socks or \(2+2+2+\cdots =\) ? Comment. Math. Univ. Carolin. 47, 707–717 (2006)
P. Howard and J. E. Rubin, Consequences of the Axiom of Choice, Mathematical Surveys and Monographs, Vol. 59, American Mathematical Society (Providence, RI, 1998); Consequences of the Axiom of Choice Project Homepage: consequences.emich.edu/conseq.htm.
Howard, P.E., Rubin, J.E.: The axiom of choice and linearly ordered sets. Fund. Math. 98, 111–122 (1977)
T. J. Jech, The Axiom of Choice, Studies in Logic and the Foundations of Mathematics, Vol. 75, North-Holland Publishing Co. (Amsterdam, 1973).
Pincus, D.: Adding dependent choice. Ann. Math. Logic 11, 105–145 (1977)
H. Rubin and J. E. Rubin, Equivalents of the Axiom of Choice, II, Studies in Logic and the Foundations of Mathematics, Vol. 116, North-Holland Publishing Co. (Amsterdam, 1985).
Sonpanow, N., Vejjajiva, P.: A finite-to-one map from the permutations on a set. Bull. Aust. Math. Soc. 95, 177–182 (2017)
Tachtsis, E.: On Ramsey’s theorem and the existence of infinite chains or infinite anti-chains in infinite posets. J. Symbolic Logic 81, 384–394 (2016)
E. Tachtsis, On the minimal cover property and certain notions of finite, Arch. Math. Logic, 57 (2018), 665–686.
E. Tachtsis, Łoś’ theorem and the axiom of choice, Math. Logic Quart. (accepted).
Truss, J.K.: The structure of amorphous sets. Ann. Pure Appl. Logic 73, 191–233 (1995)
van Dalen, D.: Logic and Structure, Springer-Verlag. Heidelberg, New York, Berlin (1997)
Acknowledgement
We are most thankful to the anonymous referee for careful review work, whose suggestions also removed an error from the original version, and improved the quality of our paper.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Tachtsis, E. On the existence of permutations of infinite sets without fixed points in set theory without choice. Acta Math. Hungar. 157, 281–300 (2019). https://doi.org/10.1007/s10474-018-0869-9
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10474-018-0869-9
Key words and phrases
- axiom of choice
- weak axiom of choice
- permutation of a set
- fixed point of a permutation
- almost even set
- Fraenkel–Mostowski model of \({\mathsf{ZFA}}\)
- symmetric model of \({\mathsf{ZF}}\)
- Jech–Sochor First Embedding Theorem
- Pincus’ transfer theorem