Thomas J. Jech (Czech: Tomáš Jech, pronounced [ˈtomaːʃ ˈjɛx]; born 29 January 1944 in Prague) is a mathematician specializing in set theory who was at Penn State for more than 25 years.
YouTube Encyclopedic

1/3Views:7 3397 520491

집합론의 시작, 러셀의 역설

Zermelo Fraenkel Choice

자연수의 정렬성(Wellordering principle)
Transcription
Life
He was educated at Charles University (his advisor was Petr Vopěnka) and from 2000 is at the Institute of Mathematics of the Academy of Sciences of the Czech Republic.
Work
Jech's research also includes mathematical logic, algebra, analysis, topology, and measure theory.
Jech gave the first published proof of the consistency of the existence of a Suslin line. With Karel Prikry, he introduced the notion of precipitous ideal. He gave several models where the axiom of choice failed, for example one with ω_{1} measurable. The concept of a Jech–Kunen tree is named after him and Kenneth Kunen.
Bibliography
 "Nonprovability of Souslin's hypothesis", Comment. Math. Univ. Carolinae, 8: 291–305, 1967, MR 0215729
 Lectures in set theory, with particular emphasis on the method of forcing, SpringerVerlag Lecture Notes in Mathematics 217 (1971) (ISBN 9783540055648)
 The axiom of choice, NorthHolland 1973 (Dover paperback edition ISBN 9780486466248)
 (with K. Hrbáček) Introduction to set theory, Marcel Dekker, 3rd edition 1999 (ISBN 9780824779153)
 Multiple forcing, Cambridge University Press 1986 (ISBN 9780521266598)^{[1]}
 Set Theory: The Third Millennium Edition, revised and expanded, 2006, Springer Science & Business Media, ISBN 3540440852. 1st ed. 1978;^{[2]} 2nd (corrected) ed. 1997
References
 ^ Baumgartner, James (1989). "Review: Multiple forcing by Thomas Jech" (PDF). Bull. Amer. Math. Soc. (N.S.). 20 (1): 103–107. doi:10.1090/s027309791989157169.
 ^ Kunen, Kenneth (1980). "Review: Set theory by Thomas Jech" (PDF). Bull. Amer. Math. Soc. (N.S.). 3, Part 1 (1): 775–777. doi:10.1090/S027309791980148181.
External links
 Home page, with a copy at Penn state.
 Thomas Jech at the Mathematics Genealogy Project