31:
371:
325:
353:
474:
as editor with
Alexander Pestel: Set theory and model theory: proceedings of an informal symposium held at Bonn, June 1–3, 1979. Berlin; New York: Springer-Verlag, 1981.
557:
Moreover, the Gödel
Lecture, a new feature of the ASL Annual Meetings, was inaugurated this year. The first Gödel lecture was given by Ronald Jensen, who spoke on
661:
656:
666:
403:
The fine structure of the constructible hierarchy, Annals of
Mathematical Logic, vol 4, Issue 3, August 1972, pp. 229–308
207:
676:
691:
195:
488:
620:
215:
681:
626:
469:
Modelle der
Mengenlehre. Widerspruchsfreiheit und Unabhängigkeit der Kontinuumshypothese und des Auswahlaxioms.
226:
515:
290:
111:
423:
with
Anthony J. Dodd: The covering lemma for K, Annals of Mathematical Logic, vol 22, 1982, pp. 1–30.
338:
671:
434:
310:
297:
413:
with
Anthony J. Dodd: The core model, Annals of Mathematical Logic, vol 20, 1981, pp. 43–75.
389:
Ronald Jensen, 1969, « On the
Consistency of a Slight(?) Modification of Quine's NF »,
264:
686:
651:
582:
364:
279:
191:
616:
630:
646:
360:
286:
253:
211:
80:
8:
332:
187:
175:
548:
540:
203:
199:
183:
155:
84:
70:
532:
484:
428:
418:
408:
597:
592:
573:
524:
452:
438:
424:
414:
404:
394:
272:
118:
230:
135:
552:
478:
260:
256:
238:
131:
293:
for his 1972 paper titled "The fine structure of the constructible hierarchy";
640:
536:
328:
234:
151:
101:
267:
is weakened to allow several sets with no elements, and the proof of NFU's
451:, The Journal of Symbolic Logic, vol 78, Issue 3, 2013, pp. 708–734.
305:
268:
198:, 1971–73. The balance of his academic career was spent in Europe at the
179:
456:
544:
510:
398:
349:
159:
511:"Annual Meeting of the Association for Symbolic Logic: Berkeley, 1990"
171:
528:
442:
233:
in 1990. In 2015, the
European Set Theory Society awarded him and
471:(Lecture Notes in Mathematics; vol. 37). Springer, Berlin 1967.
219:
287:
Leroy P. Steele Prize for
Seminal Contribution to Research
30:
154:
who lives in
Germany, primarily known for his work in
313:
571:
218:, from which he retired in 2001. He now resides in
319:
285:. This work led to his being awarded in 2003 the
638:
483:Cambridge University Press, Cambridge 1982,
241:for their paper "K without the measurable".
249:Jensen's better-known results include the:
596:
578:by A. Beller, R. B. Jensen and P. Welch"
378:
508:
639:
393:: 250–263. With discussion by Quine.
662:21st-century American mathematicians
657:20th-century American mathematicians
477:with Aaron Beller and Philip Welch:
150:(born April 1, 1936) is an American
298:infinitary combinatorial principles
13:
433:Inner models and large cardinals.
314:
296:Definitions and proofs of various
196:University of California, Berkeley
16:American mathematician (born 1936)
14:
703:
609:
559:Inner Models and Large Cardinals.
437:vol 1, Issue 4 (1995): 393-407.
29:
667:American expatriates in Germany
598:10.1090/s0273-0979-1983-15117-0
35:Jensen giving a lecture in 2007
621:Humboldt-Universität zu Berlin
565:
509:Kechris, Alexander S. (1991).
502:
227:Association for Symbolic Logic
216:Humboldt-Universität zu Berlin
1:
572:Mitchell, William J. (1983).
516:The Journal of Symbolic Logic
495:
372:coding the universe by a real
320:{\displaystyle \diamondsuit }
291:American Mathematical Society
278:Fine structure theory of the
112:Humboldt University of Berlin
429:10.1016/0003-4843(82)90013-4
419:10.1016/0003-4843(81)90011-5
409:10.1016/0003-4843(72)90001-0
352:and the construction of the
186:in 1964. His supervisor was
7:
383:
10:
708:
677:American University alumni
629:of past presidents of the
435:Bulletin of Symbolic Logic
244:
225:Jensen was honored by the
692:University of Bonn alumni
339:Jensen's covering theorem
170:Jensen completed a BA in
165:
141:
127:
117:
107:
97:
90:
76:
66:
58:
40:
28:
21:
462:
449:K without the measurable
178:in 1959, and a Ph.D. in
682:Hausdorff Medal winners
583:Bull. Amer. Math. Soc.
354:Dodd–Jensen core model
321:
280:constructible universe
208:University of Freiburg
192:Rockefeller University
379:Selected publications
322:
480:Coding the Universe.
447:with John R. Steel:
361:continuum hypothesis
311:
254:Axiomatic set theory
212:University of Oxford
576:Coding the universe
457:10.2178/jsl.7803020
365:Suslin's hypothesis
359:Consistency of the
194:, 1969–71, and the
190:. Jensen taught at
188:Gisbert Hasenjaeger
176:American University
148:Ronald Björn Jensen
123:Gisbert Hasenjaeger
672:American logicians
631:Kurt Gödel Society
399:10.1007/BF00568059
348:General theory of
317:
204:University of Oslo
200:University of Bonn
184:University of Bonn
156:mathematical logic
85:mathematical logic
71:University of Bonn
627:Brief biographies
145:
144:
128:Doctoral students
92:Scientific career
699:
603:
602:
600:
569:
563:
562:
506:
326:
324:
323:
318:
273:Peano arithmetic
119:Doctoral advisor
54:
50:
48:
33:
19:
18:
707:
706:
702:
701:
700:
698:
697:
696:
637:
636:
612:
607:
606:
570:
566:
529:10.2307/2274945
507:
503:
498:
465:
386:
381:
312:
309:
308:
261:New Foundations
259:, a variant of
247:
239:Hausdorff Medal
168:
134:
67:Alma mater
52:
46:
44:
36:
24:
17:
12:
11:
5:
705:
695:
694:
689:
684:
679:
674:
669:
664:
659:
654:
649:
635:
634:
624:
611:
610:External links
608:
605:
604:
591:(2): 350–353.
564:
523:(1): 361–371.
500:
499:
497:
494:
493:
492:
475:
472:
464:
461:
460:
459:
445:
443:10.2307/421129
431:
421:
411:
401:
385:
382:
380:
377:
376:
375:
368:
357:
346:
336:
316:
294:
276:
265:extensionality
246:
243:
231:Gödel Lecturer
167:
164:
143:
142:
139:
138:
132:Adrian Mathias
129:
125:
124:
121:
115:
114:
109:
105:
104:
99:
95:
94:
88:
87:
78:
77:Known for
74:
73:
68:
64:
63:
60:
56:
55:
42:
38:
37:
34:
26:
25:
22:
15:
9:
6:
4:
3:
2:
704:
693:
690:
688:
687:Set theorists
685:
683:
680:
678:
675:
673:
670:
668:
665:
663:
660:
658:
655:
653:
652:Living people
650:
648:
645:
644:
642:
632:
628:
625:
622:
618:
614:
613:
599:
594:
590:
586:
584:
579:
577:
568:
561:
560:
554:
550:
546:
542:
538:
534:
530:
526:
522:
518:
517:
512:
505:
501:
490:
489:0-521-28040-0
486:
482:
481:
476:
473:
470:
467:
466:
458:
454:
450:
446:
444:
440:
436:
432:
430:
426:
422:
420:
416:
412:
410:
406:
402:
400:
396:
392:
388:
387:
373:
370:Technique of
369:
366:
362:
358:
355:
351:
347:
344:
340:
337:
334:
330:
307:
303:
299:
295:
292:
288:
284:
281:
277:
274:
270:
266:
262:
258:
255:
252:
251:
250:
242:
240:
236:
235:John R. Steel
232:
229:as the first
228:
223:
221:
217:
213:
209:
205:
201:
197:
193:
189:
185:
181:
177:
173:
163:
161:
157:
153:
152:mathematician
149:
140:
137:
136:Benedikt Löwe
133:
130:
126:
122:
120:
116:
113:
110:
106:
103:
102:Mathematician
100:
96:
93:
89:
86:
82:
79:
75:
72:
69:
65:
61:
57:
53:(age 88)
51:April 1, 1936
43:
39:
32:
27:
23:Ronald Jensen
20:
588:
581:
575:
567:
558:
556:
520:
514:
504:
479:
468:
448:
390:
342:
304:, including
301:
282:
271:relative to
248:
224:
169:
147:
146:
108:Institutions
91:
647:1936 births
391:Synthese 19
350:core models
269:consistency
263:(NF) where
180:mathematics
59:Nationality
641:Categories
496:References
214:, and the
160:set theory
81:Set theory
47:1936-04-01
615:Jensen's
574:"Review:
537:0022-4812
315:♢
172:economics
384:Articles
62:American
619:at the
545:2274945
306:diamond
289:of the
245:Results
182:at the
585:(N.S.)
551:
543:
535:
487:
333:morass
331:, and
329:square
220:Berlin
210:, the
206:, the
202:, the
166:Career
98:Fields
553:98210
549:S2CID
541:JSTOR
463:Books
363:plus
617:page
533:ISSN
485:ISBN
341:for
237:the
158:and
41:Born
593:doi
525:doi
453:doi
439:doi
425:doi
415:doi
405:doi
395:doi
300:in
257:NFU
174:at
643::
587:.
580:.
555:.
547:.
539:.
531:.
521:56
519:.
513:.
327:,
222:.
162:.
83:,
49:)
633:.
623:.
601:.
595::
589:8
527::
491:.
455::
441::
427::
417::
407::
397::
374:.
367:.
356:;
345:;
343:L
335:;
302:L
283:L
275:;
45:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.