The finite subsets and the permutations with finitely many non‐fixed points of a set

, &
Mathematical Logic Quarterly 67 (2):258-263 (2021)
  Copy   BIBTEX

Abstract

We write and for the cardinalities of the set of finite subsets and the set of permutations with finitely many non‐fixed points, respectively, of a set which is of cardinality. In this paper, we investigate relationships between and for an infinite cardinal in the absence of the Axiom of Choice. We give conditions that make and comparable as well as give related consistency results.

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.202000058

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,100

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The power set and the set of permutations with finitely many non‐fixed points of a set.Guozhen Shen - 2023 - Mathematical Logic Quarterly 69 (1):40-45.
The permutations with n_ non‐fixed points and the subsets with _n elements of a set.Supakun Panasawatwong & Pimpen Vejjajiva - 2023 - Mathematical Logic Quarterly 69 (3):341-346.
Factorials of infinite cardinals in zf part I: Zf results.Guozhen Shen & Jiachen Yuan - 2020 - Journal of Symbolic Logic 85 (1):224-243.
Axiom systems for first order logic with finitely many variables.James S. Johnson - 1973 - Journal of Symbolic Logic 38 (4):576-578.
The model theory of finitely generated finite-by-Abelian groups.Francis Oger - 1984 - Journal of Symbolic Logic 49 (4):1115-1124.
Sofic profiles of $$S(\omega )$$ and computability.Aleksander Ivanov - 2021 - Archive for Mathematical Logic 60 (3-4):477-494.
The Poset of All Logics III: Finitely Presentable Logics.Ramon Jansana & Tommaso Moraschini - 2020 - Studia Logica 109 (3):539-580.
The permutations with N_ non-fixed points and the sequences with length _N of a set.Jukkrid Nuntasri & Pimpen Vejjajiva - forthcoming - Journal of Symbolic Logic:1-10.
Remarks on Uniformly Finitely Precomplete Positive Equivalences.V. Shavrukov - 1996 - Mathematical Logic Quarterly 42 (1):67-82.
Isomorphism types of maximal cofinitary groups.Bart Kastermans - 2009 - Bulletin of Symbolic Logic 15 (3):300-319.
Three-elemnt non-finitely axiomatizable matrices and term-equivalence.Katarzyna Pałasińska - 2014 - Logic and Logical Philosophy 23 (4):481-497.
Fixed point logics.Anuj Dawar & Yuri Gurevich - 2002 - Bulletin of Symbolic Logic 8 (1):65-88.
Finite replacement and finite hilbert‐style axiomatizability.B. Herrmann & W. Rautenberg - 1992 - Mathematical Logic Quarterly 38 (1):327-344.
Definable fixed points in modal and temporal logics — a survey.Sergey Mardaev - 2007 - Journal of Applied Non-Classical Logics 17 (3):317-346.
Finite basis problems and results for quasivarieties.Miklós Maróti & Ralph McKenzie - 2004 - Studia Logica 78 (1-2):293 - 320.

Analytics

Added to PP
2023-08-30

Downloads
6 (#1,463,802)

6 months
5 (#644,465)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Consequences of arithmetic for set theory.Lorenz Halbeisen & Saharon Shelah - 1994 - Journal of Symbolic Logic 59 (1):30-40.

Add more references