Harvey M. Friedman

Harvey Friedman

	2011
27		Murali Sitaraman, Bruce M. Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather K. Harton, Wayne D. Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, Bruce W. Weide: Building a push-button RESOLVE verifier: Progress and challenges. Formal Asp. Comput. 23(5): 607-626 (2011)
	2010
26		Harvey Friedman, Krzysztof Kurdyka, Chris Miller, Patrick Speissegger: Expansions of the real field by open sets: definability versus interpretability. J. Symb. Log. 75(4): 1311-1325 (2010)
	2008
25		Harvey M. Friedman: What is o-minimality? Ann. Pure Appl. Logic 156(1): 59-67 (2008)
24		Steven Kieffer, Jeremy Avigad, Harvey Friedman: A language for mathematical language management CoRR abs/0805.1386: (2008)
	2006
23		Jeremy Avigad, Harvey Friedman: Combining decision procedures for the reals CoRR abs/cs/0601134: (2006)
22		Jeremy Avigad, Harvey Friedman: Combining decision procedures for the reals. Logical Methods in Computer Science 2(4): (2006)
	2005
21		Harvey Friedman, Chris Miller: Expansions of o-minimal structures by fast sequences. J. Symb. Log. 70(2): 410-418 (2005)
	2001
20		Harvey M. Friedman: Long Finite Sequences. J. Comb. Theory, Ser. A 95(1): 102-144 (2001)
	2000
19		Solomon Feferman, Harvey M. Friedman, Penelope Maddy, John R. Steel: Does mathematics need new axioms? Bulletin of Symbolic Logic 6(4): 401-446 (2000)
	1999
18		Harvey Friedman: Some Decision Problems of Enormous Complexity. LICS 1999: 2-12
	1995
17		Harvey Friedman, Michael Sheard: Elementary Descent Recursion and Proof Theory. Ann. Pure Appl. Logic 71(1): 1-45 (1995)
	1993
16		Harvey Friedman, Stephen G. Simpson, Xiaokang Yu: Periodic Points and Subsystems of Second-Order Arithmetic. Ann. Pure Appl. Logic 62(1): 51-64 (1993)
	1992
15		Harvey Friedman, Robert K. Meyer: Whither Relevant Arithmetic? J. Symb. Log. 57(3): 824-831 (1992)
	1991
14		Harvey Friedman, Jeffry L. Hirst: Reverse Mathematics and Homeomorphic Embeddings. Ann. Pure Appl. Logic 54(3): 229-253 (1991)
	1990
13		Harvey Friedman, Jeffry L. Hirst: Weak Comparability of Well Orderings and Reverse Mathematics. Ann. Pure Appl. Logic 47(1): 11-29 (1990)
	1989
12		Harvey Friedman, Lee J. Stanley: A Borel Reducibility Theory for Classes of Countable Structures. J. Symb. Log. 54(3): 894-914 (1989)
11		Harvey Friedman, Michael Sheard: The Equivalence of the Disjunction and Existence Properties for Modal Arithmetic. J. Symb. Log. 54(4): 1456-1459 (1989)
	1984
10		Harvey Friedman: On the Spectra of Universal Relational Sentences Information and Control 62(2/3): 205-209 (1984)
	1982
9		Ker-I Ko, Harvey Friedman: Computational Complexity of Real Functions. Theor. Comput. Sci. 20: 323-352 (1982)
	1977
8		Harvey Friedman: On the Derivability of Instantiation Properties. J. Symb. Log. 42(4): 506-514 (1977)
	1976
7		Harvey Friedman: Uniformly Defined Descending Sequences of Degrees. J. Symb. Log. 41(2): 363-367 (1976)
	1975
6		Harvey Friedman: One Hundred and Two Problems in Mathematical Logic. J. Symb. Log. 40(2): 113-129 (1975)
	1974
5		Harvey Friedman: PCA Well-Orderings of the Line. J. Symb. Log. 39(1): 79-80 (1974)
4		Harvey Friedman: On Existence Proofs of Hanf Numbers. J. Symb. Log. 39(2): 318-324 (1974)
	1973
3		Harvey Friedman: The Consistency of Classical Set Theory Relative to a Set Theory with Intuitionistic Logic. J. Symb. Log. 38(2): 315-319 (1973)
2		Harvey M. Friedman: Borel Sets and Hyperdegrees. J. Symb. Log. 38(3): 405-409 (1973)
	1969
1		Harvey Friedman: Bar Induction and Pi11-CA1. J. Symb. Log. 34(3): 353-362 (1969)

Coauthor Index

1	Bruce M. Adcock	[27]
2	Jeremy Avigad	[22] [23] [24] [27]
3	Derek Bronish	[27]
4	Paolo Bucci	[27]
5	Solomon Feferman	[19]
6	David Frazier	[27]
7	Heather K. Harton	[27]
8	Wayne D. Heym	[27]
9	Jeffry L. Hirst	[13] [14]
10	Steven Kieffer	[24]
11	Jason Kirschenbaum	[27]
12	Ker-I Ko	[9]
13	Joan Krone	[27]
14	Krzysztof Kurdyka	[26]
15	Penelope Maddy	[19]
16	Robert K. Meyer	[15]
17	Chris Miller	[21] [26]
18	Michael Sheard	[11] [17]
19	Stephen G. Simpson	[16]
20	Murali Sitaraman	[27]
21	Hampton Smith	[27]
22	Patrick Speissegger	[26]
23	Lee J. Stanley	[12]
24	John R. Steel	[19]
25	Bruce W. Weide	[27]
26	Xiaokang Yu	[16]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page