Geodesic
Computable ideals in $I$-algebras
Algebra i logika, Tome 49 (2010) no. 2, pp. 157-174
Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

We give algebraic descriptions of relatively intrinsically computable ideals in $I$-algebras (Boolean algebras with a finite number of distinguished ideals) and of intrinsically computable ideals for the case of two distinguished ideals in the language of $I$-algebras.
Keywords: Boolean algebra with finite number of distinguished ideals, intrinsically computable ideal, relatively intrinsically computable ideal. 
@article{AL_2010_49_2_a0,
     author = {P. E. Alaev},
     title = {Computable ideals in $I$-algebras},
     journal = {Algebra i logika},
     pages = {157--174},
     year = {2010},
     volume = {49},
     number = {2},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2010_49_2_a0/}
}
TY  - JOUR
AU  - P. E. Alaev
TI  - Computable ideals in $I$-algebras
JO  - Algebra i logika
PY  - 2010
SP  - 157
EP  - 174
VL  - 49
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/AL_2010_49_2_a0/
LA  - ru
ID  - AL_2010_49_2_a0
ER  - 
%0 Journal Article
%A P. E. Alaev
%T Computable ideals in $I$-algebras
%J Algebra i logika
%D 2010
%P 157-174
%V 49
%N 2
%U http://geodesic.mathdoc.fr/item/AL_2010_49_2_a0/
%G ru
%F AL_2010_49_2_a0
P. E. Alaev. Computable ideals in $I$-algebras. Algebra i logika, Tome 49 (2010) no. 2, pp. 157-174. http://geodesic.mathdoc.fr/item/AL_2010_49_2_a0/

[1] P. E. Alaev, “Avtoustoichivye I-algebry”, Algebra i logika, 43:5 (2004), 511–550 | MR | Zbl

[2] C. Ash, J. Knight, M. Manasse, T. Slaman, “Generic copies of countable structures”, Ann. Pure Appl. Logic, 42:3 (1989), 195–205 | DOI | MR | Zbl

[3] J. Chisholm, “Effective model theory vs. recursive model theory”, J. Symb. Log., 55:3 (1990), 1168–1191 | DOI | MR | Zbl

[4] S. P. Odintsov, “Nasledstvennye rekursivno-perechislimye podalgebry rekursivnoi bulevoi algebry”, Algebra i logika, 31:1 (1992), 38–46 | MR | Zbl

[5] S. S. Goncharov, R. Douni, D. Khirshveld, “Spektry stepenei dlya otnoshenii na bulevykh algebrakh”, Algebra i logika, 42:2 (2003), 182–193 | MR | Zbl

[6] M. Moses, “Recursive linear orderings with recursive successivities”, Ann. Pure Appl. Logic, 27:3 (1984), 253–264 | DOI | MR | Zbl

[7] D. R. Hirschfeldt, “Degree spectra of relations on computable structures in the presence of $\Delta^0_2$ isomorphisms”, J. Symb. Log., 67:2 (2002), 697–720 | DOI | MR | Zbl