scientific article; zbMATH DE number 1746561
From MaRDI portal
Publication:4530730
The authors study the algebraic properties of Rogers semilattices. They consider problems of existence of minimal elements, minimal coverings, and ideals without minimal elements. In particular, they prove that the Rogers semilattice of any infinite \(\Sigma_{n+2}^0\)-computable family of sets contains infinitely many minimal elements (Theorem 1); and that if a family \({\mathcal A}\subseteq\Sigma^0_{n+2}\) possesses a \(\Sigma^0_{n+2}\)-computable Friedberg numbering then the Rogers semilattice \({\mathcal R}_{n+2}({\mathcal A})\) contains an ideal without minimal elements.
Recommendations
- Ideals without minimal elements in Rogers semilattices
- Lattice properties of Rogers semilattices of compuatble and generalized computable families
- Rogers semilattices of families of two embedded sets in the Ershov hierarchy
- Rogers semilattices for families of equivalence relations in the Ershov hierarchy
- Theories of Rogers semilattices of analytical numberings
Cited in
(42)- On cardinality of semilattices of enumerations of nondiscrete families
- Some absolute properties of \(A\)-computable numberings
- Elementary theories and hereditary undecidability for semilattices of numberings
- The Rogers semilattices of generalized computable enumerations
- Friedberg numberings of families of partial computable functionals
- Theories of Rogers semilattices of analytical numberings
- On \(p \)-universal and \(p \)-minimal numberings
- Some properties of the upper semilattice of computable families of computably enumerable sets
- Lattice properties of Rogers semilattices of compuatble and generalized computable families
- Rogers semilattices for families of equivalence relations in the Ershov hierarchy
- Generalized computable universal numberings
- Minimal generalized computable enumerations and high degrees
- Minimal generalized computable numberings and families of positive preorders
- Rogers semilattices with least and greatest elements in the Ershov hierarchy
- Enumeration reducibility and positive reducibility of the numberings of families of arithmetic sets
- Rogers semilattices of families of two embedded sets in the Ershov hierarchy
- Rogers Semilattices of Finite Partially Ordered Sets
- A decomposition of the Rogers semilattice of a family of d.c.e. sets
- scientific article; zbMATH DE number 1225790 (Why is no real title available?)
- scientific article; zbMATH DE number 2007871 (Why is no real title available?)
- scientific article; zbMATH DE number 1873436 (Why is no real title available?)
- Local structure of Rogers semilattices of Σn 0-computable numberings
- On the limit property of the greatest element in the Rogers semilattice
- Computable Families of Sets in the Ershov Hierarchy Without Principal Numberings
- Two theorems on minimal generalized computable numberings
- scientific article; zbMATH DE number 7763258 (Why is no real title available?)
- Effectively infinite classes of numberings of computable families of reals
- Rogers semilattices of limitwise monotonic numberings
- Extremal numberings and fixed point theorems
- Effectively infinite classes of numberings and computable families of reals
- On the embedding of the first nonconstructive ordinal in the Rogers semilattices
- Embedding of the first nonconstructive ordinal into the Rogers semilattices of families of arithmetic sets
- A family with a single minimal but not least numbering
- On Non-principal Arithmetical Numberings and Families
- Some properties of precompletely and positively numbered sets
- Fixed point theorems for minimal numberings
- Notes on classes of minimal numberings of arithmetical set families
- An approach to the classification of minimal numberings of families of arithmetical sets
- On e-principal and e-complete numberings
- On arithmetical numberings in reverse mathematics
- On the number of minimal elements of ideals of Rogers semilattices
- Ideals without minimal elements in Rogers semilattices
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4530730)
