S. S. Goncharov, N. A. Bazhenov, M. I. Marchuk, “The index set of Boolean algebras autostable relative to strong constructivizations”, Sibirsk. Mat. Zh., 2015, Volume 56, Number 3,Pages <nobr>498

This article is cited in 18 papers

The index set of Boolean algebras autostable relative to strong constructivizations

S. S. Goncharov^ab, N. A. Bazhenov^ba, M. I. Marchuk^a

^a Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia
^b Novosibirsk State University, Novosibirsk, Russia

Abstract: We obtain exact estimates for the algorithmic complexity for the classes of strongly constructivizable computable models autostable relative to strong constructivizations and belonging to the following natural classes: Boolean algebras, distributive lattices, rings, commutative semigroups, and partial orders.

Keywords: computable model, strongly constructivizable model, autostability, autostability relative to strong constructivizations, Boolean algebra, distributive lattice, ring, commutative semigroup, partial order, hyperarithmetic hierarchy, index set.

UDC: 510.5+512.563

Received: 18.03.2015

DOI: 10.17377/smzh.2015.56.303