Affiliation:
1. Institute of Computer Science, Romanian Academy, 700505 Iaşi, Romania
2. Academia Europaea, London WC1E7HU, UK
Abstract
In mathematics, philosophy, cosmology, and theology, the notion of infinity has generated ample debate. Much less discussion has been generated by the notion of finiteness. However, when we consider finitely supported sets, the notion of finiteness becomes more interesting and richer. We present several independent definitions of finite sets within the framework of finitely supported structures, emphasizing the differences between these definitions.
Reference15 articles.
1. Alexandru, A., and Ciobanu, G. (2016). Finitely Supported Mathematics: An Introduction, Springer.
2. Alexandru, A., and Ciobanu, G. (2020). Foundations of Finitely Supported Structures: A Set Theoretical Viewpoint, Springer.
3. Uber die Unabhängigkeit des Auswahl Axioms und Einiger seiner Folgerun;Lindenbaum;Comptes Rendus Seances Soc. Sci. Lett. Vars.,1938
4. Jech, T. (1973). The Axiom of Choice, Courier Corporation. Studies in Logic and the Foundations of Mathematics.
5. A new approach to abstract syntax with variable binding;Gabbay;Form. Asp. Comput.,2001