1368:
1362:
612:
156:, in 1968 and earned his PhD at the University of Leeds in 1973 for a dissertation titled "Some Results about Cardinal Numbers without the Axiom of Choice" which was supervised by Frank Drake. In 1969, he married Priscilla Mary Grasby, a nurse, who he had met while they were students at Cambridge. Together, they have a daughter,
248:
as "masterful and thorough" and getting "rapidly to the heart of some very exciting topics" but felt that it was more of a mathematician's book than a book for computer scientists as claimed by the author. Nonethless, Bayliss felt that the approach taken by Truss in organising and presenting his
276:
who noted that they concentrated on logic as practiced in mathematics departments with little content of a philosophical or computer science nature, but, possibly as a result, were more coherent than usual for collections of conference papers. By then, Truss and
854:
1428:
129:
before holding a series of academic positions and lastly joining the
University of Leeds. He has written books on discrete mathematics (1991) and mathematical analysis (1997) and was co-editor in chief of the
452:
1281:
1298:
1631:
780:
1422:
1626:
1347:
1303:
1293:
1646:
1621:
1288:
1616:
207:
in
British Columbia, Canada, and later at the University of Leeds where in 1988 with Frank Drake he edited the collected papers of Logic Colloquium '86, held at the
1248:
176:
528:
1313:
1606:
1325:
1308:
1611:
1601:
192:
1636:
1396:
283:
132:
1367:
1320:
770:
1241:
867:
433:
406:
372:
342:
319:
1235:
137:
658:
1215:
1128:
980:. London Mathematical Society Lecture Notes Series No. 152. Cambridge: Cambridge University Press. pp. v, 3, 86, 104. ISBN 0-521-38836-8
1183:
261:
1390:
1189:
John Truss lecturing on homogeneous lattices at the Banff
International Research Station for Mathematical Innovation and Discovery.
387:
Sets and Proofs: Invited Papers from Logic
Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
824:
547:
364:
165:
803:
1406:
1400:
1188:
1412:
1276:
1085:
265:
215:
200:
84:
153:
42:
733:
226:(by disproving them)", and "notably" for his contribution to the question of what are the possible cycle structures of
913:
292:
1518:
390:
239:
249:
material was highly successful in condensing different strands of mathematics so that the author had shown that "
268:
in Leeds in July 1997 on sets and proofs and models and computability. The volumes were welcomed by philosopher
1259:
995:
273:
244:
180:
825:"How Liz Truss, Britain's next prime minister, went from anti-monarchist rebel to the next Margaret Thatcher"
1361:
1208:
849:
204:
1174:
1596:
1537:
976:
1468:
1341:
172:
222:
in the London
Mathematical Society Lecture Notes Series No. 152, for saving him from "making some rash
288:
1641:
1478:
828:
461:
250:
126:
1510:
1502:
278:
110:
46:
1201:
1110:
1065:
1020:
957:
632:
503:
485:
208:
114:
102:
1083:
Cantini, Andrea (2002). "Review of First Steps into
Metapredicativity in Explicit Mathematics".
1046:(2001). "Review of Sets and Proofs; Models and Computability, S. Barry Cooper, John K. Truss".
895:
771:"Just where is Liz Truss from? Her incredible journey spans three countries and two continents"
666:
1473:
1384:
1330:
1102:
1057:
1012:
949:
863:
744:
599:
564:
477:
429:
402:
368:
338:
315:
161:
118:
1132:
1094:
1004:
711:
624:
589:
556:
533:
512:
469:
421:
394:
106:
74:
1416:
420:. London Mathematical Society Lecture Note Series. Cambridge: Cambridge University Press.
382:
334:
257:
1445:
1146:
465:
1268:
687:
361:
Logic
Colloquium '86: Proceedings of the Colloquium Held in Hull, U.K. July 13-19, 1986
594:
577:
1590:
1566:
1048:
1043:
918:
859:
560:
517:
498:
489:
269:
227:
196:
855:
Out of the Blue: The Inside Story of the
Unexpected Rise and Rapid Fall of Liz Truss
636:
1178:
808:
160:, and three sons. Liz Truss has described her parents' politics as "to the left of
122:
699:
1573:
1545:
993:
Baylis, John (1992). "Review of
Discrete Mathematics for Computer Scientists".
537:
260:, also of the University of Leeds, jointly edited two volumes of papers in the
473:
223:
1106:
1061:
1016:
953:
748:
659:"Professor J K Truss | School of Mathematics | University of Leeds"
603:
568:
526:
Truss, J. K. (July 1992). "Generic
Automorphisms of Homogeneous Structures".
481:
450:
Truss, J. K. (September 1985). "The group of the countable universal graph".
425:
398:
1224:
775:
739:
157:
141:
57:
628:
1069:
961:
1024:
191:
Truss's first academic position was as a junior research fellow at the
1114:
1385:
Secretary of State for Foreign, Commonwealth and Development Affairs
1008:
804:"How Liz Truss became leader of the Conservative party β a timeline"
253:
has come of age and is no longer a collection of disparate topics."
1098:
1429:
Parliamentary Under-Secretary of State for Childcare and Education
171:
Truss refused to campaign with his daughter on her selection for
1197:
453:
Mathematical Proceedings of the Cambridge Philosophical Society
914:"New U.K. prime minister Liz Truss attended school in Burnaby"
734:"Liz Truss: from teenage Lib Dem to darling of the Tory right"
545:
Truss, J. K. (June 1995). "The structure of amorphous sets".
1193:
125:. Truss began his career as a junior research fellow at the
940:
Skowron, Andrzej (1989). "Review of Logic Colloquium '86".
714:
Mathematics Genealogy Project. Retrieved 12 September 2022.
195:
of the University of Oxford. He then taught at a school in
1423:
Secretary of State for Environment, Food and Rural Affairs
499:"Infinite permutation groups II. Subgroups of small index"
882:"Models of set theory containing many perfect sets",
152:
John Truss was born in April 1947. He graduated from
1632:
Academics of the University of the West of Scotland
1529:
1494:
1487:
1461:
1438:
1375:
1267:
1258:
690:, Library of Congress. Retrieved 15 September 2022.
80:
70:
52:
38:
30:
23:
1289:United Kingdom and the Russian invasion of Ukraine
732:
731:Norfolk, Andrew; Wace, Charlotte; Grylls, George.
164:". Truss and his wife were both supporters of the
1627:Parents of prime ministers of the United Kingdom
902:, 6 September 2022. Retrieved 12 September 2022.
359:Drake, Frank Robert; Truss, J. K., eds. (1988).
262:London Mathematical Society Lecture Notes Series
136:until June 2003. He is the father of the former
416:Cooper, S. Barry; Truss, John K., eds. (1999).
1038:
1036:
1034:
988:
986:
529:Proceedings of the London Mathematical Society
1209:
769:Josh Glancy; Hugo Daniel (3 September 2022).
8:
1147:"Journal of the London Mathematical Society"
1129:"Journal of the London Mathematical Society"
312:Discrete Mathematics for Computer Scientists
236:Discrete Mathematics for Computer Scientists
1282:2022 Conservative Party leadership election
611:Creed, P.; Truss, J. K. (1 November 2001).
576:Creed, P.; Truss, J. K. (3 February 2000).
1647:Campaign for Nuclear Disarmament activists
1491:
1397:Secretary of State for International Trade
1264:
1216:
1202:
1194:
284:Journal of the London Mathematical Society
133:Journal of the London Mathematical Society
20:
1622:Academic staff of Simon Fraser University
593:
516:
264:arising from the European meeting of the
203:from 1979 to 1985. In 1987, he worked at
101:(born April 1947) is a mathematician and
726:
724:
722:
720:
287:. They were succeeded on 6 June 2003 by
650:
218:paid tribute to Truss in his notes on
199:, Worcestershire, before lecturing at
783:from the original on 4 September 2022
700:Virtual International Authority File.
7:
1607:Academics of the University of Leeds
1236:Prime Minister of the United Kingdom
331:Foundations of Mathematical Analysis
138:Prime Minister of the United Kingdom
1617:Alumni of King's College, Cambridge
1612:21st-century English mathematicians
1602:20th-century English mathematicians
896:Where in Oxford is Liz Truss from?
14:
1637:Alumni of the University of Leeds
1391:Minister for Women and Equalities
912:Chan, Cheryl (6 September 2022).
1366:
1360:
1242:Leader of the Conservative Party
823:Hawke, Jack (5 September 2022).
582:Annals of Pure and Applied Logic
548:Annals of Pure and Applied Logic
365:North-Holland Publishing Company
166:Campaign for Nuclear Disarmament
1407:Chief Secretary to the Treasury
1401:President of the Board of Trade
977:Oligomorphic Permutation Groups
802:Quinn, Ben (5 September 2022).
220:Oligomorphic Permutation Groups
1413:Secretary of State for Justice
1326:October 2022 government crisis
1086:The Bulletin of Symbolic Logic
617:Archive for Mathematical Logic
497:Truss, J. K. (February 1989).
266:Association for Symbolic Logic
1:
595:10.1016/S0168-0072(99)00017-2
385:; Truss, J. K., eds. (1999).
201:Paisley College of Technology
121:, homogeneous structures and
85:Paisley College of Technology
34:April 1947 (age 77)
702:Retrieved 15 September 2022.
561:10.1016/0168-0072(94)00024-W
518:10.1016/0021-8693(89)90212-3
234:? In 1991, Truss published
1663:
1519:Ten Years to Save the West
1321:September 2022 mini-budget
974:Cameron, Peter J. (1990).
391:Cambridge University Press
1560:
1358:
1231:
613:"On quasi-amorphous sets"
474:10.1017/S0305004100063428
168:. They divorced in 2003.
154:King's College, Cambridge
92:
63:
43:King's College, Cambridge
996:The Mathematical Gazette
538:10.1112/plms/s3-65.1.121
426:10.1017/cbo9780511565670
418:Models and Computability
399:10.1017/CBO9781107325944
274:University of Queensland
245:The Mathematical Gazette
181:2010 UK general election
113:where he specialises in
1304:Postal workers' strikes
852:; Heale, James (2022).
281:were co-editors of the
205:Simon Fraser University
1151:www1.maths.leeds.ac.uk
532:. s3-65 (1): 121β141.
193:Mathematical Institute
1469:Free Enterprise Group
1342:Anti-growth coalition
1294:Cost-of-living crisis
1175:J. K. Truss's profile
1135:on 13 September 1999.
629:10.1007/s001530100074
578:"On o-amorphous sets"
329:Truss, J. K. (1997).
310:Truss, J. K. (1991).
299:Selected publications
148:Early life and family
18:British mathematician
1479:Popular Conservatism
251:discrete mathematics
127:University of Oxford
1511:Britannia Unchained
1503:After the Coalition
1348:Resignation Honours
1299:Industrial disputes
712:John Kenneth Truss.
669:on 23 February 2022
466:1985MPCPS..98..213T
279:Jonathan Partington
256:In 1999, Truss and
111:University of Leeds
88:University of Leeds
47:University of Leeds
1249:South West Norfolk
886:7, 197β219 (1974).
504:Journal of Algebra
314:. Addison-Wesley.
209:University of Hull
177:South West Norfolk
119:permutation groups
115:mathematical logic
103:emeritus professor
99:John Kenneth Truss
1584:
1583:
1556:
1555:
1474:Free Market Forum
1356:
1355:
1277:Electoral history
1184:Personal website.
869:978-0-00-860578-0
435:978-0-521-63550-9
408:978-1-139-88244-6
374:978-0-444-70326-2
344:978-0-19-853375-7
321:978-0-201-17564-6
96:
95:
65:Scientific career
1654:
1492:
1370:
1364:
1265:
1218:
1211:
1204:
1195:
1162:
1161:
1159:
1157:
1143:
1137:
1136:
1131:. Archived from
1125:
1119:
1118:
1080:
1074:
1073:
1040:
1029:
1028:
1003:(476): 303β305.
990:
981:
972:
966:
965:
937:
931:
930:
928:
926:
909:
903:
898:Miranda Norris,
893:
887:
884:Ann. Math. Logic
880:
874:
873:
846:
840:
839:
837:
835:
820:
814:
813:
799:
793:
792:
790:
788:
766:
760:
759:
757:
755:
736:
728:
715:
709:
703:
697:
691:
685:
679:
678:
676:
674:
665:. Archived from
655:
640:
607:
597:
572:
541:
522:
520:
493:
444:Journal articles
439:
412:
383:Cooper, S. Barry
378:
348:
325:
289:Francis Burstall
107:pure mathematics
75:Pure mathematics
21:
1662:
1661:
1657:
1656:
1655:
1653:
1652:
1651:
1587:
1586:
1585:
1580:
1552:
1538:Out of the Blue
1525:
1483:
1457:
1434:
1417:Lord Chancellor
1377:
1371:
1365:
1352:
1309:Railway strikes
1254:
1227:
1222:
1171:
1166:
1165:
1155:
1153:
1145:
1144:
1140:
1127:
1126:
1122:
1082:
1081:
1077:
1042:
1041:
1032:
1009:10.2307/3619163
992:
991:
984:
973:
969:
939:
938:
934:
924:
922:
911:
910:
906:
894:
890:
881:
877:
870:
848:
847:
843:
833:
831:
822:
821:
817:
801:
800:
796:
786:
784:
768:
767:
763:
753:
751:
730:
729:
718:
710:
706:
698:
694:
686:
682:
672:
670:
663:eps.leeds.ac.uk
657:
656:
652:
647:
610:
575:
544:
525:
496:
449:
446:
436:
415:
409:
381:
375:
358:
355:
345:
335:Clarendon Press
328:
322:
309:
306:
301:
258:S. Barry Cooper
189:
150:
87:
45:
39:Alma mater
26:
19:
12:
11:
5:
1660:
1658:
1650:
1649:
1644:
1639:
1634:
1629:
1624:
1619:
1614:
1609:
1604:
1599:
1589:
1588:
1582:
1581:
1579:
1578:
1570:
1561:
1558:
1557:
1554:
1553:
1551:
1550:
1542:
1533:
1531:
1527:
1526:
1524:
1523:
1515:
1507:
1498:
1496:
1489:
1485:
1484:
1482:
1481:
1476:
1471:
1465:
1463:
1459:
1458:
1456:
1455:
1449:
1442:
1440:
1436:
1435:
1433:
1432:
1426:
1420:
1410:
1404:
1394:
1388:
1381:
1379:
1373:
1372:
1359:
1357:
1354:
1353:
1351:
1350:
1345:
1338:
1337:
1336:
1323:
1318:
1317:
1316:
1311:
1306:
1296:
1291:
1286:
1285:
1284:
1273:
1271:
1262:
1256:
1255:
1253:
1252:
1245:
1239:
1232:
1229:
1228:
1223:
1221:
1220:
1213:
1206:
1198:
1192:
1191:
1186:
1181:
1170:
1169:External links
1167:
1164:
1163:
1138:
1120:
1099:10.2307/797965
1093:(4): 535β536.
1075:
1056:(3): 446β448.
1044:Priest, Graham
1030:
982:
967:
948:(3): 396β400.
932:
904:
888:
875:
868:
841:
815:
794:
761:
716:
704:
692:
680:
649:
648:
646:
643:
642:
641:
623:(8): 581β596.
608:
588:(2): 185β226.
573:
555:(2): 191β233.
542:
523:
511:(2): 494β515.
494:
460:(2): 213β245.
445:
442:
441:
440:
434:
413:
407:
379:
373:
354:
353:Edited volumes
351:
350:
349:
343:
326:
320:
305:
302:
300:
297:
188:
185:
175:candidate for
149:
146:
94:
93:
90:
89:
82:
78:
77:
72:
68:
67:
61:
60:
54:
50:
49:
40:
36:
35:
32:
28:
27:
24:
17:
13:
10:
9:
6:
4:
3:
2:
1659:
1648:
1645:
1643:
1640:
1638:
1635:
1633:
1630:
1628:
1625:
1623:
1620:
1618:
1615:
1613:
1610:
1608:
1605:
1603:
1600:
1598:
1597:Living people
1595:
1594:
1592:
1576:
1575:
1571:
1569:
1568:
1567:Boris Johnson
1563:
1562:
1559:
1548:
1547:
1543:
1540:
1539:
1535:
1534:
1532:
1528:
1521:
1520:
1516:
1513:
1512:
1508:
1505:
1504:
1500:
1499:
1497:
1493:
1490:
1486:
1480:
1477:
1475:
1472:
1470:
1467:
1466:
1464:
1460:
1453:
1450:
1447:
1444:
1443:
1441:
1437:
1430:
1427:
1424:
1421:
1418:
1414:
1411:
1408:
1405:
1402:
1398:
1395:
1392:
1389:
1386:
1383:
1382:
1380:
1376:Other offices
1374:
1369:
1363:
1349:
1346:
1343:
1339:
1335:
1333:
1329:
1328:
1327:
1324:
1322:
1319:
1315:
1312:
1310:
1307:
1305:
1302:
1301:
1300:
1297:
1295:
1292:
1290:
1287:
1283:
1280:
1279:
1278:
1275:
1274:
1272:
1270:
1266:
1263:
1261:
1257:
1250:
1246:
1243:
1240:
1237:
1234:
1233:
1230:
1226:
1219:
1214:
1212:
1207:
1205:
1200:
1199:
1196:
1190:
1187:
1185:
1182:
1180:
1176:
1173:
1172:
1168:
1152:
1148:
1142:
1139:
1134:
1130:
1124:
1121:
1116:
1112:
1108:
1104:
1100:
1096:
1092:
1088:
1087:
1079:
1076:
1071:
1067:
1063:
1059:
1055:
1051:
1050:
1049:Studia Logica
1045:
1039:
1037:
1035:
1031:
1026:
1022:
1018:
1014:
1010:
1006:
1002:
998:
997:
989:
987:
983:
979:
978:
971:
968:
963:
959:
955:
951:
947:
943:
942:Studia Logica
936:
933:
921:
920:
919:Vancouver Sun
915:
908:
905:
901:
897:
892:
889:
885:
879:
876:
871:
865:
861:
860:HarperCollins
857:
856:
851:
845:
842:
830:
826:
819:
816:
811:
810:
805:
798:
795:
782:
778:
777:
772:
765:
762:
750:
746:
742:
741:
735:
727:
725:
723:
721:
717:
713:
708:
705:
701:
696:
693:
689:
684:
681:
668:
664:
660:
654:
651:
644:
638:
634:
630:
626:
622:
618:
614:
609:
605:
601:
596:
591:
587:
583:
579:
574:
570:
566:
562:
558:
554:
550:
549:
543:
539:
535:
531:
530:
524:
519:
514:
510:
506:
505:
500:
495:
491:
487:
483:
479:
475:
471:
467:
463:
459:
455:
454:
448:
447:
443:
437:
431:
427:
423:
419:
414:
410:
404:
400:
396:
392:
388:
384:
380:
376:
370:
366:
362:
357:
356:
352:
346:
340:
336:
332:
327:
323:
317:
313:
308:
307:
303:
298:
296:
294:
290:
286:
285:
280:
275:
271:
270:Graham Priest
267:
263:
259:
254:
252:
247:
246:
242:described in
241:
237:
233:
229:
228:automorphisms
225:
221:
217:
216:Peter Cameron
212:
210:
206:
202:
198:
197:Kidderminster
194:
186:
184:
182:
178:
174:
169:
167:
163:
159:
155:
147:
145:
143:
139:
135:
134:
128:
124:
120:
116:
112:
108:
104:
100:
91:
86:
83:
79:
76:
73:
69:
66:
62:
59:
56:4; including
55:
51:
48:
44:
41:
37:
33:
29:
22:
16:
1572:
1565:
1544:
1536:
1517:
1509:
1501:
1451:
1446:Hugh O'Leary
1331:
1179:ResearchGate
1154:. Retrieved
1150:
1141:
1133:the original
1123:
1090:
1084:
1078:
1053:
1047:
1000:
994:
975:
970:
945:
941:
935:
923:. Retrieved
917:
907:
899:
891:
883:
878:
853:
844:
832:. Retrieved
818:
809:The Guardian
807:
797:
785:. Retrieved
774:
764:
752:. Retrieved
738:
707:
695:
688:Truss, J. K.
683:
671:. Retrieved
667:the original
662:
653:
620:
616:
585:
581:
552:
546:
527:
508:
502:
457:
451:
417:
386:
360:
330:
311:
282:
255:
243:
240:John Bayliss
235:
231:
219:
213:
190:
173:Conservative
170:
151:
131:
123:model theory
98:
97:
81:Institutions
64:
15:
1642:1947 births
1574:Rishi Sunak
1546:Truss at 10
1530:About Truss
1431:(2012β2014)
1425:(2014β2016)
1419:(2016β2017)
1409:(2017β2019)
1403:(2019β2021)
1393:(2019β2022)
1387:(2021β2022)
1314:NHS strikes
1260:Premiership
1251:(2010β2024)
1156:6 September
925:6 September
900:Oxford Mail
850:Cole, Harry
787:6 September
754:7 September
673:7 September
293:John Toland
224:conjectures
117:, infinite
1591:Categories
1452:John Truss
1332:Daily Star
645:References
25:John Truss
1448:(husband)
1225:Liz Truss
1107:1079-8986
1062:0039-3215
1017:0025-5572
954:0039-3215
776:The Times
749:0140-0460
740:The Times
604:0168-0072
569:0168-0072
490:122772888
482:1469-8064
214:In 1990,
211:in 1986.
158:Liz Truss
142:Liz Truss
1495:By Truss
1454:(father)
1269:Ministry
1070:20016368
962:20015451
834:14 March
829:ABC News
781:Archived
637:16999253
53:Children
1577: β
1564:β
1334:lettuce
1247:MP for
1025:3619163
462:Bibcode
272:of the
179:in the
109:at the
1549:(2024)
1541:(2022)
1522:(2024)
1514:(2012)
1506:(2011)
1462:Groups
1439:Family
1244:(2022)
1238:(2022)
1115:797965
1113:
1105:
1068:
1060:
1023:
1015:
960:
952:
866:
747:
635:
602:
567:
488:
480:
432:
405:
371:
341:
318:
238:which
187:Career
162:Labour
71:Fields
1488:Books
1111:JSTOR
1066:JSTOR
1021:JSTOR
958:JSTOR
633:S2CID
486:S2CID
304:Books
1415:and
1399:and
1378:held
1158:2022
1103:ISSN
1058:ISSN
1013:ISSN
950:ISSN
927:2022
864:ISBN
836:2023
789:2022
756:2022
745:ISSN
675:2022
600:ISSN
565:ISSN
478:ISSN
430:ISBN
403:ISBN
369:ISBN
339:ISBN
316:ISBN
291:and
31:Born
1177:on
1095:doi
1005:doi
625:doi
590:doi
586:101
557:doi
534:doi
513:doi
509:120
470:doi
422:doi
395:doi
230:of
105:of
58:Liz
1593::
1149:.
1109:.
1101:.
1089:.
1064:.
1054:69
1052:.
1033:^
1019:.
1011:.
1001:76
999:.
985:^
956:.
946:48
944:.
916:.
862:.
858:.
827:.
806:.
779:.
773:.
743:.
737:.
719:^
661:.
631:.
621:40
619:.
615:.
598:.
584:.
580:.
563:.
553:73
551:.
507:.
501:.
484:.
476:.
468:.
458:98
456:.
428:.
401:.
393:.
389:.
367:.
363:.
337:.
333:.
295:.
183:.
144:.
140:,
1344:"
1340:"
1217:e
1210:t
1203:v
1160:.
1117:.
1097::
1091:8
1072:.
1027:.
1007::
964:.
929:.
872:.
838:.
812:.
791:.
758:.
677:.
639:.
627::
606:.
592::
571:.
559::
540:.
536::
521:.
515::
492:.
472::
464::
438:.
424::
411:.
397::
377:.
347:.
324:.
232:M
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.