427:
119:
884:
115:
1049:
1044:
76:
314:
271:
196:
1059:
573:
393:
1064:
901:
229:
215:
182:
246:
879:
759:
653:
532:
366:
896:
889:
527:
490:
235:
544:
578:
470:
458:
453:
386:
998:
916:
791:
743:
557:
480:
1054:
1039:
950:
831:
643:
463:
267:
866:
836:
780:
700:
680:
658:
1034:
940:
930:
764:
695:
648:
588:
475:
164:
8:
935:
846:
754:
749:
563:
505:
443:
379:
134:
130:
111:
858:
853:
638:
593:
500:
203:
88:
64:
715:
552:
515:
485:
416:
242:
225:
211:
192:
178:
334:
295:
1003:
993:
978:
973:
841:
495:
329:
290:
872:
810:
628:
448:
160:
123:
68:
1008:
805:
786:
690:
675:
632:
568:
510:
104:
35:
23:
1028:
1013:
815:
729:
724:
310:
138:
110:
Jech gave the first published proof of the consistency of the existence of a
44:
983:
362:
963:
958:
776:
705:
663:
522:
426:
623:
171:
Lectures in set theory, with particular emphasis on the method of forcing
968:
739:
402:
52:
48:
771:
734:
685:
583:
100:
96:
92:
356:
352:
796:
618:
40:
668:
435:
371:
72:
239:: The Third Millennium Edition, revised and expanded
266:
1026:
241:, 2006, Springer Science & Business Media,
173:, Springer-Verlag Lecture Notes in Mathematics
309:
191:, North-Holland 1973 (Dover paperback edition
387:
151:"Non-provability of Souslin's hypothesis",
394:
380:
333:
294:
77:Academy of Sciences of the Czech Republic
249:. 1st ed. 1978; 2nd (corrected) ed. 1997
1027:
375:
34:
224:, Cambridge University Press 1986 (
210:, Marcel Dekker, 3rd edition 1999 (
122:. He gave several models where the
13:
14:
1076:
1050:21st-century Czech mathematicians
1045:20th-century Czech mathematicians
346:
425:
335:10.1090/S0273-0979-1980-14818-1
296:10.1090/s0273-0979-1989-15716-9
144:
401:
303:
260:
153:Comment. Math. Univ. Carolinae
126:failed, for example one with ω
118:, he introduced the notion of
87:Jech's research also includes
1:
367:Mathematics Genealogy Project
326:Bull. Amer. Math. Soc. (N.S.)
283:Bull. Amer. Math. Soc. (N.S.)
253:
7:
1060:Czechoslovak mathematicians
10:
1081:
885:von Neumann–Bernays–Gödel
328:. 3, Part 1 (1): 775–777.
208:Introduction to set theory
71:) and from 2000 is at the
39:; born 29 January 1944 in
1065:Charles University alumni
949:
912:
824:
714:
686:One-to-one correspondence
602:
543:
434:
423:
409:
73:Institute of Mathematics
55:for more than 25 years.
137:is named after him and
82:
58:
644:Constructible universe
471:Constructibility (V=L)
27:
867:Principia Mathematica
701:Transfinite induction
560:(i.e. set difference)
36:[ˈtomaːʃˈjɛx]
941:Burali-Forti paradox
696:Set-builder notation
649:Continuum hypothesis
589:Symmetric difference
902:Tarski–Grothendieck
189:The axiom of choice
133:. The concept of a
63:He was educated at
16:Czech mathematician
491:Limitation of size
268:Baumgartner, James
89:mathematical logic
65:Charles University
1022:
1021:
931:Russell's paradox
880:Zermelo–Fraenkel
781:Dedekind-infinite
654:Diagonal argument
553:Cartesian product
417:Set (mathematics)
355:, with a copy at
197:978-0-486-46624-8
159:: 291–305, 1967,
120:precipitous ideal
67:(his advisor was
1072:
1004:Bertrand Russell
994:John von Neumann
979:Abraham Fraenkel
974:Richard Dedekind
936:Suslin's problem
847:Cantor's theorem
564:De Morgan's laws
429:
396:
389:
382:
373:
372:
340:
339:
337:
323:
307:
301:
300:
298:
280:
274:Multiple forcing
264:
222:Multiple forcing
167:
47:specializing in
38:
33:
1080:
1079:
1075:
1074:
1073:
1071:
1070:
1069:
1025:
1024:
1023:
1018:
945:
924:
908:
873:New Foundations
820:
710:
629:Cardinal number
612:
598:
539:
430:
421:
405:
400:
349:
344:
343:
321:
319:by Thomas Jech"
308:
304:
278:
276:by Thomas Jech"
265:
261:
256:
150:
147:
135:Jech–Kunen tree
129:
124:axiom of choice
85:
61:
31:
17:
12:
11:
5:
1078:
1068:
1067:
1062:
1057:
1052:
1047:
1042:
1037:
1020:
1019:
1017:
1016:
1011:
1009:Thoralf Skolem
1006:
1001:
996:
991:
986:
981:
976:
971:
966:
961:
955:
953:
947:
946:
944:
943:
938:
933:
927:
925:
923:
922:
919:
913:
910:
909:
907:
906:
905:
904:
899:
894:
893:
892:
877:
876:
875:
863:
862:
861:
850:
849:
844:
839:
834:
828:
826:
822:
821:
819:
818:
813:
808:
803:
794:
789:
784:
774:
769:
768:
767:
762:
757:
747:
737:
732:
727:
721:
719:
712:
711:
709:
708:
703:
698:
693:
691:Ordinal number
688:
683:
678:
673:
672:
671:
666:
656:
651:
646:
641:
636:
626:
621:
615:
613:
611:
610:
607:
603:
600:
599:
597:
596:
591:
586:
581:
576:
571:
569:Disjoint union
566:
561:
555:
549:
547:
541:
540:
538:
537:
536:
535:
530:
519:
518:
516:Martin's axiom
513:
508:
503:
498:
493:
488:
483:
481:Extensionality
478:
473:
468:
467:
466:
461:
456:
446:
440:
438:
432:
431:
424:
422:
420:
419:
413:
411:
407:
406:
399:
398:
391:
384:
376:
370:
369:
360:
348:
347:External links
345:
342:
341:
311:Kunen, Kenneth
302:
289:(1): 103–107.
258:
257:
255:
252:
251:
250:
233:
230:978-0521266598
219:
216:978-0824779153
200:
186:
183:978-3540055648
168:
146:
143:
127:
105:measure theory
84:
81:
60:
57:
20:Thomas J. Jech
15:
9:
6:
4:
3:
2:
1077:
1066:
1063:
1061:
1058:
1056:
1055:Set theorists
1053:
1051:
1048:
1046:
1043:
1041:
1040:Living people
1038:
1036:
1033:
1032:
1030:
1015:
1014:Ernst Zermelo
1012:
1010:
1007:
1005:
1002:
1000:
999:Willard Quine
997:
995:
992:
990:
987:
985:
982:
980:
977:
975:
972:
970:
967:
965:
962:
960:
957:
956:
954:
952:
951:Set theorists
948:
942:
939:
937:
934:
932:
929:
928:
926:
920:
918:
915:
914:
911:
903:
900:
898:
897:Kripke–Platek
895:
891:
888:
887:
886:
883:
882:
881:
878:
874:
871:
870:
869:
868:
864:
860:
857:
856:
855:
852:
851:
848:
845:
843:
840:
838:
835:
833:
830:
829:
827:
823:
817:
814:
812:
809:
807:
804:
802:
800:
795:
793:
790:
788:
785:
782:
778:
775:
773:
770:
766:
763:
761:
758:
756:
753:
752:
751:
748:
745:
741:
738:
736:
733:
731:
728:
726:
723:
722:
720:
717:
713:
707:
704:
702:
699:
697:
694:
692:
689:
687:
684:
682:
679:
677:
674:
670:
667:
665:
662:
661:
660:
657:
655:
652:
650:
647:
645:
642:
640:
637:
634:
630:
627:
625:
622:
620:
617:
616:
614:
608:
605:
604:
601:
595:
592:
590:
587:
585:
582:
580:
577:
575:
572:
570:
567:
565:
562:
559:
556:
554:
551:
550:
548:
546:
542:
534:
533:specification
531:
529:
526:
525:
524:
521:
520:
517:
514:
512:
509:
507:
504:
502:
499:
497:
494:
492:
489:
487:
484:
482:
479:
477:
474:
472:
469:
465:
462:
460:
457:
455:
452:
451:
450:
447:
445:
442:
441:
439:
437:
433:
428:
418:
415:
414:
412:
408:
404:
397:
392:
390:
385:
383:
378:
377:
374:
368:
364:
361:
358:
354:
351:
350:
336:
331:
327:
320:
318:
312:
306:
297:
292:
288:
284:
277:
275:
269:
263:
259:
248:
247:3-540-44085-2
244:
240:
238:
234:
231:
227:
223:
220:
217:
213:
209:
205:
201:
198:
194:
190:
187:
184:
180:
176:
172:
169:
166:
162:
158:
154:
149:
148:
142:
140:
139:Kenneth Kunen
136:
132:
125:
121:
117:
113:
108:
106:
102:
98:
94:
90:
80:
78:
74:
70:
66:
56:
54:
50:
46:
45:mathematician
42:
37:
29:
25:
21:
988:
964:Georg Cantor
959:Paul Bernays
890:Morse–Kelley
865:
798:
797:Subset
744:hereditarily
706:Venn diagram
664:ordered pair
579:Intersection
523:Axiom schema
325:
316:
305:
286:
282:
273:
262:
236:
221:
207:
188:
174:
170:
156:
152:
145:Bibliography
116:Karel Prikry
109:
86:
69:Petr Vopěnka
62:
19:
18:
1035:1944 births
989:Thomas Jech
832:Alternative
811:Uncountable
765:Ultrafilter
624:Cardinality
528:replacement
476:Determinacy
363:Thomas Jech
112:Suslin line
51:who was at
1029:Categories
984:Kurt Gödel
969:Paul Cohen
806:Transitive
574:Identities
558:Complement
545:Operations
506:Regularity
444:Adjunction
403:Set theory
357:Penn state
317:Set theory
254:References
237:Set Theory
204:K. Hrbáček
131:measurable
53:Penn State
49:set theory
32:pronounced
28:Tomáš Jech
917:Paradoxes
837:Axiomatic
816:Universal
792:Singleton
787:Recursive
730:Countable
725:Amorphous
584:Power set
501:Power set
459:dependent
454:countable
353:Home page
315:"Review:
272:"Review:
921:Problems
825:Theories
801:Superset
777:Infinite
606:Concepts
486:Infinity
410:Overview
313:(1980).
270:(1989).
177:(1971) (
101:topology
97:analysis
859:General
854:Zermelo
760:subbase
742: (
681:Forcing
659:Element
631: (
609:Methods
496:Pairing
365:at the
165:0215729
114:. With
93:algebra
75:of the
43:) is a
750:Filter
740:Finite
676:Family
619:Almost
464:global
449:Choice
436:Axioms
245:
228:
214:
202:(with
195:
181:
163:
103:, and
41:Prague
842:Naive
772:Fuzzy
735:Empty
718:types
669:tuple
639:Class
633:large
594:Union
511:Union
322:(PDF)
279:(PDF)
24:Czech
755:base
243:ISBN
226:ISBN
212:ISBN
193:ISBN
179:ISBN
83:Work
59:Life
716:Set
330:doi
291:doi
175:217
1031::
324:.
287:20
285:.
281:.
206:)
161:MR
155:,
141:.
107:.
99:,
95:,
91:,
79:.
30:,
26::
799:·
783:)
779:(
746:)
635:)
395:e
388:t
381:v
359:.
338:.
332::
299:.
293::
232:)
218:)
199:)
185:)
157:8
128:1
22:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.