2016 | OriginalPaper | Buchkapitel
Introduction
verfasst von : Andrei Alexandru, Gabriel Ciobanu
Erschienen in: Finitely Supported Mathematics
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We start this chapter by presenting some motivation for using nominal sets and Fraenkel-Mostowski sets in the experimental sciences. We emphasize the subdivisions of the so-called Fraenkel-Mostowski framework by mentioning the Fraenkel-Mostowski permutation model of Zermelo-Fraenkel set theory with atoms, the Fraenkel-Mostowski axiomatic set theory, the theory of nominal sets, the theory of generalized nominal sets, and Extended Fraenkel-Mostowski set theory. Finally, we present an alternative mathematics for managing infinite structures in the experimental sciences. This is called Finitely Supported Mathematics and represents, informally, Zermelo-Fraenkel mathematics rephrased in terms of finitely supported structures.