657:
31:
536:
897:
President of the
Division for Logic, Methodology and Philosophy of Science and Technology of the International Union for History and Philosophy of Science and Technology (DLMPST/IUHPST)
594:
563:
483:
934:
896:
343:
646:
346:(DLMPST/IUHPS) from 2016 to 2019. In 2016 he was elected an honorary foreign member of the American Academy of Arts and Sciences. In 2018 he received the
954:
944:
939:
344:
Division for Logic, Methodology and
Philosophy of Science and Technology of the International Union for History and Philosophy of Science
488:
811:
566:
411:
906:
379:
367:
339:
335:
295:
218:
176:
850:
672:
597:
454:
problem concerning existence of nonregular ultrafilters), even with the example of jumping cardinality of
572:
541:
461:
863:"Office of the President | האוניברסיטה העברית בירושלים | The Hebrew University of Jerusalem"
431:
99:
949:
929:
773:
735:
697:
656:
439:
407:
347:
924:
331:
95:
8:
625:
609:
435:
387:
253:
61:
790:
752:
714:
631:
327:
91:
825:
806:
613:
451:
403:
81:
820:
782:
744:
706:
681:
427:
383:
241:
211:
131:
802:
764:
726:
601:
763:
725:
768:
730:
617:
605:
423:
415:
733:(1988). "Martin's maximum, saturated ideals, and nonregular ultrafilters. I".
375:
136:
918:
889:
446:
he constructed models (1977) of set theory with first examples of nonregular
443:
323:
283:
199:
116:
846:
807:"Large cardinals and definable counterexamples to the continuum hypothesis"
771:(1988). "Martin's maximum, saturated ideals, and nonregular ultrafilters".
391:
447:
359:
57:
794:
756:
718:
686:
667:
621:
455:
419:
154:
149:
862:
616:. Magidor also gave a simple proof of the Jensen and the Dodd-Jensen
600:. Both proofs used the consistency of very large cardinals. Magidor,
786:
748:
710:
402:
Magidor obtained several important consistency results on powers of
695:
Magidor, Menachem (1977). "On the singular cardinals problem. II".
30:
801:
319:
260:
628:
closed set of ordinals is the union of countably many sets in
363:
450:
over very small cardinals (related to the famous
Guilmann–
531:{\displaystyle 2^{\aleph _{\omega }}=\aleph _{\omega +2}}
634:
575:
544:
491:
464:
935:
Academic staff of the Hebrew
University of Jerusalem
442:(but not at the same time). Assuming consistency of
322:: מנחם מגידור; born January 24, 1946) is an Israeli
640:
588:
557:
530:
477:
694:
665:
916:
219:President of the Hebrew University of Jerusalem
596:. This constituted a negative solution to the
538:. He even strengthened the condition that
342:from 1996 to 1998 and as president of the
824:
685:
608:formulated and proved the consistency of
655:
651:
397:
406:substantially developing the method of
374:, was written under the supervision of
917:
668:"On the singular cardinals problem. I"
955:Presidents of universities in Israel
945:21st-century Israeli mathematicians
940:20th-century Israeli mathematicians
13:
577:
546:
513:
498:
466:
14:
966:
589:{\displaystyle \aleph _{\omega }}
558:{\displaystyle \aleph _{\omega }}
478:{\displaystyle \aleph _{\omega }}
378:. He served as president of the
812:Annals of Pure and Applied Logic
805:& Magidor, Menachem (1995).
567:generalised continuum hypothesis
334:. He served as president of the
29:
855:
840:
380:Hebrew University of Jerusalem
368:Hebrew University of Jerusalem
340:Association for Symbolic Logic
336:Hebrew University of Jerusalem
261:President of the DLMPST/IUHPST
1:
851:Mathematics Genealogy Project
834:
673:Israel Journal of Mathematics
612:, a provably maximal form of
598:singular cardinals hypothesis
382:from 1997 to 2009, following
358:Menachem Magidor was born in
865:. New.huji.ac.il. 2017-09-01
826:10.1016/0168-0072(94)00031-W
458:. He proved consistent that
353:
7:
430:. He proved that the least
10:
971:
767:; Magidor, Menachem &
729:; Magidor, Menachem &
666:Magidor, Menachem (1977).
624:does not exist then every
434:can be equal to the least
372:On Super Compact Cardinals
362:, Israel. He received his
903:
894:
886:
881:
432:strongly compact cardinal
390:. The Oxford philosopher
309:
305:
301:
289:
277:
266:
259:
247:
235:
224:
217:
205:
193:
182:
175:
171:
167:
163:
142:
130:
122:
112:
105:
87:
77:
69:
40:
28:
21:
660:Menachem Magidor in 1973
565:is strong limit to that
418:in order to change the
338:, was president of the
100:Large cardinal property
661:
642:
590:
559:
532:
479:
774:Annals of Mathematics
736:Annals of Mathematics
698:Annals of Mathematics
659:
652:Selected publications
643:
591:
560:
533:
485:is strong limit, but
480:
440:supercompact cardinal
398:Mathematical theories
348:Solomon Bublick Award
16:Israeli mathematician
632:
620:. He proved that if
573:
542:
489:
462:
326:who specializes in
177:President of the ASL
626:primitive recursive
436:measurable cardinal
426:to a predetermined
388:Menachem Ben-Sasson
254:Menachem Ben-Sasson
62:Mandatory Palestine
687:10.1007/BF02759779
662:
638:
586:
555:
528:
475:
404:singular cardinals
328:mathematical logic
92:Mathematical logic
913:
912:
904:Succeeded by
882:Academic offices
641:{\displaystyle L}
394:is his daughter.
386:and succeeded by
366:in 1973 from the
313:
312:
143:Doctoral students
126:Hebrew University
107:Scientific career
82:Hebrew University
962:
907:Nancy Cartwright
887:Preceded by
879:
878:
874:
873:
871:
870:
859:
853:
847:Menachem Magidor
844:
830:
828:
803:Foreman, Matthew
798:
765:Foreman, Matthew
760:
727:Foreman, Matthew
722:
691:
689:
647:
645:
644:
639:
610:Martin's maximum
595:
593:
592:
587:
585:
584:
564:
562:
561:
556:
554:
553:
537:
535:
534:
529:
527:
526:
508:
507:
506:
505:
484:
482:
481:
476:
474:
473:
438:or to the least
428:regular cardinal
384:Hanoch Gutfreund
330:, in particular
316:Menachem Magidor
296:Nancy Cartwright
292:
280:
271:
250:
242:Hanoch Gutfreund
238:
229:
212:Donald A. Martin
208:
196:
187:
132:Doctoral advisor
54:
51:January 24, 1946
50:
48:
33:
23:Menachem Magidor
19:
18:
970:
969:
965:
964:
963:
961:
960:
959:
915:
914:
909:
900:
892:
877:
868:
866:
861:
860:
856:
845:
841:
837:
787:10.2307/2007004
769:Shelah, Saharon
749:10.2307/1971415
731:Shelah, Saharon
711:10.2307/1971065
654:
633:
630:
629:
618:covering lemmas
602:Matthew Foreman
580:
576:
574:
571:
570:
549:
545:
543:
540:
539:
516:
512:
501:
497:
496:
492:
490:
487:
486:
469:
465:
463:
460:
459:
400:
356:
290:
278:
272:
267:
248:
236:
230:
225:
206:
194:
188:
183:
159:
78:Alma mater
65:
55:
52:
46:
44:
36:
35:Magidor in 2006
24:
17:
12:
11:
5:
968:
958:
957:
952:
947:
942:
937:
932:
927:
911:
910:
905:
902:
893:
888:
884:
883:
876:
875:
854:
838:
836:
833:
832:
831:
799:
781:(3): 521–545.
761:
723:
705:(3): 517–547.
692:
653:
650:
637:
614:Martin's axiom
606:Saharon Shelah
583:
579:
552:
548:
525:
522:
519:
515:
511:
504:
500:
495:
472:
468:
444:huge cardinals
424:large cardinal
416:Prikry forcing
399:
396:
370:. His thesis,
355:
352:
311:
310:
307:
306:
303:
302:
299:
298:
293:
287:
286:
281:
275:
274:
264:
263:
257:
256:
251:
245:
244:
239:
233:
232:
222:
221:
215:
214:
209:
203:
202:
197:
191:
190:
180:
179:
173:
172:
169:
168:
165:
164:
161:
160:
158:
157:
152:
146:
144:
140:
139:
134:
128:
127:
124:
120:
119:
114:
110:
109:
103:
102:
89:
88:Known for
85:
84:
79:
75:
74:
71:
67:
66:
56:
42:
38:
37:
34:
26:
25:
22:
15:
9:
6:
4:
3:
2:
967:
956:
953:
951:
950:Set theorists
948:
946:
943:
941:
938:
936:
933:
931:
930:Living people
928:
926:
923:
922:
920:
908:
899:
898:
891:
890:Elliott Sober
885:
880:
864:
858:
852:
848:
843:
839:
827:
822:
818:
814:
813:
808:
804:
800:
796:
792:
788:
784:
780:
776:
775:
770:
766:
762:
758:
754:
750:
746:
742:
738:
737:
732:
728:
724:
720:
716:
712:
708:
704:
700:
699:
693:
688:
683:
680:(1–2): 1–31.
679:
675:
674:
669:
664:
663:
658:
649:
635:
627:
623:
619:
615:
611:
607:
603:
599:
581:
568:
550:
523:
520:
517:
509:
502:
493:
470:
457:
453:
449:
445:
441:
437:
433:
429:
425:
421:
417:
413:
409:
405:
395:
393:
389:
385:
381:
377:
373:
369:
365:
361:
351:
349:
345:
341:
337:
333:
329:
325:
324:mathematician
321:
317:
308:
304:
300:
297:
294:
288:
285:
284:Elliott Sober
282:
276:
270:
265:
262:
258:
255:
252:
246:
243:
240:
234:
228:
223:
220:
216:
213:
210:
204:
201:
200:George Boolos
198:
192:
186:
181:
178:
174:
170:
166:
162:
156:
153:
151:
148:
147:
145:
141:
138:
135:
133:
129:
125:
121:
118:
117:Mathematician
115:
111:
108:
104:
101:
97:
93:
90:
86:
83:
80:
76:
72:
68:
63:
59:
53:(age 78)
43:
39:
32:
27:
20:
895:
867:. Retrieved
857:
842:
819:(1): 47–97.
816:
810:
778:
772:
740:
734:
702:
696:
677:
671:
569:holds below
448:ultrafilters
401:
392:Ofra Magidor
371:
357:
315:
314:
291:Succeeded by
268:
249:Succeeded by
226:
207:Succeeded by
184:
123:Institutions
106:
64:(now Israel)
925:1946 births
743:(1): 1–47.
456:ultrapowers
412:generalized
376:Azriel Lévy
360:Petah Tikva
279:Preceded by
237:Preceded by
195:Preceded by
137:Azriel Lévy
70:Nationality
58:Petah Tikva
919:Categories
901:2016-2019
869:2020-02-18
835:References
420:cofinality
332:set theory
155:Anna Sfard
150:Moti Gitik
96:Set theory
47:1946-01-24
582:ω
578:ℵ
551:ω
547:ℵ
518:ω
514:ℵ
503:ω
499:ℵ
471:ω
467:ℵ
354:Biography
273:2016–2019
269:In office
231:1997–2009
227:In office
189:1996–1998
185:In office
849:at the
795:2007004
757:1971415
719:1971065
452:Keisler
408:forcing
73:Israeli
793:
755:
717:
604:, and
320:Hebrew
113:Fields
791:JSTOR
777:. 2.
753:JSTOR
739:. 2.
715:JSTOR
701:. 2.
422:of a
410:. He
364:Ph.D.
414:the
41:Born
821:doi
783:doi
779:127
745:doi
741:127
707:doi
703:106
682:doi
921::
817:76
815:.
809:.
789:.
751:.
713:.
678:28
676:.
670:.
648:.
350:.
98:,
94:,
60:,
49:)
872:.
829:.
823::
797:.
785::
759:.
747::
721:.
709::
690:.
684::
636:L
622:0
524:2
521:+
510:=
494:2
318:(
45:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.