Knowledge

Thomas Forster (mathematician)

Source 📝

771: 535: 808: 173: 188:
in Pittsburgh, the Centre National de Recherches de Logique in Belgium, and the Centre for Discrete Mathematics and Theoretical Computer Science at the
852: 801: 827: 185: 794: 201: 317: 181: 832: 237: 233: 154: 130: 76: 55: 847: 837: 423: 189: 142: 842: 428: 138: 110: 734: 701: 596: 580: 558: 508: 449: 205: 441: 720: 693: 666: 637: 629: 610: 588: 572: 544: 500: 433: 342: 334: 229: 101: 714: 662: 623: 724: 711: 670: 659: 641: 633: 620: 162: 134: 89: 184:, and holds honorary appointments for many other organisations worldwide, including the 778: 213: 166: 106: 821: 217: 467: 453: 385: 361:"Dr Thomas Forster | Department of Pure Mathematics and Mathematical Statistics" 197: 614: 411: 697: 548: 437: 193: 177: 126: 445: 297: 236:
in 1974. His article "The Iterative Conception of Set" was recognised by the
313: 209: 360: 770: 738: 562: 705: 600: 584: 512: 346: 338: 83: 592: 576: 504: 755: 72: 259:
Set Theory with a Universal Set: Exploring an Untyped Universe
782: 777:
This article about a United Kingdom mathematician is a
240:
as one of the ten best philosophy articles of 2008.
100: 82: 68: 51: 33: 23: 802: 8: 192:. Amongst his undergraduate supervisees are 809: 795: 20: 427: 129:and philosopher. His work has focused on 253:Quine's New Foundations: An Introduction 283: 386:"Dr Thomas Forster | Queens' College" 172:Forster is an Affiliated Lecturer at 7: 767: 765: 656:Reasoning about Theoretical Entities 291: 289: 287: 265:Reasoning about Theoretical Entities 145:, and various topics in philosophy. 16:British set theorist and philosopher 607:Notre Dame Journal of Formal Logic 333:(Thesis). University of Cambridge. 273:(Cambridge University Press, 2003) 125:(born 12 April 1948) is a British 14: 412:"The Iterative Conception of Set" 769: 261:(Clarendon, 1992; 2nd ed., 1996) 186:Center for Philosophy of Science 541:History and Philosophy of Logic 525:Set Theory with a Universal Set 157:in 1977, with the dissertation 153:Forster completed a PhD at the 1: 569:The Journal of Symbolic Logic 497:The Journal of Symbolic Logic 410:FORSTER, THOMAS (June 2008). 318:Mathematics Genealogy Project 781:. You can help Knowledge by 416:The Review of Symbolic Logic 853:British mathematician stubs 869: 764: 468:"The Philosopher's Annual" 698:10.1017/S0025557200177502 683:Logic, Induction and Sets 549:10.1080/01445349308837213 438:10.1017/s1755020308080064 271:Logic, Induction and Sets 248:Forster's books include: 116: 61: 828:Cambridge mathematicians 690:The Mathematical Gazette 615:10.1305/ndjfl/1093634660 267:(World Scientific, 2003) 228:Forster was awarded the 165:, jointly supervised by 493:Quine's New Foundations 329:Forster, T. E. (1977). 155:University of Cambridge 719:K.Chandrasekhara Rao, 190:University of Auckland 658:: Elliott Mendelson, 123:Thomas Edward Forster 758:at DPMMS, Cambridge. 539:N. B. Cocchiarella, 390:www.queens.cam.ac.uk 238:Philosophers' Annual 232:as a PhD student at 365:www.dpmms.cam.ac.uk 169:and Maurice Boffa. 143:better-quasi-orders 339:10.17863/CAM.16205 206:Rebecca Kitteridge 833:British logicians 790: 789: 756:Forster's website 619:Stewart Shapiro, 296:Forster, Thomas. 230:J.T. Knight Prize 139:well-quasi-orders 120: 119: 63:Scientific career 860: 811: 804: 797: 773: 766: 743: 679: 673: 652: 646: 628:N. H. Williams, 567:Randall Holmes, 521: 515: 489: 483: 482: 480: 478: 464: 458: 457: 431: 407: 401: 400: 398: 396: 382: 376: 375: 373: 371: 357: 351: 350: 326: 320: 311: 305: 304: 302: 293: 137:, the theory of 102:Doctoral advisor 96: 47: 43: 41: 21: 868: 867: 863: 862: 861: 859: 858: 857: 818: 817: 816: 815: 762: 752: 747: 746: 680: 676: 653: 649: 593:10.2307/2275828 577:10.2307/2275241 530:Maurice Boffa, 522: 518: 505:10.2307/2274242 490: 486: 476: 474: 466: 465: 461: 429:10.1.1.157.5010 409: 408: 404: 394: 392: 384: 383: 379: 369: 367: 359: 358: 354: 328: 327: 323: 312: 308: 300: 295: 294: 285: 280: 246: 226: 182:Queens' College 176:, Cambridge, a 163:New Foundations 151: 135:New Foundations 94: 52:Alma mater 45: 39: 37: 29: 26: 17: 12: 11: 5: 866: 864: 856: 855: 850: 845: 840: 835: 830: 820: 819: 814: 813: 806: 799: 791: 788: 787: 774: 760: 759: 751: 750:External links 748: 745: 744: 742: 741: 729:Jan Woleński, 727: 717: 708: 674: 647: 645: 644: 626: 617: 605:Richard Kaye, 603: 565: 551: 537: 516: 495:: Urs Oswald, 484: 459: 402: 377: 352: 321: 314:Thomas Forster 306: 282: 281: 279: 276: 275: 274: 268: 262: 256: 245: 242: 225: 222: 214:Sarah Flannery 202:Richard Taylor 167:Adrian Mathias 150: 147: 118: 117: 114: 113: 107:Adrian Mathias 104: 98: 97: 86: 80: 79: 70: 66: 65: 59: 58: 53: 49: 48: 35: 31: 30: 28:Thomas Forster 27: 24: 15: 13: 10: 9: 6: 4: 3: 2: 865: 854: 851: 849: 848:Living people 846: 844: 841: 839: 838:Set theorists 836: 834: 831: 829: 826: 825: 823: 812: 807: 805: 800: 798: 793: 792: 786: 784: 780: 775: 772: 768: 763: 757: 754: 753: 749: 740: 736: 732: 731:Studia Logica 728: 726: 722: 718: 716: 713: 709: 707: 703: 699: 695: 691: 687: 686: 684: 678: 675: 672: 668: 664: 661: 657: 651: 648: 643: 639: 635: 631: 627: 625: 622: 618: 616: 612: 608: 604: 602: 598: 594: 590: 586: 582: 578: 574: 570: 566: 564: 560: 556: 555:Studia Logica 553:J. W. Degen, 552: 550: 546: 542: 538: 536: 533: 529: 528: 526: 520: 517: 514: 510: 506: 502: 498: 494: 488: 485: 473: 472:www.pgrim.org 469: 463: 460: 455: 451: 447: 443: 439: 435: 430: 425: 422:(1): 97–110. 421: 417: 413: 406: 403: 391: 387: 381: 378: 366: 362: 356: 353: 348: 344: 340: 336: 332: 325: 322: 319: 315: 310: 307: 299: 292: 290: 288: 284: 277: 272: 269: 266: 263: 260: 257: 255:(Cabay, 1983) 254: 251: 250: 249: 243: 241: 239: 235: 231: 223: 221: 219: 218:Ursula Martin 215: 211: 207: 203: 199: 195: 191: 187: 183: 179: 175: 170: 168: 164: 160: 156: 148: 146: 144: 140: 136: 132: 128: 124: 115: 112: 111:Maurice Boffa 108: 105: 103: 99: 92: 91: 87: 85: 81: 78: 74: 71: 67: 64: 60: 57: 54: 50: 46:(age 76) 44:12 April 1948 36: 32: 22: 19: 783:expanding it 776: 761: 730: 710:Yehuda Rav, 689: 682: 677: 655: 650: 606: 568: 554: 540: 532:Modern Logic 531: 524: 519: 496: 492: 487: 475:. Retrieved 471: 462: 419: 415: 405: 393:. Retrieved 389: 380: 368:. Retrieved 364: 355: 330: 324: 309: 270: 264: 258: 252: 247: 227: 171: 158: 152: 127:set theorist 122: 121: 88: 69:Institutions 62: 18: 843:1948 births 688:Nick Lord, 681:Reviews of 636:; 2nd ed., 587:; 2nd ed., 523:Reviews of 477:29 November 395:29 November 370:29 November 347:1810/223940 224:Recognition 198:Rosi Sexton 822:Categories 725:1026.03002 671:1047.03001 654:Review of 642:0831.03027 634:0755.03029 491:Review of 278:References 194:Phebe Mann 178:bye-fellow 40:1948-04-12 446:1755-0203 424:CiteSeerX 234:Cambridge 210:Doug Gurr 77:Cambridge 56:Cambridge 739:20016735 563:20015755 454:15231169 715:1996832 706:3620710 663:2017250 624:1166801 601:2275828 585:2275241 513:2274242 316:at the 737:  723:  704:  669:  640:  632:  599:  583:  561:  511:  452:  444:  426:  149:Career 95:(1977) 93:  84:Thesis 735:JSTOR 702:JSTOR 597:JSTOR 581:JSTOR 559:JSTOR 509:JSTOR 450:S2CID 301:(PDF) 244:Books 174:DPMMS 131:Quine 73:DPMMS 779:stub 479:2020 442:ISSN 397:2020 372:2020 298:"CV" 216:and 141:and 34:Born 721:Zbl 694:doi 667:Zbl 638:Zbl 630:Zbl 611:doi 589:doi 573:doi 545:doi 501:doi 434:doi 343:hdl 335:doi 180:at 161:on 133:'s 824:: 733:, 712:MR 700:, 692:, 685:: 665:, 660:MR 621:MR 609:, 595:, 579:, 571:, 557:, 543:, 534:, 527:: 507:, 499:, 470:. 448:. 440:. 432:. 418:. 414:. 388:. 363:. 341:. 331:NF 286:^ 220:. 212:, 208:, 204:, 200:, 196:, 159:NF 109:, 90:NF 75:, 42:) 25:Dr 810:e 803:t 796:v 785:. 696:: 613:: 591:: 575:: 547:: 503:: 481:. 456:. 436:: 420:1 399:. 374:. 349:. 345:: 337:: 303:. 38:(

Index

Cambridge
DPMMS
Cambridge
Thesis
NF
Doctoral advisor
Adrian Mathias
Maurice Boffa
set theorist
Quine
New Foundations
well-quasi-orders
better-quasi-orders
University of Cambridge
New Foundations
Adrian Mathias
DPMMS
bye-fellow
Queens' College
Center for Philosophy of Science
University of Auckland
Phebe Mann
Rosi Sexton
Richard Taylor
Rebecca Kitteridge
Doug Gurr
Sarah Flannery
Ursula Martin
J.T. Knight Prize
Cambridge

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.