RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive

Algebra Logika, 2002 Volume 41, Number 2, Pages 228–252 (Mi al182)

This article is cited in 6 papers

$\Sigma$-Admissible Families over Linear Orders

A. I. Stukachev

Novosibirsk State University

Abstract: Admissible sets of the form $\operatorname{HYP}(\mathfrak M)$, where $\mathfrak M$ is a recursively saturated system, are treated. We provide descriptions of subsets $\mathfrak M$, which are $\Sigma_*$-sets in $\operatorname{HYP}(\mathfrak M)$, and of families of subsets $\mathfrak M$, which form $\Sigma$-regular families in $\operatorname{HYP}(\mathfrak M)$, in terms of the concept of being fundamental couched in the article. Fundamental subsets and families are characterized for models of dense linear orderings.

Keywords: admissible sets, recursively saturated system, $\Sigma$-regular family, fundamental subset.

UDC: 510.5

Received: 14.07.2000


 English version:
Algebra and Logic, 2002, 41:2, 127–139

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025