The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Harvey Friedman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Harvey Friedman
    Some Decision Problems of Enormous Complexity. [Citation Graph (0, 0)][DBLP]
    LICS, 1999, pp:2-13 [Conf]
  2. Harvey Friedman, Jeffry L. Hirst
    Weak Comparability of Well Orderings and Reverse Mathematics. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1990, v:47, n:1, pp:11-29 [Journal]
  3. Harvey Friedman, Jeffry L. Hirst
    Reverse Mathematics and Homeomorphic Embeddings. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1991, v:54, n:3, pp:229-253 [Journal]
  4. Harvey Friedman, Michael Sheard
    Elementary Descent Recursion and Proof Theory. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1995, v:71, n:1, pp:1-45 [Journal]
  5. Harvey Friedman, Stephen G. Simpson, Xiaokang Yu
    Periodic Points and Subsystems of Second-Order Arithmetic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1993, v:62, n:1, pp:51-64 [Journal]
  6. Harvey Friedman
    On the Spectra of Universal Relational Sentences [Citation Graph (0, 0)][DBLP]
    Information and Control, 1984, v:62, n:2/3, pp:205-209 [Journal]
  7. Harvey Friedman
    Bar Induction and Pi11-CA1. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1969, v:34, n:3, pp:353-362 [Journal]
  8. Harvey Friedman
    The Consistency of Classical Set Theory Relative to a Set Theory with Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:2, pp:315-319 [Journal]
  9. Harvey Friedman
    PCA Well-Orderings of the Line. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1974, v:39, n:1, pp:79-80 [Journal]
  10. Harvey Friedman
    On Existence Proofs of Hanf Numbers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1974, v:39, n:2, pp:318-324 [Journal]
  11. Harvey Friedman
    One Hundred and Two Problems in Mathematical Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:2, pp:113-129 [Journal]
  12. Harvey Friedman
    Uniformly Defined Descending Sequences of Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:363-367 [Journal]
  13. Harvey Friedman
    On the Derivability of Instantiation Properties. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:4, pp:506-514 [Journal]
  14. Harvey Friedman, Robert K. Meyer
    Whither Relevant Arithmetic? [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:3, pp:824-831 [Journal]
  15. Harvey Friedman, Lee J. Stanley
    A Borel Reducibility Theory for Classes of Countable Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:3, pp:894-914 [Journal]
  16. Harvey Friedman, Michael Sheard
    The Equivalence of the Disjunction and Existence Properties for Modal Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:4, pp:1456-1459 [Journal]
  17. Jeremy Avigad, Harvey Friedman
    Combining decision procedures for the reals. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2006, v:2, n:4, pp:- [Journal]
  18. Ker-I Ko, Harvey Friedman
    Computational Complexity of Real Functions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1982, v:20, n:, pp:323-352 [Journal]
  19. Jeremy Avigad, Harvey Friedman
    Combining decision procedures for the reals [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  20. A language for mathematical language management [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002