The Noncommutativity of Random and Generic Extensions. - John Kenneth Truss (J. Symb. Log., 1983)

Cancellation laws for surjective cardinals. - John Kenneth Truss (Ann. Pure Appl. Log., 1984)

Discrete mathematics for computer scientists. - John Kenneth Truss (Addison-Wesley, 1991)

The Structure of Amorphous Sets. - John Kenneth Truss (Ann. Pure Appl. Log., 1995)

On N0-Categorical Weakly o-Minimal Structures. - B. Herwig; H. D. Macpherson; G. Martin; A. Nurtazin; John Kenneth Truss (Ann. Pure Appl. Log., 1999)

On Distinguishing Quotients of Symmetric Groups. - Saharon Shelah; John Kenneth Truss (Ann. Pure Appl. Log., 1999)

The Independence of The Prime Ideal Theorem From The Order-Extension Principle. - Ulrich Felgner; John Kenneth Truss (J. Symb. Log., 1999)

On Homogeneous Semilattices and Their Automorphism Groups. - Manfred Droste; Dietrich Kuske; John Kenneth Truss (Order, 1999)

On o-Amorphous Sets. - P. Creed; John Kenneth Truss (Ann. Pure Appl. Log., 2000)

On quasi-amorphous sets. - P. Creed; John Kenneth Truss (Arch. Math. Log., 2001)

On Computable Automorphisms of The Rational Numbers. - Andrei S. Morozov; John Kenneth Truss (J. Symb. Log., 2001)

Elementary Properties of Cycle-free Partial Orders and their Automorphism Groups. - John Kenneth Truss (Order, 2001)

A notion of rank in set theory without choice. - G. S. Mendick; John Kenneth Truss (Arch. Math. Log., 2003)

The automorphism group of the random graph: four conjugates good, three conjugates better. - John Kenneth Truss (Discret. Math., 2003)

Non-well-foundedness of well-orderable power sets. - Thomas E. Forster; John Kenneth Truss (J. Symb. Log., 2003)

Recovering ordered structures from quotients of their automorphism groups. - M. Giraudet; John Kenneth Truss (J. Symb. Log., 2003)

Countable, 1-transitive, coloured linear orderings I. - G. Campero-Arena; John Kenneth Truss (J. Comb. Theory A, 2004)

Okhuma Graphs and Coloured Chains. - M. Giraudet; John Kenneth Truss (Order, 2004)

Ramsey's theorem and König's Lemma. - Thomas E. Forster; John Kenneth Truss (Arch. Math. Log., 2007)

On notions of genericity and mutual genericity. - John Kenneth Truss (J. Symb. Log., 2007)

Construction of some countable 1-arc-transitive bipartite graphs. - Robert Gray; John Kenneth Truss (Discret. Math., 2008)

Construction of Some Uncountable 2-Arc-Transitive Bipartite Graphs. - Manfred Droste; Robert Gray; John Kenneth Truss (Order, 2008)

1-transitive cyclic orderings. - G. Campero-Arena; John Kenneth Truss (J. Comb. Theory A, 2009)

Countably categorical coloured linear orders. - Feresiano Mwesigye; John Kenneth Truss (Math. Log. Q., 2010)

Some constructions of highly arc-transitive digraphs. - Daniela A. Amato; John Kenneth Truss (Comb., 2011)

Descendant-homogeneous digraphs. - Daniela A. Amato; John Kenneth Truss (J. Comb. Theory A, 2011)

Classification of Finite Coloured Linear Orderings. - Feresiano Mwesigye; John Kenneth Truss (Order, 2011)

Classification of some countable descendant-homogeneous digraphs. - Daniela A. Amato; David M. Evans 001; John Kenneth Truss (Discret. Math., 2012)

Countable homogeneous multipartite graphs. - Tristan Jenkinson; John Kenneth Truss; Daniel Seidel (Eur. J. Comb., 2012)

Finitely generated free Heyting algebras: the well-founded initial segment. - R. Elageili; John Kenneth Truss (J. Symb. Log., 2012)

Some more notions of homomorphism-homogeneity. - Deborah C. Lockett; John Kenneth Truss (Discret. Math., 2014)

Countable locally 2-arc-transitive bipartite graphs. - Robert D. Gray; John Kenneth Truss (Eur. J. Comb., 2014)

Homogeneous coloured multipartite graphs. - Deborah C. Lockett; John Kenneth Truss (Eur. J. Comb., 2014)

Countable Homogeneous Lattices. - A. Abogatma; John Kenneth Truss (Order, 2015)

Reconstructing the Topology on Monoids and Polymorphism Clones of the Rationals. - Mike Behrisch; John Kenneth Truss; Edith Vargas-García (Stud Logica, 2017)

Ehrenfeucht-Fraïssé games on ordinals. - Feresiano Mwesigye; John Kenneth Truss (Ann. Pure Appl. Log., 2018)

On Optimal Representatives of Finite Coloured Linear Orders. - Feresiano Mwesigye; John Kenneth Truss (Order, 2019)

Ehrenfeucht-FRAïSSé Games on a class of scattered linear Orders. - Feresiano Mwesigye; John Kenneth Truss (J. Symb. Log., 2020)

Surjectively rigid chains. - Mayra Montalvo-Ballesteros; John Kenneth Truss (Math. Log. Q., 2020)

Reconstructing the topology on monoids and polymorphism clones of reducts of the rationals. - John Kenneth Truss; Edith Vargas-García (Contributions Discret. Math., 2021)

Interpreting the weak monadic second order theory of the ordered rationals. - John Kenneth Truss (Math. Log. Q., 2022)

The small index property for countable superatomic boolean algebras. - John Kenneth Truss (Arch. Math. Log., 2023)