An extended Lachlan splitting theorem

&
Annals of Pure and Applied Logic 79 (1):53-59 (1996)
  Copy   BIBTEX

Abstract

We show that the top of any diamond with bottom 0 in the r.e. degrees is also the top of a stack of n diamonds with bottom 0

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(95)00039-9

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Beth definability, interpolation and language splitting.Rohit Parikh - 2011 - Synthese 179 (2):211 - 221.
Topological framework for finite injury.Kyriakos Kontostathis - 1992 - Mathematical Logic Quarterly 38 (1):189-195.
Parallel interpolation, splitting, and relevance in belief change.George Kourousias & David Makinson - 2007 - Journal of Symbolic Logic 72 (3):994-1002.
A normal form theorem for first order formulas and its application to Gaifman's splitting theorem.Nobuyoshi Motohashi - 1984 - Journal of Symbolic Logic 49 (4):1262-1267.
Ray-Splitting Billiards.R. Blümel, P. M. Koch & L. Sirko - 2001 - Foundations of Physics 31 (2):269-281.
Some results on permutation group isomorphism and categoricity.Anand Pillay & Mark D. Schlatter - 2002 - Journal of Symbolic Logic 67 (3):910-914.
Analytic countably splitting families.Otmar Spinas - 2004 - Journal of Symbolic Logic 69 (1):101-117.
A splitting theorem for the Medvedev and Muchnik lattices.Stephen Binns - 2003 - Mathematical Logic Quarterly 49 (4):327.
Not Every Splitting Heyting or Interior Algebra is Finitely Presentable.Alex Citkin - 2012 - Studia Logica 100 (1-2):115-135.
Review: J. R. Shoenfield, A Theorem on Minimal Degrees. [REVIEW]A. H. Lachlan - 1967 - Journal of Symbolic Logic 32 (4):529-529.
On the distribution of Lachlan nonsplitting bases.S. Barry Cooper, Angsheng Li & Xiaoding Yi - 2002 - Archive for Mathematical Logic 41 (5):455-482.

Analytics

Added to PP
2014-01-16

Downloads
11 (#1,135,140)

6 months
9 (#304,685)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A minimal pair of recursively enumerable degrees.C. E. M. Yates - 1966 - Journal of Symbolic Logic 31 (2):159-168.
Wtt-degrees and t-degrees of R.e. Sets.Michael Stob - 1983 - Journal of Symbolic Logic 48 (4):921-930.
Highness and bounding minimal pairs.Rodney G. Downey, Steffen Lempp & Richard A. Shore - 1993 - Mathematical Logic Quarterly 39 (1):475-491.
The weak truth table degrees of recursively enumerable sets.R. E. Ladner - 1975 - Annals of Mathematical Logic 8 (4):429.

View all 6 references / Add more references