Frederick William Galvin es un matemático, actualmente profesor de 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 ℵ ω 1 es un límite cardinal fuerte , entonces
sostiene. La investigación para ampliar 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 utilizó el forzamiento y el carácter absoluto. 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 conjunto de Borel es Ramsey. Galvin y Komjáth demostraron que el axioma de elección equivale a la afirmación de que todo gráfico tiene un número cromático .
Galvin recibió su doctorado. en 1967 de la Universidad de Minnesota . [1]
Inventó Doublemove Chess en 1957 y Push Chess en 1967.
![{\displaystyle \aleph _ {1}\not \to [\aleph _ {1}]_ {4}^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e475d64c25f21c5a699e22365d4b8fd62c98db5)
![{\displaystyle 2^{\aleph _{0}}\not \to [2^{\aleph _{0}}]_{\aleph _{0}}^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ced5a19522d9606ffcb8b6b5da5fe842bd5fbcf4)
![{\displaystyle \eta \to [\eta ]_{3}^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26c9158a9002be88a57b69234fdfb023dbca73dd)