profile picture

Gareth Jones

Oxford Brookes University
 More details
  •  51
    Sheaf cohomology in o-minimal structures
    with Mário J. Edmundo and Nicholas J. Peatfield
    Journal of Mathematical Logic 6 (2): 163-179. 2006.
    Here we prove the existence of sheaf cohomology theory in arbitrary o-minimal structures.
    Model TheoryCategory Theory
  •  43
    Christian origins: theology, rhetoric, and community (edited book)
    with Lewis Ayres
    Routledge. 1998.
    This collection is an exploration of the historical course and nature of early Christian theological traditions. The contributors reconsider classic themes and texts in the light of the existing traditions of interpretation. They offer critiques of early Christian ideas and texts and they consider the structure and origins of standard modern readings of these ideas and texts. Christian Origins provides a fresh and often ground-breaking analysis of the origins of Christian thought and offers a co…Read more
    Christianity, Misc
  •  64
    Invariance results for definable extensions of groups
    with Mário J. Edmundo and Nicholas J. Peatfield
    Archive for Mathematical Logic 50 (1-2): 19-31. 2011.
    We show that in an o-minimal expansion of an ordered group finite definable extensions of a definable group which is defined in a reduct are already defined in the reduct. A similar result is proved for finite topological extensions of definable groups defined in o-minimal expansions of the ordered set of real numbers.
    Areas of Mathematics
  •  36
    On the decidability of the real field with a generic power function
    with Tamara Servi
    Journal of Symbolic Logic 76 (4): 1418-1428. 2011.
    We show that the theory of the real field with a generic real power function is decidable, relative to an oracle for the rational cut of the exponent of the power function. We also show the existence of generic computable real numbers, hence providing an example of a decidable o-minimal proper expansion of the real field by an analytic function
    Logic and Philosophy of LogicLogic and Philosophy of Logic, MiscellaneousModel Theory