About Not Countable Ideals in a Semi-Lattice of the Enumeration Degrees

B I Solon,V V Tikhov

doi:10.18255/1818-1015-2012-5-74-80

Abstract

This paper is dedicated to the study of ideals in semi-lattice of the enumeration degrees.

Highlights

Эта статья посвящена изучению неглавных идеалов в полурешетке степеней перечислимости.
Пусть b S, тогда ∀y[y < 0 ⇒ b ∨ y < 0 ] и a ≤ b – произвольная e-степень, докажем, что a S.
Так как a ≤ b, то a ∨ y ≤ b ∨ y для всех e-степеней y, поэтому ∀y[y < 0 ⇒ a ∨ y < 0 ] и a S .

Summary

Introduction

Эта статья посвящена изучению неглавных идеалов в полурешетке степеней перечислимости. Пусть b S, тогда ∀y[y < 0 ⇒ b ∨ y < 0 ] и a ≤ b – произвольная e-степень, докажем, что a S. Так как a ≤ b, то a ∨ y ≤ b ∨ y для всех e-степеней y, поэтому ∀y[y < 0 ⇒ a ∨ y < 0 ] и a S .

Results

Conclusion