Harvey M. Friedman

18 papers A 1B 1Journal 16
YearRankTypeTitle / Venue / Authors
2016 B conf
Perspectives on formal verification (invited talk).
CPP
Harvey M. Friedman
2014 A conf
Syrus: providing practice problems in discrete mathematics with instant feedback.
SIGCSE
Diego Zaccai, Aditi Tagore, Dustin Hoffman, Jason Kirschenbaum, Zakariya Bainazarov, Harvey M. Friedman, Dennis K. Pearl, Bruce W. Weide
2011 J jnl
Building a push-button RESOLVE verifier: Progress and challenges.
Formal Aspects Comput.
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
2008 J jnl
What is o-minimality?
Ann. Pure Appl. Log.
Harvey M. Friedman
2003 J jnl
Primitive Independence Results.
J. Math. Log.
Harvey M. Friedman
2001 J jnl
Long Finite Sequences.
J. Comb. Theory A
Harvey M. Friedman
2001 J jnl
Subtle cardinals and linear orderings.
Ann. Pure Appl. Log.
Harvey M. Friedman
2000 J jnl
Does mathematics need new axioms?
Bull. Symb. Log.
Solomon Feferman, Harvey M. Friedman, Penelope Maddy, John R. Steel
1988 J jnl
The disjunction and existence properties for axiomatic systems of truth.
Ann. Pure Appl. Log.
Harvey M. Friedman, Michael Sheard
1987 J jnl
An axiomatic approach to self-referential truth.
Ann. Pure Appl. Log.
Harvey M. Friedman, Michael Sheard
1987 J jnl
Maximality in modal logic.
Ann. Pure Appl. Log.
Robert C. Flagg, Harvey M. Friedman
1986 J jnl
Epistemic and intuitionistic formal systems.
Ann. Pure Appl. Log.
Robert C. Flagg, Harvey M. Friedman
1986 J jnl
Intuitionistically provable recursive well-orderings.
Ann. Pure Appl. Log.
Harvey M. Friedman, Andre Scedrov
1985 J jnl
Addendum to "countable algebra and set existence axioms".
Ann. Pure Appl. Log.
Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith
1984 J jnl
Large sets in intuitionistic set theory.
Ann. Pure Appl. Log.
Harvey M. Friedman, Andrej Scedrov
1983 J jnl
Countable algebra and set existence axioms.
Ann. Pure Appl. Log.
Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith
1983 J jnl
Set existence property for intuitionistic theories with dependent choice.
Ann. Pure Appl. Log.
Harvey M. Friedman, Andrej Scedrov
1973 J jnl
Borel Sets and Hyperdegrees.
J. Symb. Log.
Harvey M. Friedman