Recursion Theory and Dedekind Cuts

Robert I. Soare

Type: Article

Publication Date: 1969-06-01

Citations: 43

DOI: https://doi.org/10.2307/1995137

Similar Works

Action	Title	Year	Authors
+	Dedekind Theory	2020	Franz Halter‐Koch
+ PDF Chat	Cohesive sets and recursively enumerable Dedekind cuts	1969	Robert I. Soare
+	Dedekind’s Cut	1994	Calvin C. Clawson
+	Kleitman and combinatorics	2002	Michael Saks
+	Dedekind 𝜎-completeness	2010	Kenneth Goodearl
+	Kleitman and Combinatorics: A Celebration	2002	G. W. Peck
+	A Remark on Dedekind Cuts	1932	T. Weaver Theodore Suckau
+	Projections and Dedekind Completeness	1997	Adriaan C. Zaanen
+	Rudiments on Dedekind domains	1999	Kazuya Kato Nobushige Kurokawa Takeshi Saito
+ PDF Chat	Boundness in Almost Dedekind Domains	2024	Dario Spirito
+	Dedekind & the Search for Proof	2009	Michael Detlefsen
+	Two splitting theorems for beta-recursion theory	1980	Steven Homer
+	Principles of Combinatorics (C. Berg)	1972	Ronald Graham
+ PDF Chat	A Note on Dedekind Domains	1998	Shing Hing Man
+	Combinatorics of lopsided sets	2005	Hans‐Jürgen Bandelt Victor Chepoi Andreas Dress Jack H. Koolen
+	The Dedekind ς-function	1991	Helmut Koch
+	Problems and results on cofiniteness : A Survey	2003	Leif Melkersson
+	DEDEKIND’S THEORY OF NUMBER	2009	Bertrand Russell
+	Regular cuts in models of bounded arithmetic	2013	Morteza Moniri S. Hosein Sajjadi
+	Parthasarathy, shift-compactness and infinite combinatorics	2024	Ν. H. Bingham A. J. Ostaszewski

Action	Title	Year	Authors
+ PDF Chat	Computably Enumerable Reals and Uniformly Presentable Ideals	2002	Rod Downey Sebastiaan A. Terwijn
+	Randomness and reducibility	2003	Rod Downey Denis R. Hirschfeldt Geoff LaForte
+	On the hierarchy and extension of monotonically computable real numbers	2003	Robert Rettinger Xizhong Zheng
+	The closure properties on real numbers under limits and computable operators	2002	Xizhong Zheng
+	A variant of the Notion of Semicreative set	1993	Heinrich Rolletschek
+ PDF Chat	T-degrees, jump classes, and strong reducibilities	1987	Rodney G. Downey Carl G. Jockusch
+ PDF Chat	T-Degrees, Jump Classes, and Strong Reducibilities	1987	R. G. Downey C. G. Jockusch
+ PDF Chat	Cohesive sets and recursively enumerable Dedekind cuts	1969	Robert I. Soare
+	On 0′-computable reals	2002	George Barmpalias
+	Equality is a jump	1999	Paolo Boldi Sebastiano Vigna

Action	Title	Year	Authors