Harvey Friedman

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