Frederick William Galvin es matemático y actualmente 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 ℵ ω 1 es un cardinal límite fuerte , entonces
se cumple. 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 prueba elemental del teorema de Baumgartner-Hajnal ( ). La prueba original de Baumgartner y Hajnal utilizó forzamiento y absolutismo. Galvin y Shelah también demostraron las relaciones de partición de 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 todo conjunto de Borel es Ramsey. Galvin y Komjáth demostraron que el axioma de elección es equivalente a la afirmación de que todo grafo tiene un número cromático .
Galvin recibió su doctorado en 1967 de la Universidad de Minnesota . [1]
Inventó el ajedrez Doublemove en 1957 y el ajedrez Push en 1967.
![{\displaystyle \aleph _{1}\no \a [\aleph _{1}]_{4}^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e475d64c25f21c5a699e22365d4b8fd62c98db5)
![{\displaystyle 2^{\aleph _{0}}\no \a [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)