Title:
Natural Language, Embodied Computation, and "The Two Cultures"
Author: S. Barry Cooper Format: Status: Slides from invited talk at the
Mal'tsev Meeting 2015, Novosibirsk, Russia, 3-7 May, 2015
Title:
Questions Turing Left Behind
Author: S. Barry Cooper Format:,
Status: Slides from two invited talks at the
11th Annual Conference on Theory and Applications of Models
of Computation (TAMC 2014), 11-13 April, 2014, Anna University, Chennai, India.
The first on Saturday 12th April was part of a public pre-dinner
session on Saluting the Pioneers; the second on Sunday 13th April
was a more detailed conference presentation.
Title:
Alan Turing - 'Can Machines ... Decode?'
Author: S. Barry Cooper Format: Status: Slides of invited talk
at
CODEBREAKERS' LEGACY,
Bletchley Park, 9 November, 2013
Title:
Alan Turing - The Building
of a Brain
Author: S. Barry Cooper Format: Status: Slides of talk
at
Nottingham Culture and Café Scientifique, Lord Roberts,
Nottingham, 13 May, 2013
Title:
Turing and the
Computational Content of Causality
Author: S. Barry Cooper Format: Status: Slides of the
Enriques Lecture,
University of Milan, Italy, December 10, 2012
Title:
ALAN TURING and the
Computing Revolution:
Ten Big Ideas that
Changed the World
Author: S. Barry Cooper Format: Status: Slides of 3 lectures as part of a Turing centenary lecture
tour of Brazil comprised of:
December 5th:
COLLOQUIUM
LOGICAE,
Organized by the Centre for Logic, Epistemology and the History of Science - CLE at
the State University of Campinas - Unicamp, Campinas, Brazil
December 6th: Public Seminar at
LIAMF, Universidade de Sao Paulo (USP), Brazil
Title:
Alan Turing - The Building
of a Brain
Author: S. Barry Cooper Format: Status: Slides of talk
at Leeds
CAFÉ SCIENTIFIQUE,
Seven Arts, Leeds, 20 November, 2012
Title:
Alan Turing - Thinking & Living
Outside the Box
Author: S. Barry Cooper Format: Status: Slides of invited talk
at
2013
LGBT History Month Pre-Launch
, Bletchley Park, 15 Nov. 2012
Title:
The Computer as
Computational Data -
a Multifaceted Turing Legacy
Author: S. Barry Cooper Format: Status: Slides of invited talk
at the Universidad Nacional Autónoma de México, 9 November, 2012
Title:
Turing Machines,
Embodied Information,
and Higher Type
Computation
Author: S. Barry Cooper Format: Status: Slides of
Turing in Context II,
Royal Flemish Academy of Belgium for Science and
the Arts, Brussels, Belgium, 10-12 October, 2012
Title:
From Newton to Turing: Physics and the Computational Constraint
Author: S. Barry Cooper Format: Status: Slides of
The Rutherford Appleton Laboratory Lecture,
Rutherford Appleton Laboratory, Harwell, Oxford, 27th September 2012
Title:
From Natural Philosophy to Computation, and Back Again
Author: S. Barry Cooper Format: Status: Slides of invited talk for
Interdisciplinary Symposium on Complex Systems at the
International
Conference
Numerical Analysis and Applied Mathematics (ICNAAM 2012), 19-25 September, 2012
Title:
Different Types of Computation (literally) at the Turing Centennial
Author: S. Barry Cooper Format: Status: Slides of invited lecture for
Dni Alana Turinga, University of Bratislava, Slovakia, September 13-14, 2012
Title:
AI - Hobby or Science? Structure, Embodied Cognition, and the Turing Legacy
Author: S. Barry Cooper Format: Status: Slides of keynote lecture for
AISB/IACAP WORLD CONGRESS 2012, University of Birmingham, July 2-6, 2012
Title:
Computability and Nature Inspired Computing
Authors: S. Barry Cooper Formats: Status: Slides of opening lecture (given via Internet link)
Computability, Complexity and
the Digital Era
one-day seminar,
Kolkata, India, 23 June, 2012
Title:
The Turing Centenary and
the Second Computing
Revolution:
From the Invention of the Computer to
Intelligent Machines
Authors: S. Barry Cooper Formats: Status: Slides for Hong Kong Computer Society
Distinguished Speaker Luncheon: 2012 Alan Turing
Year in Hong Kong, at Cyberport, Hong Kong,
24 May 2012 - see YouTube recording, in 3 Parts:
Title:
From Turing Machine to
Morphogenesis -
Forming and Informing Computation
Authors: S. Barry Cooper Formats: Status:
Slides of invited plenary talk
for THE TURING LECTURES,
9th Annual Conference on Theory and Applications of Models of Computation (TAMC 2012),
Chinese Academy of Sciences, Beijing, China, 16-21 May, 2012
Title:
Alan Turing and the
Second Computing
Revolution
Authors: S. Barry Cooper Formats: Status:
Slides of invited talk for Beijing high school students as part of
2012 China Science Future Star, Chinese Academy of Sciences,
Beijing, China, 18 May, 2012
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:
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:
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:
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:
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:
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:
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: 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: 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: 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: 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: 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:
Alan M. Turing
Author: S. Barry Cooper Formats: Status: To appear in the
Encyclopedia of Communication Theory and Philosophy, Wiley-Blackwell, 2016.
Title:
The Machine as Data: A Computational View of Emergence and Definability
Author: S. Barry Cooper Formats: Status: In
Synthese, 2015. See published version at
http://link.springer.com/article/10.1007/s11229-015-0803-4. The final
publication is available at link.springer.com.
Title:
Automorphisms of η-Like Computable Linear Orderings and Kierstead's
Conjecture
Authors:Charles M. Harris, Kyung Il Lee and S. Barry Cooper Formats: Status: To appear in the
Mathematical Logic Quarterly.
Title:
Embodying Computation at Higher Types
Authors: S. Barry Cooper Formats: Status: To appear in
Turing 100 -
Philosophical Explorations of the Legacy of Alan Turing
(eds. Alisa Bokulich and Juliet Floyd), in
Springer series
Boston Studies in the Philosophy and History of Science.
Title:Alan Turing - His Work and Impact Editors: S. Barry Cooper and Jan van Leeuwen Formats: Status:
Published by Elsevier, Amsterdam, Boston, Heidelberg, London, New York, Oxford, Paris,
San Diego, San Francisco, Singapore, Sydney, Tokyo, May-June 2013
Title:
Alan Turing and Enigmatic Statistics
Authors: Kanti V. Mardia and S. Barry Cooper Formats: Status:Bulletin of the Brasilian Section of the International Society
for Bayesian Analysis, 5(2) (Decemmber 2012), 2-7
Title:
Incomputability after Alan Turing
Authors: S. Barry Cooper Formats: Status:Notices of the American Mathematical Society, 59(6) (June/July 2012), 776-784; Chinese translation -
Mathematical Advances in Translation,
33(4) (2014), 296-306
Title:
From Natural Philosophy to Computation, and Back Again
Authors: S. Barry Cooper Formats: Status: In
NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2012: proceedings of the International
Conference of Numerical Analysis and Applied Mathematics, 19-25 September, 2012 -
American Institute of Physics (AIP) Conf. Proc. 1479,
pp. 616-619; doi:http://dx.doi.org/10.1063/1.4756208
Title:
Turing's Titanic Machine?
Authors: S. Barry Cooper Formats: Status:Communications of the ACM, 55 (3) (March 2012), 74-83
Title:
Mathematics, Metaphysics and the Multiverse
Authors: S. Barry Cooper Formats: Status:
In Computation, Physics and Beyond 2012 (eds. M. J. Dinneen, B. Khoussainov, A. Nies),
International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S.
Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012,
Lecture Notes in Computer Science 7160, Springer, pp.252-267
Title:
Pushing Back the Incomputable - Alan Turing's Ten Big Ideas
Authors: S. Barry Cooper Formats: Status:Asia Pacific Mathematics Newsletter, 2 (1) (January 2012), 2-6
Title:
The Computational Roots of Hyper-Causality
Authors: S. Barry Cooper Formats: Status:International Journal of Unconventional
Computing, 6 (2010), 437-449.
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:
Splitting and Nonsplitting in the Σ_{2}^{0}
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:
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:
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: 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: 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: 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 Logic70 (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
Mathematics137 (2003), 285-320.
Title: Splitting and nonsplitting, II:
A low_{2} c.e. degree above which 0'
is not splittable Authors:
S. Barry Cooper and Angsheng Li
Formats: Status:Journal of
Symbolic Logic67 (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: 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 Quarterly47 (2001), 3-33.
Title: Splitting properties of total
enumeration degrees
Authors: Marat M. Arslanov,
S. Barry Cooper and I. Sh. Kalimullin
Formats: Status:Algebra and Logic42 (2003),
1-13.
Title: Non-uniformity and generalised
Sacks splitting Authors: S. Barry Cooper and Angsheng Li Formats: Status:Acta Mathematica Sinica, English Series18
(2002), 327-334.
Title: There Is No Low Maximal
d.c.e. Degree Authors: Marat Arslanov, S. Barry Cooper and Angsheng Li Formats: Status:Math. Logic Quarterly46 (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. Logic41 (2002), 455-482.
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: Initial segments of recursive linear orders Authors: Klaus Ambos-Spies, S. Barry Cooper and Steffen Lempp Formats: |
Status:Order14, 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 Logic82 (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 Logic61 (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 Quarterly42 (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 Low_{2} n-r.e. degrees Author: S. Barry Cooper Formats: |
Status:Archive for Math. Logic31 (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.
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).