33:
214:
213:
and was admitted to the Ph.D. at
Cambridge University in 1970. From 1969 to 1990, Mathias was a fellow of Peterhouse; during this period, he was the editor of the
595:
238:
565:
560:
590:
226:
479:
250:
600:
416:
580:
354:
293:
159:
349:
he shows that the number in the title is the number of symbols required for
Bourbaki's definition of the number
242:
135:
545:
254:
32:
105:
320:
175:
74:
369:. Mathias also conducted a detailed study of the strength of a weakened system suggested by Mac Lane.
262:
199:
101:
585:
575:
292:, extending his 1968 Cambridge thesis, proves important properties of the forcing now known as
222:
274:
155:
570:
333:
Mathias is also known for his writings around sociological aspects of logic. These include
297:
234:
230:
8:
406:
195:
541:
179:
121:
475:
412:
362:
258:
257:. He retired from his professorship in 2012 and was admitted to the higher degree of
203:
171:
342:
330:, a minimalist axiom system that still allows the forcing construction to proceed.
131:
112:
308:
178:, where he read mathematics and graduated in 1965. After graduation, he moved to
281:, and Kanamori credits his survey of forcing that was eventually published as
554:
187:
117:
301:
326:
His more recent work on forcing includes the study of the theory PROVI of
316:
91:
278:
210:
151:
495:
Mathias, Adrian (2015). "Provident sets and rudimentary set forcing".
233:. After leaving Peterhouse in 1990, Mathias had visiting positions in
536:
246:
273:
Mathias became mathematically active soon after the introduction of
357:
is stronger than necessary for "mainstream" mathematics; his paper
183:
514:
Mathias, Adrian (2001). "The
Strength of Mac Lane Set Theory".
215:
Mathematical
Proceedings of the Cambridge Philosophical Society
150:(born 12 February 1944) is a British mathematician working in
64:
307:
Mathias also used forcing to separate two weak forms of the
191:
209:
In 1969, he returned to
Cambridge as a research fellow at
285:
as being a "vital source" on forcing in its early days.
217:
from 1972 to 1974, spent one academic year (1978/79) as
432:
Mathias, Adrian. "Surrealist landscape with figures".
350:
386:
Kanamori, Akihiro (2016). "Mathias and Set Theory".
353:. Mathias has also considered claims that standard
552:
296:. In the same paper he shows that no (infinite)
239:Mathematisches Forschungsinstitut Oberwolfach
339:Hilbert, Bourbaki and the scorning of logic
451:Mathias, Adrian (1977). "Happy Families".
31:
474:. Mineola, New York: Dover. p. 117.
404:
385:
513:
494:
450:
553:
596:Alumni of Trinity College, Cambridge
469:
566:21st-century English mathematicians
561:20th-century English mathematicians
431:
315:, which states that any set can be
253:, before becoming Professor at the
13:
347:A Term of Length 4,523,659,424,929
225:and another year (1989/90) at the
14:
612:
530:
411:. Berlin: Springer. p. 117.
361:on this topic appeared alongside
283:Surrealist landscape with figures
591:Fellows of Peterhouse, Cambridge
516:Annals of Pure and Applied Logic
37:Mathias in London, February 2020
507:
488:
463:
444:
425:
398:
379:
341:, in which Mathias criticises
298:maximal almost disjoint family
1:
546:Mathematics Genealogy Project
372:
542:Adrian Richard David Mathias
453:Annals of Mathematical Logic
388:Mathematical Logic Quarterly
148:Adrian Richard David Mathias
7:
321:Boolean Prime Ideal Theorem
10:
617:
405:Kanamori, Akihiro (2003).
176:Trinity College, Cambridge
75:Trinity College, Cambridge
367:Is Mathias an ontologist?
359:What is Mac Lane missing?
335:The ignorance of Bourbaki
165:
141:
127:
111:
97:
87:
80:
70:
60:
42:
30:
23:
601:Cambridge mathematicians
255:Université de la Réunion
170:Mathias was educated at
106:Université de la Réunion
497:Fundamenta Mathematicae
268:
263:University of Cambridge
200:University of Wisconsin
102:University of Cambridge
581:Mathematical logicians
345:approach to logic; in
186:where he studied with
470:Jech, Thomas (2008).
319:, does not imply the
16:British mathematician
206:during that period.
472:The Axiom of Choice
434:Periodica Hungarica
408:The Higher Infinite
311:, showing that the
313:ordering principle
219:Hochschulassistent
162:is named for him.
122:John Horton Conway
481:978-0-486-46624-8
363:Saunders Mac Lane
259:Doctor of Science
204:Monash University
145:
144:
128:Doctoral students
82:Scientific career
608:
524:
523:
511:
505:
504:
492:
486:
485:
467:
461:
460:
448:
442:
441:
429:
423:
422:
402:
396:
395:
383:
317:linearly ordered
132:Akihiro Kanamori
113:Doctoral advisor
56:
53:12 February 1944
52:
50:
35:
21:
20:
616:
615:
611:
610:
609:
607:
606:
605:
551:
550:
533:
528:
527:
512:
508:
493:
489:
482:
468:
464:
449:
445:
430:
426:
419:
403:
399:
384:
380:
375:
309:Axiom of choice
294:Mathias forcing
271:
168:
160:Mathias forcing
120:
104:
71:Alma mater
54:
48:
46:
38:
26:
17:
12:
11:
5:
614:
604:
603:
598:
593:
588:
583:
578:
573:
568:
563:
549:
548:
539:
532:
531:External links
529:
526:
525:
506:
487:
480:
462:
443:
424:
417:
397:
377:
376:
374:
371:
328:provident sets
290:Happy families
270:
267:
167:
164:
143:
142:
139:
138:
136:Thomas Forster
129:
125:
124:
115:
109:
108:
99:
95:
94:
89:
85:
84:
78:
77:
72:
68:
67:
62:
58:
57:
44:
40:
39:
36:
28:
27:
25:Adrian Mathias
24:
15:
9:
6:
4:
3:
2:
613:
602:
599:
597:
594:
592:
589:
587:
586:Set theorists
584:
582:
579:
577:
576:Living people
574:
572:
569:
567:
564:
562:
559:
558:
556:
547:
543:
540:
538:
535:
534:
521:
517:
510:
502:
498:
491:
483:
477:
473:
466:
458:
454:
447:
439:
435:
428:
420:
418:3-540-00384-3
414:
410:
409:
401:
393:
389:
382:
378:
370:
368:
364:
360:
356:
352:
348:
344:
340:
336:
331:
329:
324:
322:
318:
314:
310:
305:
303:
299:
295:
291:
286:
284:
280:
276:
266:
264:
260:
256:
252:
248:
244:
240:
236:
232:
228:
224:
221:to Jensen in
220:
216:
212:
207:
205:
201:
197:
193:
189:
188:Ronald Jensen
185:
181:
177:
173:
163:
161:
157:
153:
149:
140:
137:
133:
130:
126:
123:
119:
118:Ronald Jensen
116:
114:
110:
107:
103:
100:
96:
93:
90:
86:
83:
79:
76:
73:
69:
66:
63:
59:
55:(age 80)
45:
41:
34:
29:
22:
19:
519:
515:
509:
500:
496:
490:
471:
465:
456:
452:
446:
437:
433:
427:
407:
400:
391:
387:
381:
366:
365:'s response
358:
346:
338:
334:
332:
327:
325:
312:
306:
289:
287:
282:
272:
218:
208:
169:
147:
146:
98:Institutions
81:
18:
571:1944 births
190:, visiting
92:Mathematics
61:Nationality
555:Categories
522:: 107–234.
440:: 109–175.
394:: 278–294.
373:References
343:Bourbaki's
288:His paper
279:Paul Cohen
211:Peterhouse
172:Shrewsbury
152:set theory
49:1944-02-12
537:Home page
503:: 99–148.
459:: 59–111.
265:in 2015.
249:, and in
247:Barcelona
241:, at the
237:, at the
302:analytic
231:Berkeley
223:Freiburg
196:Stanford
544:at the
300:can be
275:forcing
261:at the
184:Germany
158:notion
156:forcing
65:British
478:
415:
251:Bogotá
235:Warsaw
202:, and
198:, the
166:Career
154:. The
88:Fields
476:ISBN
413:ISBN
392:62:3
337:and
269:Work
227:MSRI
192:UCLA
180:Bonn
174:and
43:Born
520:110
501:230
355:ZFC
277:by
245:in
243:CRM
229:in
182:in
557::
518:.
499:.
457:12
455:.
438:10
436:.
390:.
323:.
304:.
194:,
134:,
51:)
484:.
421:.
351:1
47:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.