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
Эта статья посвящена изучению неглавных идеалов в полурешетке степеней перечислимости. Пусть 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 .
Sign-in/Register to view highlights & summary Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
