Harvey Friedman

Publication Activity (10 Years)

Years Active: 1969-2018
Publications (10 Years): 1

Top Topics

Feature Extraction

Optimal Solution

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Publications

Harvey Friedman
This Foundationalist Looks at P = NP. ACM SIGSOFT Softw. Eng. Notes 43 (3) (2018)
Harvey Friedman, Krzysztof Kurdyka, Chris Miller, Patrick Speissegger
Expansions of the real field by open sets: definability versus interpretability. J. Symb. Log. 75 (4) (2010)
Steven Kieffer, Jeremy Avigad, Harvey Friedman
A language for mathematical language management CoRR (2008)
Jeremy Avigad, Harvey Friedman
Combining decision procedures for the reals CoRR (2006)
Jeremy Avigad, Harvey Friedman
Combining decision procedures for the reals. Log. Methods Comput. Sci. 2 (4) (2006)
Harvey Friedman, Chris Miller
Expansions of o-minimal structures by fast sequences. J. Symb. Log. 70 (2) (2005)
Harvey Friedman
Some Decision Problems of Enormous Complexity. LICS (1999)
Harvey Friedman, Michael Sheard
Elementary Descent Recursion and Proof Theory. Ann. Pure Appl. Log. 71 (1) (1995)
Harvey Friedman, Stephen G. Simpson, Xiaokang Yu
Periodic Points and Subsystems of Second-Order Arithmetic. Ann. Pure Appl. Log. 62 (1) (1993)
Harvey Friedman, Robert K. Meyer
Whither Relevant Arithmetic? J. Symb. Log. 57 (3) (1992)
Harvey Friedman, Jeffry L. Hirst
Reverse Mathematics and Homeomorphic Embeddings. Ann. Pure Appl. Log. 54 (3) (1991)
Harvey Friedman, Jeffry L. Hirst
Weak Comparability of Well Orderings and Reverse Mathematics. Ann. Pure Appl. Log. 47 (1) (1990)
Harvey Friedman, Michael Sheard
The Equivalence of the Disjunction and Existence Properties for Modal Arithmetic. J. Symb. Log. 54 (4) (1989)
Harvey Friedman, Lee J. Stanley
A Borel Reducibility Theory for Classes of Countable Structures. J. Symb. Log. 54 (3) (1989)
Peter J. Freyd, Harvey Friedman, Andre Scedrov
Lindenbaum algebras of intuitionistic theories and free categories. Ann. Pure Appl. Log. 35 (1987)
Harvey Friedman
On the Spectra of Universal Relational Sentences Inf. Control. 62 (2/3) (1984)
Ker-I Ko, Harvey Friedman
Computational Complexity of Real Functions. Theor. Comput. Sci. 20 (1982)
Harvey Friedman
On the Derivability of Instantiation Properties. J. Symb. Log. 42 (4) (1977)
Harvey Friedman
Uniformly Defined Descending Sequences of Degrees. J. Symb. Log. 41 (2) (1976)
Harvey Friedman
A cumulative hierarchy of predicates. Math. Log. Q. 21 (1) (1975)
Harvey Friedman
One Hundred and Two Problems in Mathematical Logic. J. Symb. Log. 40 (2) (1975)
Harvey Friedman
On Existence Proofs of Hanf Numbers. J. Symb. Log. 39 (2) (1974)
Harvey Friedman
PCA Well-Orderings of the Line. J. Symb. Log. 39 (1) (1974)
Harvey Friedman
The Consistency of Classical Set Theory Relative to a Set Theory with Intuitionistic Logic. J. Symb. Log. 38 (2) (1973)
Harvey Friedman
. J. Symb. Log. 34 (3) (1969)