•  5
    The Strange Logic of Random Graphs
    Springer Verlag. 2001.
    The study of random graphs was begun in the 1960s and now has a comprehensive literature. This excellent book by one of the top researchers in the field now joins the study of random graphs (and other random discrete objects) with mathematical logic. The methodologies involve probability, discrete structures and logic, with an emphasis on discrete structures.
  • Finite model theory and its applications. Texts in Theoretical Computer Science
    with E. Grädel, P. G. Kolaitis, L. Libkin, M. Marx, and M. Y. Vardi
    Bulletin of Symbolic Logic 16 (3): 406-407. 2010.
  •  3
    Asymptotically optimal covering designs
    with Daniel Gordon, Greg Kuperberg, and Oren Patashnik
    A covering design, or covering, is a family of k-subsets, called blocks, chosen from a v-set, such that each t-subset is contained in at least one of the blocks. The number of blocks is the covering's size}, and the minimum size of such a covering is denoted by C. It is easy to see that a covering must contain at least / blocks, and in 1985 R\"odl [European J. Combin. 5, 69-78] proved a long-standing conjecture of Erd\H{o}s and Hanani [Publ. Math. Debrecen 10, 10-13] that for fixed k and t, cove…Read more
  •  10
    The complexity of random ordered structures
    Annals of Pure and Applied Logic 152 (1-3): 174-179. 2008.
    We show that for random bit strings, Up, with probability, image, the first order quantifier depth D) needed to distinguish non-isomorphic structures is Θ, with high probability. Further, we show that, with high probability, for random ordered graphs, G≤,p with edge probability image, D)=Θ, contrasting with the results for random graphs, Gp, given by Kim et al. [J.H. Kim, O. Pikhurko, J. Spencer, O. Verbitsky, How complex are random graphs in first order logic? Random Structures and Algorithms 2…Read more
  •  538
    This Master of Arts thesis is in two parts: a novel, An Anarchy of Man, and an exegesis which places the novel in relation to philosophical concerns about the self and the way those concerns are portrayed in selected works of Western literature. The novel is set in Canberra and Sydney and tells the story of the relationship between two characters: Joe and Gin. It explores the way we in the modern Western world think about ourselves and those around us. Chapter One considers the view of the self …Read more
  •  16
    Succinct definitions in the first order theory of graphs
    with Oleg Pikhurko and Oleg Verbitsky
    Annals of Pure and Applied Logic 139 (1): 74-109. 2006.
    We say that a first order sentence A defines a graph G if A is true on G but false on any graph non-isomorphic to G. Let L ) denote the minimum length of such a sentence. We define the succinctness function s ) to be the minimum L ) over all graphs on n vertices.We prove that s and q may be so small that for no general recursive function f we can have f)≥n for all n. However, for the function q*=maxi≤nq, which is the least nondecreasing function bounding q from above, we have q*=)log*n, where lo…Read more