scientific article; zbMATH DE number 1534538

Publication date 21 November 2000

Alternative Set Theory conjunctive class disjunctive class

Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65)

The article under review is a preliminary version of the authors' paper [Math. Notes 61, No. 6, 787-789 (1997); translation from Mat. Zametki 61, No. 6, 943-945 (1997; Zbl 0922.03073)]. The article is devoted to countable classes in the alternative set theory (AST). The authors use the notation and terminology of the book [\textit{P.~Vopenka}, Mathematics in the Alternative Set Theory, Teubner Verlagsgesellschaft, Leipzig (1979; Zbl 0499.03042)]. Every countable class \(A\) in AST is a disjunctive class (the authors call it a \(\sigma\)-class) or a conjunctive class (\(\pi\)-class). In other words, it is the union or intersection of some countable sequence of classes, \(A=\bigcup A_i\) or \(A=\bigcap A_i\). The sequence \(A_i\) is called a generator sequence of the countable class \(A\) and each set \(A_i\) is called a generator. The authors prove the following theorems on the structure of generator sequences of countable classes with a property defined by a set-theoretical formula. Theorem 1. Let \(X\) be a \(\pi\)-class and let \(\varphi(x,y)\) be a set-theoretic formula. Then the class possesses the property \[ (\forall x\in X^n)(\exists y\in X^k)\bigl(\varphi(x,y)\bigr) \] if and only if there is a descending sequence of generators \(X_i\) and \[ (\forall i\geq 1)(\forall x\in X^n_i)(\exists y\in X^k_{i-1}) \bigl(\varphi(x,y)\bigr). \] Theorem 2 provides a similar description for \(\sigma\)-classes.

Recommendations

Cited in

(6)

This page was built for publication:

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