Logic and Math hits on Google

[Harvey Friedman]

Some hits require some work to obtain because of double meanings. For
instance, SAT also means Scholastic Aptitude Test.

It might be interesting to do a more systematic analysis of this
perhaps with the help of more refined Google search tools.

"Reverse Mathematics"     About 1,030,000 results (0.63 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)
"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)

"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