Fred Galvin

Frederick William Galvin es matemático y actualmente es profesor en la Universidad de Kansas . Sus intereses de investigación incluyen la teoría de conjuntos y la combinatoria .

Su notable trabajo combinatorio incluye la prueba de la conjetura de Dinitz . En teoría de conjuntos, demostró con András Hajnal que si ℵ _{ω ₁} es un cardinal de límite fuerte , entonces

sostiene. La investigación sobre la extensión de este resultado llevó a Saharon Shelah a la invención de la teoría PCF . Galvin dio una demostración elemental del teorema de Baumgartner-Hajnal ( ). La prueba original de Baumgartner y Hajnal usaba forzamiento y absolutismo. Galvin y Shelah también demostraron las relaciones de partición entre corchetes y . Galvin también demostró la relación de partición donde η denota el tipo de orden del conjunto de números racionales. Galvin y Karel Prikry demostraron que cada set de Borel es Ramsey. Galvin y Komjáth demostraron que el axioma de elección ${\ Displaystyle \ omega _ {1} \ to (\ alpha) _ {k} ^ {2}}$ ${\ Displaystyle \ alpha <\ omega _ {1}, k <\ omega}$ ${\ Displaystyle \ aleph _ {1} \ no \ a [\ aleph _ {1}] _ {4} ^ {2}}$ $2^{\aleph _{0}}\not \to [2^{\aleph _{0}}]_{\aleph _{0}}^{2}$ $\eta \to [\eta ]_{3}^{2}$ es equivalente a la afirmación de que todo gráfico tiene un número cromático .