Some Preprints etc.
- Title:
Computing in an Incomputable World
Authors: S. Barry Cooper
Formats:
Status:
Slides of academic lecture on the occasion of the award of an honorary
degree at the University of Sofia, Bulgaria, October 27, 2011
- Title:
'The Mathematician's Bias', and the Return to Embodied Computation
Authors: S. Barry Cooper
Formats:
Status:
Slides of seminar for the
York Centre for Complex Systems Analysis (YCCSA),
University of York, June 3, 2011
- Title:
'The Mathematician's Bias', and the Return to Embodied Computation
Authors: S. Barry Cooper
Formats:
Status:
Slides of invited talk at the
Workshop in Computability Theory (WCT 2011),
University of San francisco, March 22-23, 2011
- Title:
The Incomputable Alan Turing
Authors: S. Barry Cooper
Formats:
Status:
Slides of the Courtauld Lecture given to the
Manchester Literary and Philosophical Society,
at the Royal Northern College of Music, Manchester, Thursday 10th February, 2011
- Title:
Degrees of Unsolvability
Authors: Stuart Barry Cooper
Formats:
Status:
Thesis submitted in partial fulfilment of the requirements
for the degree of Doctor of Philosophy at the
University of Leicester Awarded 1971; downloadable from
the Leicester Research Archive (protected by copyright).
- Title:
Causality, Computability and Definability
Authors: S. Barry Cooper
Formats:
Status:
Slides of invited talk at the
International Conference N. A. Vasiliev's "Imaginary
Logic" and the Modern Nonclassical Logics,
Kazan, Russia, October 11 - 15, 2010
- Title:
Computability Theory
Authors: S. Barry Cooper
Formats:
Status:
In
Logic
and Philosophy Today
(A. Gupta and J. van Benthem, eds.),
special issue of
Journal
of Indian Council of Philosophical Research, pp.199-220
- Title:
Definability in the Real Universe
Authors: S. Barry Cooper
Formats:
Status:
In
Computability
in Context: Computation and Logic
in the Real World (S. B. Cooper and A. Sorbi, eds.),
Imperial College Press/World Scientific, 2011, pp. 131-167.
- Title:
Aspects of the Ershov Hierarchy: Uncertainty, Definability, Computation
Authors: S. Barry Cooper
Formats:
Status:
Slides of invited talk at the
Mal'tsev Meeting 2010
, dedicated to the 70th birthday of Yurii
Leonidovich Ershov,
Novosibirsk, Russia, May 2 - 6, 2010
- Title:
The Computational Roots of Hyper-Causality
Authors: S. Barry Cooper
Formats:
Status:
International Journal of Unconventional
Computing, 6 (2010), 437-449.
- Title:
Causality in a Computability Theoretic Context
Authors: S. Barry Cooper
Formats:
Status:
Slides of invited talk for the Lorentz Center workshop on
Philosophy of the
Information and Computing Sciences
,
Leiden, Netherlands, February 8 - 12, 2010
- Title:
The Computational Roots of Hyper-Causality
Authors: S. Barry Cooper
Formats:
Status:
Slides of talk for Hypercomputation Workshop at
Unconventional Computation 2009,
Ponta Delgada (Azores), Portugal, September 7 - 11, 2009
- Title:
Definability in the Real Universe
Authors: S. Barry Cooper
Formats:
Status:
Slides of plenary talk at
Logic Colloquium 2009,
Sofia, Bulgaria, July 31 - August 5, 2009
- Title:
Computability in Europe - Beyond the Fragments
Authors: S. Barry Cooper
Formats:
Status:
Slides of welcome address to conference
Computability in Europe 2009,
Heidelberg, Germany, July 19 - 24, 2009
- Title:
Incomputability, Emergence and the Turing Universe
Authors: S. Barry Cooper
Formats:
Status: In
Causality, Meaningful
Complexity and Embodied Cognition
(A. Carsetti, Ed.), Springer, 2010, pp.135-153.
- Title:
The Extended Turing Universe as a Contextual Tool
Authors: S. Barry Cooper
Formats:
Status:
Slides of talk in Special Session on Models of
Computation at the
6th Annual Conference on Theory and Applications of Models of Computation
(TAMC'09),
ChangSha, P.R. China, May 18 - 22, 2009.
- Title:
From Descartes to Turing: The Computational Content of Supervenience
Authors: S. Barry Cooper
Formats:
Status:
In Information and Computation (editors Mark Burgin and
Gordana Dodig-Crnkovic), World Scientific Publishing Co., 2011, pp.107-148.
- Title:
Turing Invariance and Many Worlds
Authors: S. Barry Cooper
Formats:
Status:
Slides of invited talk given to
The
Science and Philosophy of Unconventional
Computing (SPUC09),
Cambridge (UK), March 23-25, 2009.
- Title:
From Descartes to Turing: the Computational Content of Supervenience
Authors: S. Barry Cooper
Formats:
Status:
Slides of talk given to Joint Mathematics-Philosophy Workshop,
University of Leeds, 11 February, 2009.
- Title:
The Extended Turing Model as Contextual Tool
Authors: S. Barry Cooper
Formats:
Status:
In
Theory and Applications of Models of Computation: 6th
International Conference, TAMC 2009, ChangSha, China, May
18-22, 2009, Proceedings (J. Chen and S. B. Cooper, eds.),
Springer, 2009.
- Title:
Splitting and Nonsplitting in the Σ20
Enumeration Degrees
Authors: M. M. Arslanov, S. B. Cooper,
I. Sh. Kalimullin and M. I. Soskova
Formats:
Status:
Theoretical Computer Science, 412 (2011), 1669-1685.
- Title:
Extending and Interpreting Post's Programme
Authors: S. Barry Cooper
Formats:
Status:
Annals of Pure and Applied Logic, 161 (2010),
775-788.
- Title:
Incomputability, Emergence and the Turing Universe
Authors: S. Barry Cooper
Formats:
Status:
Slides of invited talk,
Informatics
Section of
Academia Europaea workshop on
Grand Challenges of Unconventional Computation,
University of Liverpool, UK, September 17, 2008.
- Title:
Emergence as a Computability Theoretic Phenomenon
Authors: S. Barry Cooper
Formats:
Status:
Slides of invited sectional talk,
12th All-Kazakhstan Conference in Mathematics, Mechanics and
Informatics, Almaty, Kazakhstan, September 11-13, 2008.
- Title:
Computability, Enumerability, and the Structure of Information
Authors: S. Barry Cooper
Formats:
Status:
Slides of short postgraduate course,
given
at the
Kazakh National University, Almaty, Kazakhstan, September 8-13, 2008.
- Title:
Emergence as a Computability Theoretic Phenomenon
Authors: S. Barry Cooper
Formats:
Status:
Slides of invited talk,
Physics and Computation International Workshop,
at the
7th International Conference on Unconventional Computation 2008 (UC'08),
Vienna, Austria,
August 26, 2008.
- Title:
Could a Computer Write Hamlet?
Authors: S. Barry Cooper
Formats:
Status:
Slides of invited Evening Lecture at the
European Summer School in Logic, Language and Information, ESSLLI 2008,
Hamburg, Germany,
August 12, 2008.
- Title:
Incomputability, Emergence, and the Turing Universe
Authors: S. Barry Cooper
Formats:
Status:
Slides of talk at the University of Sofia, Bulgaria,
June 26, 2008.
- Title:
Post's Programme and the Algorithmic
Structure of Information: An Update
Authors: S. Barry Cooper
Formats:
Status:
Slides of talk given at the
University of Sofia, Bulgaria,
June 24, 2008.
- Title:
Incomputability, Emergence, and the Turing Universe
Authors: S. Barry Cooper
Formats:
Status:
Slides of invited talk at International Colloquium on Causality,
Meaningful Complexity and Knowledge Construction, Rome,
June 5-7, 2008.
- Title:
Splitting and Jump Inversion in the Turing Degrees
Authors: S. Barry Cooper, Angsheng Li and Mingji Xia
Formats:
Status:
To appear.
- Title:
Emergence as a Computability-Theoretic Phenomenon
Authors: S. Barry Cooper
Formats:
Status:
Applied Mathematics and Computation, 215 (2009),
1351-1360.
- Title:
The Non-Isolating Degrees Are Upwards dense in the Computably
Enumerable Degrees
Authors: S. Barry Cooper
Formats:
Status:
Slides of contributed talk given at
5th Annual
Conference on Theory and Applications
of Models of Computation (TAMC08), held in Xi'an, China,
April 25-29, 2008.
- Title:
Total Degrees and Nonsplitting Properties of Σ20
Enumeration Degrees
Authors: S. Barry Cooper
Formats:
Status:
Slides of contributed talk given at
5th Annual
Conference on Theory and Applications
of Models of Computation (TAMC08), held in Xi'an, China,
April 25-29, 2008.
- Title:
How Computationally Relevant is Definability?
Authors: S. Barry Cooper
Formats:
Status:
Slides of talk given to the
Oxford Advanced Seminar on Informatic Structures (OASIS), Oxford
University Computing Laboratory, March 7, 2008.
- Title:
Computability
Authors: S. Barry Cooper
Formats:
Status:
In
Wiley Encyclopedia of Computer Science and Engineering (ed. B. W. Wah),
Wiley-Interscience, 2009, pp. 490-500.
- Title:
Total Degrees and Nonsplitting Properties of Σ20
Enumeration Degrees
Authors: Marat M. Arslanov, S. Barry Cooper,
Iskander Sh. Kalimullin and Mariya I. Soskova
Formats:
Status:
In
Theory and Applications of Models of Computation:
5th International
Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings
(M. Agrawal, D. Du, Z. Duan, A. Li, eds.), LNCS 4978, Springer, 2008,
pp. 568-578.
- Title:
The Non-Isolating Degrees Are Upwards dense in the Computably
Enumerable Degrees
Authors: S. Barry Cooper, Matthew C. Salts and Guohua Wu
Formats:
Status:
In
Theory and Applications of Models of Computation:
5th International
Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings
(M. Agrawal, D. Du, Z. Duan, A. Li, eds.), LNCS 4978, Springer, 2008,
pp. 588-596.
- Title:
Post's Programme: an update for the new century
Authors: S. Barry Cooper
Formats:
Status:
Slides of invited talk given at the Russian Conference
Mathematics in the Modern World, dedicated to the
Fiftieth Anniversary of the Sobolev Institute of Mathematics, Novosibirsk,
September 17-23, 2007.
- Title:
Post's Programme and the Algorithmic
Structure of Information: An Update
Authors: S. Barry Cooper
Formats:
Status:
Slides of invited talk given at the
British
Logic Colloquium 2007, De Morgan House, London,
September 6-8, 2007.
- Title:
The Interactive Structure of Information: Post's Programme
Revisited
Authors: S. Barry Cooper
Formats:
Status:
Slides of invited talk given at the
6th
Panhellenic Logic Symposium, Volos, Greece,
July 5-8, 2007.
- Title:
Post's Programme: an update
Authors: S. Barry Cooper
Formats:
Status:
Slides of two invited talks given at the
IPM Logic
Conference 2007, Tehran, Iran,
June 10-15, 2007.
- Title:
How Enumeration Reducibility Yields Extended Harrington
Non-Splitting
Authors: Mariya Ivanova Soskova and S. Barry Cooper
Formats:
Status:
Journal of Symbolic Logic, 73 (2008), 634-655.
- Title:
The Strongest Nonsplitting Theorem
Authors: Mariya Ivanova Soskova and S. Barry Cooper
Formats:
Status:
In Theory and Applications of Models of Computation:
4th International Conference, TAMC 2007, Shanghai, China,
May 2007, Proceedings (J.-Y. Cai, S.B. Cooper, H. Zhu,
eds.), Springer Lecture Notes in Computer Science, LNCS 4484, 2007,
pp. 199-211.
- Title:
Post's Programme for the Ershov Hierarchy
Authors: Bahareh Afshari, George Barmpalias, S. Barry Cooper and
Frank Stephan
Formats:
Status:
In Journal of Logic and Computation, 17 (2007), 1025 - 1040.
- Title:
Review of "The Man Who Knew Too Much: Alan Turing and the Invention of the Computer"
by David Leavitt (Great Discoveries series, W. W. Norton, Dec. 2005,
ISBN 0-393-05236-2)
Authors: S. Barry Cooper
Formats:
Status:
In Notices of the American Mathematical Society, November 2006,
Vol. 53, No. 10,
pp. 1213 - 1217.
- Title: How Can Nature Help Us Compute? - a computability
theoretic overview
Authors: S. Barry Cooper
Formats:
Status:
Slides of invited talk given at
SOFSEM 2006: Theory and Practice of Computer Science -
32nd Conference on Current Trends in Theory and Practice of Computer
Science,
Merin, Czech Republic, 24 January 2006.
- Title: Immunity properties and the n-c.e. hierarchy
Authors: Bahareh Afshari, George Barmpalias and S. Barry Cooper
Formats:
Status:
In
Theory and Applications of Models
of Computation - Proceedings of the
Third Annual Conference on Computation and Logic, TAMC06,
Beijing, May 2006 (Jin-Yi Cai, S. Barry Cooper, Angsheng Li, eds.),
Springer Lecture Notes in Computer Science No. 3959, 2006, pp. 694-703.
- Title: How Can Nature Help Us Compute?
Authors: S. Barry Cooper
Formats:
Status:
In
SOFSEM 2006: Theory and Practice of Computer Science -
32nd Conference on Current Trends in Theory and Practice of Computer
Science,
Merin, Czech Republic, January 2006 (Jiri Wiedermann,
Julius Stuller, Gerard Tel, Jaroslav Pokorny, Maria
Bielikova, editors), Springer Lecture Notes in Computer Science No. 3831,
2006, pp. 1-13.
- Title: Computability in Europe - a very brief introduction
Authors: S. Barry Cooper
Formats:
Status: Slides accompanying introductory remarks at the
First Conference on Computability
in Europe, CiE 2005: New Computational Paradigms, Amsterdam, The
Netherlands,
June 2005. Also - suggestions received
of missing faces
from the slide of people
from computability in Europe before 1945.
- Title: Genericity and Enumeration Reducibility
Authors: S. Barry Cooper
Formats:
Status: Talk given at the
Second Annual Conference on Computation
and Logic, 17-20th May 2005, Kunming,
P. R. China.
- Title: Definability as hypercomputational effect
Authors: S. Barry Cooper
Formats:
Status:
Applied Mathematics and Computation
(Special Issue on Hypercomputation, edited by Francisco António
Dória and José Felix Costa), 178 (2006), 72-82.
- Title: Computation and Computability
Authors: S. Barry Cooper
Formats:
Status: Position paper for
The Grand Challenge in Non-Classical Computation
International Workshop, 18-19th April 2005, The King's Manor,
University of York.
- Title: If CiE did not exist, it would be necessary to
invent It
Authors: S. Barry Cooper
Formats:
Status: Introduction to
CiE 2005: New Computational Paradigms - Papers
presented at the conference in Amsterdam,
June 8-12, 2005 (eds. S. B. Cooper, B. Löwe, L. Torenvliet),
Springer Lecture Notes in Computer Science No. 3526, 2005, pp. 1-7.
- Title: Computability and emergence
Authors: S. Barry Cooper
Formats:
Status: In Mathematical Problems
from Applied Logic I. Logics for the
XXIst Century (eds. D.M. Gabbay, S.S. Goncharov, M. Zakharyaschev),
Springer
International Mathematical Series, Vol. 4, 2006, pp. 193-231.
- Title: The Incomputable Alan Turing
Authors: S. Barry Cooper
Formats:
|
Status: In the Proceedings of
Turing
2004: A celebration of his life and achievements
, electronically published
by the
British Computer Society.
- Title: Incomputability, 50 Years After Alan Turing
Authors: S. Barry Cooper
Formats: (Heidelberg
version),
(Kazan
version)
Status: Slides of invited talks given 19th September, 2004,
during Colloquium
Logicum 2004, Biennual Meeting of
the German Society for Mathematical Logic (DVMLG), September 17 - 19,
2004, University of Heidelberg, Germany; and
5th July, 2004, during
Algebra and Analysis 2004,
international conference dedicated to
200-years anniversary of Kazan State University,
Russia, Kazan, 2 - 9 July 2004 (similar to the talk
titled The Incomputable Alan Turing given in Manchester).
- Title: The Incomputable Alan Turing
Authors: S. Barry Cooper
Formats:
Status: Slides of a talk given for
Turing
2004: A celebration of his life and achievements
, held at the University of Manchester, June 5th, 2004,
and run jointly by the British Logic Colloquium and the
British Society for the History of Mathematics.
- Title: Incomputability 50 Years After Alan Turing
Authors: S. Barry Cooper
Formats:
Status: Slides of two talks given 17th and 19th May, 2004,
at the Fragrant Hills Villa, Beijing, as part of
the
Beijing
Summer Workshop on Computation and Logic,
Chinese Academy of Sciences, Beijing (longer version of the talks
given in Heidelberg, Kazan and Manchester).
- Title: There Is No Low Maximal
d.c.e. Degree - Corrigendum
Authors: Marat Arslanov, S. Barry Cooper and Angsheng Li
Formats:
Status: Mathematical Logic Quarterly,
50 (2004), 628-636.
- Title: Properly Σ2
minimal degrees and 0'' complementation
Authors:
S. Barry Cooper, Andrew E.M. Lewis and Y. Yang
Formats:
Status:
Mathematical Logic Quarterly,
51 (2005), 274-276.
- Title: The minimal e-degree problem in fragments
of Peano arithmetic
Authors:
M.M. Arslanov, C.T. Chong, S. Barry Cooper and Y. Yang
Formats:
Status: Annals of Pure and Applied Logic, 131
(2005), 159-175.
- Title: Computability Theory
Authors:
S. Barry Cooper
Status:
Chapman Hall/ CRC Press Mathematics Series Vol. 26 - for details see CRC. There is a
list of errata for the book
(last updated Oct. 20, 2006).
- Title: Bounding and nonbounding minimal pairs in the enumeration
degrees
Authors:
S. Barry Cooper, Angsheng Li, Andrea Sorbi and Yue Yang
Formats:
Status:
Journal of Symbolic Logic 70 (2005), 741-766.
- Title: Incomputability in Nature
Authors:
S. Barry Cooper and Piergiorgio Odifreddi
Formats:
Status: In Computability and Models:
Perspectives East and West (S. B. Cooper and S. S.
Goncharov, eds.), Kluwer Academic/Plenum Publishers, New York,
Boston, Dordrecht, London, Moscow, 2003, pp. 137-160.
- Title: Computability and Models: Perspectives East and West
Authors:
S. Barry Cooper and Sergei S. Goncharov (eds.)
Status: Published by
Kluwer Academic/Plenum Publishers, 2003
- for details see
Kluwer.
- Title: Splitting and cone avoidance in the d.c.e. degrees
Authors:
S. Barry Cooper and Angsheng Li
Formats:
Status: Science in China (Series A), 45
(2002), 1135-1146.
- Title: Turing definability in the Ershov hierarchy
Authors:
S. Barry Cooper and Angsheng Li
Formats:
Status: Journal of the
London Mathematical Society (2), 66 (2002),
513-528.
- Title: On Lachlan's major subdegree problem
Authors:
S. Barry Cooper and Angsheng Li
Formats:
Status: Archive for Mathematical
Logic, 47 (2008), 341-434.
- Title: On the intensionality of
Turing definitions
Author:
S. Barry Cooper
Formats:
Status: In
Proceedings of International Conferences on Mathematical Logic,
Honouring Yu. L. Ershov on his 60-th birthday anniversary and
honouring A. I. Mal'tsev on his 90-th birthday anniversary
and 275-th anniversary of the Russian Academy of Sciences,
Novosibirsk State University Press, Novosibirsk, 2002, pp. 40-58.
- Title: There exists a maximal 3-c.e.
enumeration degree
Authors:
S. Barry Cooper, Angsheng Li, Andrea Sorbi and Yue Yang
Formats:
Status: Israel Journal of
Mathematics 137 (2003), 285-320.
- Title: Splitting and nonsplitting, II:
A low2 c.e. degree above which 0'
is not splittable
Authors:
S. Barry Cooper and Angsheng Li
Formats:
Status: Journal of
Symbolic Logic 67 (2002), 1391-1430.
- Title: On the intensionality of Turing
definitions
Author: S. Barry Cooper
Formats:
Status: Copy of slides from talk at
International conference ``Logic and Applications",
Novosibirsk, Russia,
May 4-6, 2000.
- Title: Splitting properties of total
enumeration degrees
Authors: Marat M. Arslanov,
S. Barry Cooper and I. Sh. Kalimullin
Formats:
Status: Algebra and Logic 42 (2003),
1-13.
- Title: Non-uniformity and generalised
Sacks splitting
Authors: S. Barry Cooper and Angsheng Li
Formats:
Status:
Acta Mathematica Sinica, English Series 18
(2002), 327-334.
- Title: On a conjecture of Kleene and Post
Author: S. Barry Cooper
Formats: Available in pdf form: Edited copy of slides from
presentation in the Leeds
Computability Theory Seminar, Winter
1999-2000: Part 1:
,
Part 2:
,
Part 3:
.
Status: Math. Logic Quarterly
47 (2001), 3-33.
- Title: There Is No Low Maximal
d.c.e. Degree
Authors: Marat Arslanov, S. Barry Cooper and Angsheng Li
Formats:
Status: Math. Logic Quarterly 46 (2000), 409-416.
But see "There Is No Low Maximal
d.c.e. Degree - Corrigendum", listed above.
- Title: On the Distribution of Lachlan
Nonsplitting Bases
Authors: S. Barry Cooper, Angsheng Li and Xiaoding Yi
Formats:
Status: Archive for Math. Logic
41 (2002), 455-482.
- Title: An Introduction to the Construction of
a Nontrivial Turing Automorphism
Author: S. Barry Cooper
Formats: Part 1:
,
Part 2:
Status:Slides from invited plenary talks at
1999 AMS-IMS-SIAM Summer Research Conference on
Computability Theory and Applications, University
of Colorado, Boulder, Colorado, June 13 - 17, 1999.
- Title: Hartley Rogers' 1965 Agenda
Author: S. Barry Cooper
Formats:
Status: In 'Logic
Colloquium '98' (S.R. Buss, P. Hajek and P. Pudlak, eds.),
Proceedings of the Annual European Summer Meeting of
the ASL, held in Prague, Czech Republic, August 9-15, 1998,
Lecture Notes in Logic 13, Association for Symbolic Logic/A.K. Peters,
Natick, Massachusetts, pp. 154-172.
- Title: Splitting and Nonsplitting, I: A
Low3 Harrington Nonsplitting Base
Authors: S. Barry Cooper and Angsheng Li
Formats:
Status: University of Leeds Pure Mathematics
Preprint Series 1998, no. 31.
- Title: Nonrigidity as Paradigm Shift
Author: S. Barry Cooper
Formats:
|
Status:
Copy of slides of invited talk at "Colloquium Logicum
'98",
Freie Universität Berlin, August 1998.
- Title: Clockwork or Turing U/universe? -
Remarks on causal determinism and computability
Author: S. Barry Cooper
Formats:
|
Status: In 'Models and Computability' (S. B.
Cooper and J. K. Truss, eds.), London Mathematical
Society Lecture Notes Series 259, Cambridge University Press,
Cambridge, New York, Melbourne, 1999, pp.63-116.
- Title: Sets and Proofs
Authors:
S. Barry Cooper and John K. Truss (eds.)
Status: Published by
Cambridge University Press, June 1999
- for details see
CUP
- Title: Models and Computability
Authors:
S. Barry Cooper and John K. Truss (eds.)
Status: Published by
Cambridge University Press, June 1999
- for details see
CUP
- Title: Upper cones as automorphism bases
Author: S. Barry Cooper
Formats:
|
Status: Siberian Advances in Math. 9,
No. 3
(1999) 1--61.
- Title:
Beyond Gödel's Theorem: Turing
nonrigidity revisited
Author: S. Barry Cooper
Formats:
|
Status: In 'Logic Colloquium '95'
(eds. J. A. Makowsky and E. V. Ravve), Proceedings of the Annual European
Summer Meeting of the Association of Symbolic Logic, held in Haifa,
Israel, August 9-18, 1995,
Lecture Notes in Logic,
vol. 11, Springer, Berlin, New York, Tokyo, 1998, pp. 44-50.
- Title: The Turing Universe Is Not Rigid
Author: S. Barry Cooper
Formats:
|
Status: University of Leeds Pure Mathematics Preprint
Series 1997, no. 16 (revised February 1998).
- Title: Turing Definability
Author: S. Barry Cooper
Formats:
|
Status:
Copy of slides of invited talk (49th British
Mathematical Colloquium, Royal Holloway, University of London,
April 1997).
- Title: Initial segments of recursive linear orders
Authors: Klaus Ambos-Spies, S. Barry Cooper and Steffen Lempp
Formats:
|
Status: Order 14, no. 2 (1997-98) 101-105.
- Title:
Beyond Gödel's Theorem: The failure to
capture information content
Author: S. Barry Cooper
Formats:
|
Status: In "Complexity, Logic and Recursion Theory"
(ed. A. Sorbi), Lecture Notes in Pure and Applied Mathematics,
vol. 187, Marcel Dekker, New York, 1997, pp. 93-122.
- Title: Local degree theory
Author: S. Barry Cooper
Formats:
|
Status: In the Handbook of
Computability Theory (ed. E.R. Griffor), Studies in Logic
and the Foundations of Mathematics 140,
North-Holland/Elsevier, Amsterdam,
Lausanne, New York, Oxford, Shannon, Singapore, Tokyo, 1999, pp. 121-153.
- Title: Cupping and noncupping in the enumeration degrees of
Sigma-zero-two sets
Authors: S. Barry Cooper, Andrea Sorbi and Xiaoding Yi
Formats:
|
Status: Annals of Pure and Applied Logic
82 (1996) 317-342.
- Title: Discontinuous phenomena and Turing definability
Author: S. Barry Cooper
Formats:
Status: In "Algebra and Analysis" (eds. M.M. Arslanov,
A.N. Parshin and I.R. Shafarevich), Proceedings of the International
Centennial Chebotarev Conference held in Kazan, Russia, June 5-11,
1994, Walter de Gruyter, Berlin, New York, 1996, pp. 41-55.
- Title: Isolated D.R.E. Degrees
Authors: S. Barry Cooper and Xiaoding Yi
Formats:
|
Status: Preprint.
- Title: Noncappable enumeration degrees below 0'
Authors: S. Barry Cooper and Andrea Sorbi
Formats:
|
Status: J. of Symbolic Logic 61 (1996) 1347-1363.
- Title: A characterisation of the jumps of minimal
degrees below 0'
Author: S. Barry Cooper
Formats:
|
Status: In "Computability, Enumerability, Unsolvability:
Directions in Recursion Theory" (eds. S.B. Cooper, T.A. Slaman
and S.S. Wainer), London Mathematical Society Lecture Notes,
Cambridge University Press, 1996, pp. 81-92.
- Title: Computability, Enumerability, Unsolvability:
Directions in Recursion Theory
Editors: S. B. Cooper, T. A. Slaman and S. S. Wainer
Formats: See
CUP
Status: London Mathematical Society Lecture Notes Series 224,
Cambridge University Press, 1996.
- Title: Strong minimal covers for recursively enumerable
degrees
Author: S. Barry Cooper
Formats:
|
Status: Math. Logic Quarterly 42 (1996) 191-196.
- Title: The discontinuity of splitting in the recursively
enumerable degrees
Authors: S. Barry Cooper and Xiaoding Yi
Formats:
|
Status: Archive for Math. Logic, 34 (1995) 247-256.
- Title: Rigidity and definability in the noncomputable
universe
Author: S. Barry Cooper
Formats:
|
Status: In
"Logic, Methodology and Philosophy of Science IX"
(eds.
D. Prawitz, B. Skyrms and D. Westerstahl),
Proceedings of the Ninth International Congress
of Logic, Methodology and Philosophy of Science, Uppsala, Sweden,
August 7-14, 1991,
North-Holland,
Amsterdam, New York, Oxford, Tokyo, 1994, pp. 209-236.
- Title: Definability and global degree theory
Author: S. Barry Cooper
Formats:
|
Status: In
"Logic Colloquium '90"
(eds.
J. Oikkonen and J. Väänänen),
Proceedings of the ASL Summer Meeting in Helsinki,
Lecture Notes in Logic vol. 2, Springer-Verlag,
Berlin, Heidelberg, New York, 1993, pp. 25-45.
- Title: A splitting theorem for the n-r.e. degrees
Author: S. Barry Cooper
Formats:
|
Status: Proc. Amer. Math. Soc. 115 (1992) 461-471.
- Title: The density of the Low2 n-r.e. degrees
Author: S. Barry Cooper
Formats:
|
Status: Archive for Math. Logic 31 (1991) 19-24.
- Title: Enumeration reducibility, nondeterministic
computations and relative computability of partial functions
Author: S. Barry Cooper
Formats:
Status: In
"Recursion Theory Week, Oberwolfach 1989"
(eds.
K. Ambos-Spies, G. Müller, G. E. Sacks),
Springer-Verlag,
Berlin, Heidelberg, New York, 1990, pp. 57-110.
- Title: On conjectures of Erdös, Ko, Rado and
Frankl
Author: S. Barry Cooper
Formats:
|
Status:
Preprint (revised April 1990).
- Title: On systems of finite sets with multiple
intersections
Author: S. Barry Cooper
Formats:
|
Status:
Preprint (revised May 1990).
- Title: The jump is definable in the structure of the
degrees of unsolvability
Authors: S. Barry Cooper
Formats:
Status: Bull. Amer.
Math. Soc., 23 (1990) 151-158.
- Title: Properly Σ2 enumeration degrees
Authors: S. B. Cooper and C. S. Copestake
Formats:
Status: Zeitschr. f. math. Logik und Grundlagen d. Math.,
34 (1988) 491-522.
For a list of Barry Cooper's earlier publications, see the
publications section of the
biographical notes page.
Return to:
... or
to Barry Cooper's homepage:
