|
This article is cited in 3 scientific papers (total in 3 papers)
Definability of boolean algebras in $\mathbb{HF}$-superstrustures
A. V. Romina Novosibirsk State University
Abstract:
Within the frames of the $\Sigma$-definability approach propounded by Yu. L. Ershov, we study into the definability of Boolean algebras and their Frechet ranks in hereditarily finite superstructures. Examples are constructed of a superatomic Boolean algebra whose Frechet rank is not $\Sigma$-definable in the hereditarily finite superstructure over that algebra, and of an admissible set in which the atomless Boolean algebra is not autostable.
Received: 05.05.1999 Revised: 08.06.1999
Citation:
A. V. Romina, “Definability of boolean algebras in $\mathbb{HF}$-superstrustures”, Algebra Logika, 39:6 (2000), 711–719; Algebra and Logic, 39:6 (2000), 407–411
Linking options:
https://www.mathnet.ru/eng/al249 https://www.mathnet.ru/eng/al/v39/i6/p711
|
Statistics & downloads: |
Abstract page: | 239 | Full-text PDF : | 111 | First page: | 1 |
|