Search results for 'Richard M. Friedberg' (try it on Scholar)

4 found
Sort by:
  1. Richard M. Friedberg (1958). Three Theorems on Recursive Enumeration. I. Decomposition. II. Maximal Set. III. Enumeration Without Duplication. Journal of Symbolic Logic 23 (3):309-316.score: 290.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Richard Friedberg (1957). A Criterion for Completeness of Degrees of Unsolvability. Journal of Symbolic Logic 22 (2):159-160.score: 120.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. John M. MacIntyre (1977). Transfinite Extensions of Friedberg's Completeness Criterion. Journal of Symbolic Logic 42 (1):1-10.score: 12.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Michael Mytilinaios (1989). Finite Injury and ∑1-Induction. Journal of Symbolic Logic 54 (1):38 - 49.score: 12.0
    Working in the language of first-order arithmetic we consider models of the base theory P - . Suppose M is a model of P - and let M satisfy induction for σ 1 -formulas. First it is shown that the Friedberg-Muchnik finite injury argument can be performed inside M, and then, using a blocking method for the requirements, we prove that the Sacks splitting construction can be done in M. So, the "amount" of induction needed to perform the known (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
BibTeX / EndNote / RIS / etc
Export this page:
Restrictions





Configure languages here. Sign in to use this feature.

Viewing options


Open Category Editor
Off-campus access
Using PhilPapers from home?

Click here to configure this browser for off-campus access.

Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:

Email   RSS feed
About PhilPapers
General Editors:
David Bourget (London)
David Chalmers (ANU, NYU)

Area Editors:
Anthony Beavers
David Bourget
Berit Brogaard
Margaret Cameron
David Chalmers
Gabriele Contessa
Rafael De Clercq
Catarina Dutilh Novaes
Pablo Gilabert
Hans Halvorson
Jonathan Ichikawa
Jonathan Kvanvig
Øystein Linnebo
JeeLoo Liu
Paul Livingston
Brandon Look
Michiru Nagatsu
Susana Nuccetelli
Gualtiero Piccinini
Darrell Rowbottom
Constantine Sandis
Jonathan Schaffer
Thomas Senor
Robin Smith
Robert Sparrow
Daniel Star
Jussi Suikkanen
Lynne Tirrell
John Simpson Wilkins

Other editors
Contact us
Learn more about PhilPapers





Applied ethicsEpistemologyHistory of Western PhilosophyMeta-ethicsMetaphysicsNormative ethics
Philosophy of biologyPhilosophy of languagePhilosophy of mindPhilosophy of religionScience Logic and MathematicsMore ...
Home | New books and articles | Bibliographies | Philosophy journals | Discussions | The Categorization Project | About PhilPapers | API | Contact us

Hosted by The Institute of Philosophy, School of Advanced Study, University of London
This site uses Google Analytics (see our terms & conditions for details regarding the privacy implications).

Use of this site is subject to terms & conditions.
All rights reserved by David Bourget and David Chalmers

Page generated Wed May 22 17:37:06 2013 - Hash code: 48zyhtwsQFplNGRKuIOiQg