An algebraic decomposition of the recursively enumerable degrees and the coincidence of several degree classes with the promptly simple degrees (original) (raw)

D -Simple Sets, Small Sets, and Degree Classes

Manuel Lerman

Pacific Journal of Mathematics, 1980

View PDFchevron_right

Minimal Degrees and Recursively Inseparable Pairs of Recursively Enumerable Sets

Manuel Lerman

Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1991

View PDFchevron_right

Degree theoretic definitions of the low2 recursively enumerable sets

Rod Downey

Journal of Symbolic Logic, 1995

View PDFchevron_right

On the jump classes of noncuppable enumeration degrees

Charles Harris

The Journal of Symbolic Logic, 2011

View PDFchevron_right

On suborderings of the α-recursively enumerable α-degrees

Manuel Lerman

Annals of Mathematical Logic, 1972

View PDFchevron_right

A necessary and sufficient condition for embedding principally decomposable finite lattices into the computably enumerable degrees preserving greatest element

Manuel Lerman

Annals of Pure and Applied Logic, 2001

View PDFchevron_right

Totally < ω-computably enumerable degrees and m-topped degrees

Rod Downey

2007

View PDFchevron_right

T-degrees, jump classes, and strong reducibilities

Rod Downey

Transactions of the American Mathematical Society, 1987

View PDFchevron_right

Decomposition and infima in the computably enumerable degrees

Rod Downey

The Journal of Symbolic Logic, 2003

View PDFchevron_right

Abstract the Existential Theory of the Poset of R.e. Degrees with a Predicate for Single Jump Reducibility

Manuel Lerman

2014

View PDFchevron_right

The Theory of the Metarecursively Enumerable Degrees

Richard Shore

2000

View PDFchevron_right

Definability in the Recursively Enumerable Degrees

Richard Shore

Bulletin of Symbolic Logic, 1996

View PDFchevron_right

Chapter II: Embeddings and Extensions of Embeddings in the Degrees

Manuel Lerman

1983

View PDFchevron_right

Complementing cappable degrees in the difference hierarchy

Rod Downey

Annals of Pure and Applied Logic, 2004

View PDFchevron_right

On relative enumerability of Turing degrees

Shamil Ishmukhametov

Archive for Mathematical Logic, 2000

View PDFchevron_right

Some remarks about classes of recursively enumerable sets

Victor Selivanov

Siberian Mathematical Journal, 1978

View PDFchevron_right

Recursively Enumerable m- and tt-Degrees III: Realizing all Finite Distributive Lattices

Rod Downey

Journal of the London Mathematical Society, 1994

View PDFchevron_right

Structures of the degrees of unsolvability of index sets

Victor Selivanov

Algebra and Logic, 1979

View PDFchevron_right

The p-T-degrees of the recursive sets: lattice embeddings, extensions of embeddings and the two-quantifier theory

Richard Shore

Theoretical Computer Science, 1992

View PDFchevron_right

Decidability and Invariant Classes for Degree Structures

Manuel Lerman

Transactions of the American Mathematical Society, 1988

View PDFchevron_right

The structure of the -degrees contained within a single -degree

Thomas Kent

Annals of Pure and Applied Logic, 2009

View PDFchevron_right

Chapter XI: Bounding Minimal Degrees with Recursively Enumerable Degrees

Manuel Lerman

1983

View PDFchevron_right

Isomorphism types of Rogers semilattices for families from difierent levels of the arithmetical hierarchy 1

sergei badaev

View PDFchevron_right

The elementary theory of the recursively enumerable degrees is not 0-categorical

Manuel Lerman

Advances in Mathematics, 1984

View PDFchevron_right

Definable degrees and automorphisms of mathcalD\mathcal {D}mathcalD

Richard Shore, Leo Harrington

Bulletin of the American Mathematical Society, 1981

View PDFchevron_right

Embeddings into the computably enumerable degrees

Manuel Lerman

Contemporary Mathematics, 2000

View PDFchevron_right

Computably enumerable sets and quasi-reducibility

Rod Downey

Annals of Pure and Applied Logic, 1998

View PDFchevron_right

Degrees which do not bound minimal degrees

Manuel Lerman

Annals of Pure and Applied Logic, 1986

View PDFchevron_right

Embedding finite lattices into the computably enumerable degrees — a status survey

Manuel Lerman

Cambridge University Press eBooks, 2017

View PDFchevron_right

A Hierarchy of Computably Enumerable Degrees

Rod Downey

The Bulletin of Symbolic Logic, 2018

View PDFchevron_right

Chapter IX: Minimal Degrees and High/Low Hierarchies

Manuel Lerman

1983

View PDFchevron_right

Hierarchies of Sets and Degrees Below 0

Richard Kramer

1979

View PDFchevron_right

Extensions of embeddings below computably enumerable degrees

Rod Downey

Transactions of the American Mathematical Society, 2012

View PDFchevron_right

Recursively enumerable sets modulo iterated jumps and extensions of Arslanov's completeness criterion

Manuel Lerman

Journal of Symbolic Logic, 1989

View PDFchevron_right

On minimal wtt-degrees and computably enumerable Turing degrees

Rod Downey

2006

View PDFchevron_right