Sets with dependent elements: A formalization of Castoriadis' notion of magma

DOI10.13140/RG.2.2.35674.41925MaRDI QIDQ6429772zbMATH OpenFDO

Authors Athanassios Tzouvaras

Publication date 16 March 2023

Mathematics Subject Classification ID

Partial orders, general (06A06) General applied mathematics (00A69)

Abstract: We present a formalization of collections that Cornelius Castoriadis calls ``magmas, especially the property which mainly characterizes them and distinguishes them from the usual cantorian sets. It is the property of their elements to {em depend} on other elements, either in a one-way or a two-way manner, so that one cannot occur in a collection without the occurrence of those dependent on it. Such a dependence relation can be represented by a pre-order relation $preccurlyeq$ Then, working in a mild strengthening of the theory $mZFA$, where $A$ is an infinite set of atoms equipped with a primitive pre-ordering $preccurlyeq$, the class of magmas over $A$ is represented by the class $LO(A,preccurlyeq)$ of nonempty open subsets of $A$ with respect to the lower topology of $langleA,preccurlyeqangle$. Next the pre-ordering $preccurlyeq$ is shifted (by a kind of simulation) to a pre-ordering $preccurlye{q}^{+}$ on $calP(A)$, which turns out to satisfy the same non-minimality condition as well, and which, happily, when restricted to $LO(A,preccurlyeq)$ coincides with $subseteq$. This allows us to define a hierarchy $M_{a}lpha(A)$, along all ordinals $alphageq1$, the``magmatic hierarchy, such that $M_1(A)=LO(A,preccurlyeq)$, $M_{alpha+1}(A)=LO(M_{a}lpha(A),subseteq)$, and $$, for a limit ordinal $alpha$. For every $alphageq1$, $M_{a}lpha(A)subseteq{V}_{a}lpha(A)$, where $V_{a}lpha(A)$ are the levels of the universe $V(A)$ of $mZFA$. The class $$ is the ``magmatic universe above $A$.

This page was built for publication: Sets with dependent elements: A formalization of Castoriadis' notion of magma

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6429772)