Autostability of Boolean algebras with distinguished ideal
type: Item
instance of: scholarly article
title: Autostability of Boolean algebras with distinguished ideal
zbMATH Open document ID: 0913.06011
DOI: 10.1007/BF02672914
author: N. T. Kogabaev
published in: Siberian Mathematical Journal
publication date: 1999-05-11T00:00:00Z
review text: Algorithmic problems of Boolean algebras with distinguished ideal are considered. An algebraic criterion is obtained for a Boolean algebra of this kind to be autostable (\(=\) recursively categorical).
Mathematics Subject Classification ID: 06E25
Mathematics Subject Classification ID: 03C57
Mathematics Subject Classification ID: 03D45
zbMATH DE Number: 1286047
zbMATH Keywords: Boolean algebra with distinguished ideal
zbMATH Keywords: autostable model
zbMATH Keywords: recursively categorical model
MaRDI profile type: Publication
cites work: Autostability of models
cites work: Undecidability of theories of Boolean algebras with selected ideals
cites work: Countably-categorical Boolean algebras with distinguished ideals
cites work: Q4895321
cites work: Algorithmic properties of branching models
description: scientific article; zbMATH DE number 1286047