The partitions whose members are finite and the permutations with at most $n$ non-fixed points of a set
Logic
2023-12-05 v1
Abstract
We write and for the set of permutations with at most non-fixed points, where is a natural number, and the set of partitions whose members are finite, respectively, of a set . Among our results, we show, in the Zermelo-Fraenkel set theory, that for any infinite set and if can be linearly ordered, then while the statement `` for all infinite sets " is not provable for .
Cite
@article{arxiv.2312.01349,
title = {The partitions whose members are finite and the permutations with at most $n$ non-fixed points of a set},
author = {Nattapon Sonpanow and Pimpen Vejjajiva},
journal= {arXiv preprint arXiv:2312.01349},
year = {2023}
}