|
This article is cited in 6 scientific papers (total in 6 papers)
Constructivizability of the Boolean algebra $\mathfrak B(\omega)$ with a distinguished automorphism
N. A. Bazhenova, R. R. Tukhbatullinab a Novosibirsk State University, Novosibirsk, Russia
b CERGE–EI, A joint workplace of Charles Univ. and Economics Inst. Acad. Sci. Czech Repub., Prague, Czech Republic
Abstract:
A constructivizability criterion for the Boolean algebra $\mathfrak B(\omega)$ with a distinguished ideal is given. As a consequence of the criterion, combined with a result due to I. Kalimullin, B. Khoussainov, and A. Melnikov, we construct a Boolean algebra with a distinguished ideal whose degree spectrum contains every nonzero Turing $\Delta^0_2$-degree but does not contain $0$.
Keywords:
Boolean algebra with distinguished automorphism, constructivizability, degree spectra of structures.
Received: 01.11.2011 Revised: 08.08.2012
Citation:
N. A. Bazhenov, R. R. Tukhbatullina, “Constructivizability of the Boolean algebra $\mathfrak B(\omega)$ with a distinguished automorphism”, Algebra Logika, 51:5 (2012), 579–607; Algebra and Logic, 51:5 (2012), 384–403
Linking options:
https://www.mathnet.ru/eng/al552 https://www.mathnet.ru/eng/al/v51/i5/p579
|
Statistics & downloads: |
Abstract page: | 333 | Full-text PDF : | 44 | References: | 44 | First page: | 6 |
|