John Truss

Q: What Schools Are Affiliated With John Truss

John Truss is affiliated with the following schools: Imperial College London, University of Leeds, University of Oxford

John Truss's AcademicInfluence.com Rankings

John Truss

Mathematics

#4132

World Rank

#5938

Historical Rank

Measure Theory

#3778

World Rank

#4456

Historical Rank

mathematics Degrees

Download Badge

Mathematics

John Truss's Degrees

Masters Mathematics University of Oxford

Why Is John Truss Influential?

(Suggest an Edit or Addition)

According to Wikipedia, John Kenneth Truss is a mathematician and emeritus professor of pure mathematics at the University of Leeds where he specialises in mathematical logic, infinite permutation groups, homogeneous structures and model theory. Truss began his career as a junior research fellow at the University of Oxford before holding a series of academic positions and lastly joining the University of Leeds. He has written books on discrete mathematics and mathematical analysis and was co-editor in chief of the Journal of the London Mathematical Society until June 2003. He is the father of the former Prime Minister of the United Kingdom, Liz Truss.

(See a Problem?)

John Truss's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Generic Automorphisms of Homogeneous Structures (1992) (108)
The group of the countable universal graph (1985) (69)
Infinite permutation groups II. Subgroups of small index (1989) (64)
Logic: from foundations to applications: European logic colloquium (1996) (44)
Discrete mathematics for computer scientists (1991) (42)
Classes of Dedekind finite cardinals (1974) (37)
Sets Having Calibre (1977) (27)
Generic automorphisms of the universal partial order (2000) (26)
Proceedings of Groups – St Andrews 1985: Embeddings of infinite permutation groups (1987) (25)
Continuous Functionals of Dependent and Transfinite Types (1999) (24)
First Steps into Metapredicativity in Explicit Mathematics (2002) (22)
Betweenness relations and cycle-free partial orders (1996) (21)
Sets and Proofs (1999) (20)
Logic Colloquium '86 (1988) (17)
The Realm of Orinal Analysis (1999) (17)
THE COHERENT ARCHITECTURE OF TEAM SYNTEGRITY ® : FROM SMALL TO MEGA FORMS (17)
On Homogeneous Semilattices and Their Automorphism Groups (1999) (16)
The noncommutativity of random and generic extensions (1983) (15)
Infinite permutation groups I. Products of conjugacy classes (1989) (15)
Reconstructing the Topology on Monoids and Polymorphism Clones of the Rationals (2016) (15)
On notions of genericity and mutual genericity (2007) (15)
Finite axioms of choice (1973) (14)
Countable 1-transitive coloured linear orderings II (2004) (13)
Foundations of Mathematical Analysis (1997) (13)
Minimality Arguments for Infinite Time Turing Degrees (1999) (13)
The structure of k-CS-transitive cycle-free partial orders with infinite chains (1999) (13)
Some more notions of homomorphism-homogeneity (2014) (13)
The axiom of choice for linearly ordered families (1978) (13)
The group of almost automorphisms of the countable universal graph (1989) (13)
On k-CS-Transitive Cycle-Free Partial Orders with Finite Alternating Chains (1998) (12)
Countable homogeneous coloured partial orders (2008) (12)
Cycle-free partial orders and ends of graphs (2009) (12)
Models of set theory containing many perfect sets (1974) (11)
Simple automorphism groups of cycle-free partial orders (1999) (11)
The automorphism group of the random graph: four conjugates good, three conjugates better (2003) (10)
On representing words in the automorphism group of the random graph (2006) (10)
Some constructions of highly arc-transitive digraphs (2009) (10)
Equation-Solving in Free Nilpotent groups Class 2 and 3 (1995) (10)
Connections between different amoeba algebras (1988) (10)
Countably categorical coloured linear orders (2010) (10)
SUBGROUPS OF SMALL INDEX IN ORDERED PERMUTATION GROUPS (1991) (10)
An Introduction To Finitary Analyses Of Proof Figures (1999) (9)
Generic endomorphisms of homogeneous structures (2011) (9)
ON DISTINGUISHING QUOTIENTS OF ORDERED PERMUTATION GROUPS (1994) (9)
True Approximations and Models of Arithmetic (1999) (9)
The independence of the Prime Ideal Theorem from the Order-Extension Principle (1999) (9)
Infinite simple permutation groups - a survey (1991) (9)
Elementary Properties of Cycle-free Partial Orders and their Automorphism Groups (2001) (9)
Uncountable cofinalities of automorphism groups of linear and partial orders (2009) (9)
On quasi-amorphous sets (2001) (8)
Countable, 1-transitive, coloured linear orderings I (2004) (8)
Unification for nilpotent groups of class 2 (1995) (8)
On Recovering Structures from Quotients of their Automorphism Groups (1996) (8)
On Distinguishing Quotients of Symmetric Groups (1998) (8)
The random graph and automorphisms of the rational world (1993) (8)
On o-Amorphous Sets (2000) (7)
Dualisation of a Result of Specker's (1973) (7)
What Makes A (Pointwise) Subrecursive Hierarchy Slow Growing (1999) (7)
BOOLEAN‐VALUED MODELS AND INDEPENDENCE PROOFS IN SET THEORY Second Edition (Oxford Logic Guides, 12) (1986) (7)
Joint embeddings of infinite permutation groups (2019) (7)
Rigid chains admitting many embeddings (2000) (6)
Classification of some countable descendant-homogeneous digraphs (2011) (6)
The Failure of Cancellation Laws for Equidecomposability Types (1990) (6)
The well‐ordered and well‐orderable subsets of a set (1973) (6)
On successors in cardinal arithmetic (1973) (6)
The uncountable cofinality of the automorphism group of the countable universal distributive lattice (2011) (6)
Classification of Finite Coloured Linear Orderings (2011) (5)
Homogeneous coloured multipartite graphs (2014) (5)
A note on increasing sequences of constructibility degrees (1978) (5)
Descendant-homogeneous digraphs (2011) (5)
On the automorphism group of the countable dense circular order (2009) (4)
Countable Homogeneous Lattices (2014) (4)
Ehrenfeucht-Fraïssé games on ordinals (2018) (4)
Convex Sets of Cardinals (1973) (4)
Countable locally 2-arc-transitive bipartite graphs (2014) (4)
Construction of some countable 1-arc-transitive bipartite graphs (2008) (4)
Countable homogeneous and partially homogeneous ordered structures (2007) (4)
MANY‐SORTED LOGIC AND ITS APPLICATIONS (1994) (4)
Small Sets which meet all the n -Term Arithmetic Progressions in the Interval [1, n2 ] (1991) (3)
Countable 1-Transitive Trees (2017) (3)
Finitely generated free Heyting algebras: the well-founded initial segment (2012) (3)
The categoricity of the group of all computable automorphisms of the rational numbers (2007) (3)
Bird at the window (1974) (3)
Non-well-foundedness of well-orderable power sets (2003) (3)
Construction of Some Uncountable 2-Arc-Transitive Bipartite Graphs (2008) (3)
Cancellation laws for surjective cardinals (1984) (3)
Some cases of Künig’s lemma (1976) (2)
Crown-free highly arc-transitive digraphs (2012) (2)
Computer Organization and Architecture: WITH Discrete Mathematics for Computer Scientists AND Digital Design Designing for Performance (2007) (2)
Recovering ordered structures from quotients of their automorphism groups (2003) (2)
Reconstructing the topology on monoids and polymorphism clones of reducts of the rationals (2016) (2)
Discrete Mathematics for Computer Scientists (International Computer Science Series) (1991) (2)
Undecidability of automorphism groups (2002) (2)
Two Equivalents of the Axiom of Choice (1972) (2)
Cycle-types in the automorphism groups of countable homogeneous graphs (2011) (2)
THE SMALL INDEX PROPERTY FOR COUNTABLE 1-TRANSITIVE LINEAR ORDERS (2005) (2)
Four Conjugates Good, Three Conjugates Better (1)
Surjectively rigid chains (2018) (1)
Games of Countable Length (1999) (1)
On Optimal Representatives of Finite Coloured Linear Orders (2017) (1)
On the Topological Stability Conjecture (1999) (1)
Models and computability : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997 (1999) (1)
Joint Embeddings of Innnite Permutation Groups (1997) (1)
Interpreting the Action of the Endomorphism Monoid of the Rationals (2019) (1)
The axiom of choice and model-theoretic structures (2019) (1)
On certain arbitrarily long sequences of cardinals (1973) (0)
Models and Computability: Frontmatter (1999) (0)
Cardinals in the Halpern‐Levy Model (1975) (0)
RamseyÔÇÖs theorem and K├ ÂnigÔÇÖs Lemma (2007) (0)
Dedekind-finite cardinals having countable partitions (2022) (0)
Interpreting the Action of the Endomorphism Monoid of the Rationals (2021) (0)
Sets and Proofs: Preface (1999) (0)
1997 European Summer Meeting of the Association for Symbolic Logic (1998) (0)
1-transitive Cyclic Orderings (2009) (0)
Okhuma Graphs and Coloured Chains (2004) (0)
EHRENFEUCHT-FRAÏSSÉ GAMES ON A CLASS OF SCATTERED LINEAR ORDERS (2018) (0)
Reconstructing the Topology on Monoids and Polymorphism Clones of the Rationals (2016) (0)
Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K., July 13-19, 1986 (1988) (0)
Lebesgue Measure and Games (1976) (0)
Conjugate homeomorphisms of the Rational World (1997) (0)
On Optimal Representatives of Finite Coloured Linear Orders (2018) (0)
Countable Homogeneous Lattices (2014) (0)
Sets and proofs : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997 (1999) (0)
A Semantical Calculus for Intuitionistic Propositional Logic (1999) (0)
Interpreting the weak monadic second order theory of the ordered rationals (2021) (0)
The small index property for countable superatomic boolean algebras (2022) (0)
Classification of a class of continuous maps on the unit interval (2008) (0)
On limits of betweenness relations (2021) (0)
Fundamental Activities in the Elementary School. (1970) (0)

This paper list is powered by the following services:

Other Resources About John Truss

en.wikipedia.org

What Schools Are Affiliated With John Truss?

John Truss is affiliated with the following schools:

John Truss's Academic­Influence.com Rankings