Logic and Math hits on Google

[Harvey Friedman]

In Simpson's book, we see on page 34 (1999 edition)

 "The slogan "Reverse Mathematics" was coined by Friedman during a
special session of the American Mathematical Society organized by
Simpson",

Does anybody know what special session that was or approximately when
people started consistently using the phrase "Reverse Mathematics"?

*******************

I added some hits to
https://cs.nyu.edu/pipermail/fom/2021-October/022958.html including
ones suggested by Larry Paulson and John Burgess.

"Reverse Mathematics"     About 1,030,000 results (0.63 seconds)

"second order arithmetic"  About 290,000 results (0.68 seconds)
"propositional logic"  About 1,670,000 results (0.73 seconds)
"predicate logic"  About 3,340,000 results (0.81 seconds)

"Large Cardinals"     About 83,800 results (0.79 seconds)
"Recursion Theory"     About 194,000 results (0.64 seconds)
"Computability Theory"     About 1,550,000 results (0.52 seconds)
"Proof Theory"     About 1,510,000 results (0.74 seconds)
"Mathematical Logic"    About 2,800,000 results (0.66 seconds)
"Model Theory"     About 5,090,000 results (0.68 seconds)
"Category Theory"     About 9,840,000 results (0.71 seconds)

ramsey theory”: About 165,000 results  --- Paulson
"partition calculus”: About 24,200 results --- Paulson
“combinatorics": About 11,000,000 results --- Paulson

"Descriptive Set Theory" About 234,000 results (0.76 seconds)   ---  Burgess
"Axiom of Determinacy"  About 1,230,000 results (0.76 seconds)
"Set Theory"     About 11,900,000 results (0.76 seconds)

"o-minimality"     About 21,800 results (0.55 seconds)
"o-minimal"     About 152,000 results (0.53 seconds)

"SAT solver"     About 180,000 results (0.51 seconds)
"Mizar"  About 9,040,000 results (0.79 seconds)
"Quantum Computing"   About 13,300,000 results (0.75 seconds)
"Coq"  About 44,400,000 results (0.60 seconds)
"Isabelle"  About 261,000,000 results (0.79 seconds)

"Algebraic Number Theory"     About 1,480,000 results (0.76 seconds)
"Analytic Number Theory"     About 1,510,000 results (0.66 seconds)
"Algebraic Topology"     About 1,610,000 results (0.65 seconds)
"Algebraic Geometry"     About 7,080,000 results (0.56 seconds)

"Differential Topology"     About 657,000 results (0.61 seconds)
"Differential Geometry"     About 6,270,000 results (0.65 seconds)
"Partial Differential Equations"     About 11,300,000 results (0.55 seconds)

"Ordinary Differential Equations"     About 7,100,000 results (0.94 seconds)
"Differential Equations"     About 26,400,000 results (0.68 seconds)

"Operator Theory"     About 1,980,000 results (0.53 seconds)
"Numerical Analysis"     About 28,800,000 results (0.66 seconds)

"Mathematical Physics"     About 8,520,000 results (0.79 seconds)

"Complex Analysis"     About 6,000,000 results (0.82 seconds)
"Real Variables"     About 6,630,000 results (0.76 seconds)

"Computational Complexity Theory"     About 1,240,000 results (0.57 seconds)
"Complexity Theory"     About 8,500,000 results (0.71 seconds)
"Computational Complexity"     About 14,100,000 results (0.68 seconds)
"Computational"     About 222,000,000 results (0.66 seconds)
"Complexity"     About 326,000,000 results (0.60 seconds)

"Mathematics"     About 7,340,000,000 results (0.79 seconds)

Harvey Friedman