Concepedia

Jeffry L. Hirst

JL

9

Publications

219

Citations

9

H-Index

1990

Active since

Affiliations

Appalachian State University(Current)

Marshall University

Jeffry L. Hirst is an author at Appalachian State University specializing in engineering, automated reasoning, and discrete mathematics.

Top concepts

EngineeringAutomated ReasoningDiscrete MathematicsGraph TheoryFormal MethodsComputer ScienceFormal VerificationRepresentation TheoryComputational ComplexityMathematical Foundations

Publications per year

1990–2015

9

Publications

9

Reverse mathematics and ordinal exponentiation

Jeffry L. Hirst · Annals of Pure and Applied Logic · 1994 · 49 citations

Order Theory, Reverse Mathematics, Mathematical Foundations +2

Weak comparability of well orderings and reverse mathematics

Harvey M. Friedman, Jeffry L. Hirst · Annals of Pure and Applied Logic · 1990 · 40 citations

Order Theory, Partially Ordered Set, Higher-order Logic +1

Representations of Reals in Reverse Mathematics

Jeffry L. Hirst · Bulletin of the Polish Academy of Sciences Mathematics · 2007 · 31 citations · Full text

Theoretical Mathematics, Decimal Expansions, Real Data Type +4

The polarized Ramsey’s theorem

Damir D. Dzhafarov, Jeffry L. Hirst · Archive for Mathematical Logic · 2008 · 24 citations

Graph Theory, Extremal Set Theory, Polarized Ramsey ’ +3

Reverse mathematics, computability, and partitions of trees

Jennifer Chubb, Jeffry L. Hirst, Timothy H. McNicholl · Journal of Symbolic Logic · 2009 · 24 citations

Tree Language, Combinatorics On Word, Engineering +10

Rows per page

1–5 of 9