约翰·特拉斯，英国利兹大学数学系荣誉教授，英国第56任首相伊丽莎白·特拉斯的父亲。

约翰·特拉斯毕业于剑桥大学国王学院数学专业，1973年在利兹大学获得了纯粹数学的博士学位。

现为英国利兹大学数学系荣誉教授。

期刊论文

Mwesigye F, Truss JK. 2019. On Optimal Representatives of Finite Coloured Linear Orders. Order. 107-117 36.1

Mwesigye F, Truss JK. 2018. Ehrenfeucht–Fraïssé games on ordinals. Annals of Pure and Applied Logic. 616-636 169.7

Behrisch M, Truss JK, Vargas-Garcia E. 2017. Reconstructing the Topology on Monoids and Polymorphism Clones of the Rationals. Studia Logica. 65-91 105.1

Abogatma A, Truss JK. 2015. Countable Homogeneous Lattices. Order. 239-243 32.2

Lockett DC, Truss JK. 2014. Some more notions of homomorphism-homogeneity. Discrete Mathematics. 69-79 336

Gray RD, Truss JK. 2014. Countable locally 2-arc-transitive bipartite graphs. European Journal of Combinatorics. 122-147 39

Abogatma A, Truss JK. 2014. Countable Homogeneous Lattices. Order.

Lockett DC, Truss JK. 2014. Homogeneous coloured multipartite graphs. European Journal of Combinatorics. 217-242 42

Amato D, Evans DM, Truss JK. 2012. Classification of some countable descendant-homogeneous digraphs. Discrete Mathematics. 911-919 312.5

Elageili R, Truss JK. 2012. FINITELY GENERATED FREE HEYTING ALGEBRAS: THE WELL-FOUNDED INITIAL SEGMENT. JOURNAL OF SYMBOLIC LOGIC. 1291-1307 77.4

Amato D, Truss JK. 2012. Crown-free highly arc-transitive digraphs. FORUM MATHEMATICUM. 161-175 24.1

Truss JK, Mwesigye F. 2012. Classification of finite coloured linear orderings. Order.

Truss JK, Jenkinson T, Seidel D. 2012. Countable homogeneous multipartite graphs. European Journal of Combinatorics.

Mwesigye F, Truss JK. 2011. Classification of Finite Coloured Linear Orderings. Order. 387-397 28.3

Lovell S, Truss JK. 2011. Cycle-types in the automorphism groups of countable homogeneous graphs. MATH PROC CAMBRIDGE. 23-41 151

Amato D, Truss JK. 2011. Some constructions of highly arc-transitive digraphs. COMBINATORICA. 257-283 31.3

Amato D, Truss JK. 2011. Descendant-homogeneous digraphs. J COMB THEORY A. 403-424 118.2

Jenkinson T, Truss JK, Seidel D. 2011. Countable homogeneous multipartite graphs. European Journal of Combinatorics.

Droste M, Truss JK. 2011. The uncountable cofinality of the automorphism group of the countable universal distributive lattice. Demonstratio Mathematica. 473-479 44.3

Mwesigye F, Truss JK. 2010. Countably categorical coloured linear orders. MATH LOGIC QUART. 159-163 56.2

Mwesigye F, Truss JK. 2010. Classification of Finite Coloured Linear Orderings. Order. 1-11

Droste M, Truss JK. 2009. Uncountable cofinalities of automorphism groups of linear and partial orders. ALGEBR UNIV. 75-90 62.1

Gray R, Truss JK. 2009. Cycle-free partial orders and ends of graphs. MATH PROC CAMBRIDGE. 535-550 146

Campero-Arena G, Truss JK. 2009. 1-transitive cyclic orderings. J COMB THEORY A. 581-594 116.3

Sawyer DJ, Truss JK. 2009. CLASSIFICATION OF A CLASS OF CONTINUOUS MAPS ON THE UNIT INTERVAL. Q J MATH. 105-119 60.1

Truss JK. 2009. On the automorphism group of the countable dense circular order. FUND MATH. 97-111 204.2

Gray R, Truss JK. 2008. Construction of some countable 1-arc-transitive bipartite graphs. DISCRETE MATH. 6392-6405 308.24

de Sousa ST, Truss JK. 2008. Countable homogeneous coloured partial orders. Dissertationes Mathematicae. 3-48455

Droste M, Gray R, Truss JK. 2008. Construction of Some Uncountable 2-Arc-Transitive Bipartite Graphs. ORDER. 349-357 25.4

de Sousa ST, Truss JK. 2008. Countable homogeneous coloured partial orders. DISS MATH. 4-48455

Truss JK. 2007. On notions of genericity and mutual genericity. J SYMBOLIC LOGIC. 755-766 72.3

Morozov AS, Truss JK. 2007. The categoricity of the group of all computable automorphisms of the rational numbers. ALGEBR LOG+. 354-361 46.5

Forster TE, Truss JK. 2007. Ramsey's Theorem and Konig's Lemma. ARCH MATH LOGIC. 37-42 46.1

Droste M, Truss JK. 2006. On representing words in the automorphism group of the random graph. J GROUP THEORY. 815-836 9.6

Chicot K, Truss JK. 2005. The small index property for countable 1-transitive linear orders. GLASGOW MATH J. 69-75 47

Giraudet M, Truss JK. 2004. Okhuma graphs and coloured chains. ORDER. 265-281 21.4

Campero-Arena G, Truss JK. 2004. Countable 1-transitive coloured linear orderings II. FUND MATH. 185-213 183.3

Campero-Arena G, Truss JK. 2004. Countable, 1-transitive, coloured linear orderings I. J COMB THEORY A. 1-13 105.1

Giraudet M, Truss JK. 2003. Recovering ordered structures from quotients of their automorphism groups. J SYMBOLIC LOGIC. 1189-1198 68.4

Truss JK. 2003. The automorphism group of the random graph: Four conjugates good, three conjugates better. Discrete Mathematics. 257-271 268.1-3

Truss JK. 2003. The automorphism group of the random graph: four conjugates good, three conjugates better. Discrete Mathematics. 257-271 268.1-3

Mendick GS, Truss JK. 2003. A notion of rank in set theory without choice. ARCH MATH LOGIC. 165-178 42.2

Forster TE, Truss JK. 2003. Non-well-foundness of well-orderable power sets. Journal of Symbolic Logic. 879-884 68

Truss JK, Giraudet M, Glass AMW. 2002. Undecidability of automorphism groups. Mathematische Zeitschrift. 611-620 240

Creed P, Truss JK. 2001. On quasi-amorphous sets. ARCH MATH LOGIC. 581-596 40.8

Morozov AS, Truss JK. 2001. On computable automorphisms of the rational numbers. Journal of Symbolic Logic. 1458-1470 66.3

Truss JK, Kuske D. 2001. Generic automorphisms of the universal partial order. Proceedings of the American Mathematical Society. 1939-1948 129.7

Droste M, Truss JK. 2001. Rigid chains admitting many embeddings. P AM MATH SOC. 1601-1608 129.6

Truss JK. 2001. Elementary properties of cycle-free partial orders and their automorphism groups. Order. 359-379 18

Truss JK, Creed P. 2000. On o-amorphous sets. Annals of Pure and Applied Logic. 185-226 101

Truss JK, Shelah S. 1999. On distinguishing quotients of symmetric groups. Annals of Pure and Applied Logic. 47-83 97

Truss JK, Felgner U. 1999. The independence of the prime ideal theorem from the order-extension principle. Journal of Symbolic Logic. 199-215 64

Truss JK. 1996. Betweenness relations and cycle-free partial orders. Mathematical Proceedings of the Cambridge Philosophical Society. 631-643 119

会议论文

Lockett DC, Truss JK. 2012. Generic endomorphisms of homogeneous structures. GROUPS AND MODEL THEORY

妻子是普莉希拉，女儿是英国第56任首相伊丽莎白·特拉斯。

约翰·特拉斯和他的妻子普莉希拉都是左翼人士。身为数学教授的约翰·特拉斯对特拉斯从支持反君主制的自由民主党转变成支持保守党感到“非常难过”，对他的孩子甚至开始“倾向极端右翼政治”感到“非常震惊”，以至于影响了他们的关系。他一直无法原谅女儿。