•  63
    Environmental Rights in a Welfare State? A Comment on DeMerieux
    Oxford Journal of Legal Studies 23 (1): 111-125. 2003.
    The derivation of a category of ‘environmental rights’ (as argued in this journal by Margaret DeMerieux) from certain cases heard in the European Court of Human Rights is examined. Opposing the majority judicial opinion of that court, there is emerging a dissenting view which is reluctant to extend a rights perspective to those nuisances which can, in theory, be avoided by relocation of the family home. This critique is then extended to Marcic v Thames Water Utilities in which the claimant used …Read more
  •  58
    Pfaffian differential equations over exponential o-minimal structures
    with Patrick Speissegger
    Journal of Symbolic Logic 67 (1): 438-448. 2002.
    In this paper, we continue investigations into the asymptotic behavior of solutions of differential equations over o-minimal structures.Let ℜ be an expansion of the real field (ℝ, +, ·).A differentiable mapF= (F1,…,F1): (a, b) → ℝiisℜ-Pfaffianif there existsG: ℝ1+l→ ℝldefinable in ℜ such thatF′(t) =G(t, F(t)) for allt∈ (a, b) and each component functionGi: ℝ1+l→ ℝ is independent of the lastl−ivariables (i= 1, …,l). If ℜ is o-minimal andF: (a, b) → ℝlis ℜ-Pfaffian, then (ℜ,F) is o-minimal (Propos…Read more
  •  52
    Expansions of o-Minimal Structures by Iteration Sequences
    with James Tyne
    Notre Dame Journal of Formal Logic 47 (1): 93-99. 2006.
    Let P be the ω-orbit of a point under a unary function definable in an o-minimal expansion ℜ of a densely ordered group. If P is monotonically cofinal in the group, and the compositional iterates of the function are cofinal at +\infty in the unary functions definable in ℜ, then the expansion (ℜ, P) has a number of good properties, in particular, every unary set definable in any elementarily equivalent structure is a disjoint union of open intervals and finitely many discrete sets
  •  29
    Moscone Center West, San Francisco, CA January 15–16, 2010
    with Fernando J. Ferreira, John Harrison, François Loeser, Joseph S. Miller, Slawomir J. Solecki, Stevo Todorcevic, and John Steel
    Bulletin of Symbolic Logic 16 (3). 2010.
  •  26
    Expansions of o-minimal structures by fast sequences
    with Harvey Friedman
    Journal of Symbolic Logic 70 (2): 410-418. 2005.
    Let ℜ be an o-minimal expansion of (ℝ,
  •  25
    Expansions of o-minimal structures by dense independent sets
    with Alfred Dolich and Charles Steinhorn
    Annals of Pure and Applied Logic 167 (8): 684-706. 2016.
  •  23
    Expansions of the real field by open sets: definability versus interpretability
    with Harvey Friedman, Krzysztof Kurdyka, and Patrick Speissegger
    Journal of Symbolic Logic 75 (4): 1311-1325. 2010.
    An open U ⊆ ℝ is produced such that (ℝ, +, ·, U) defines a Borel isomorph of (ℝ, +, ·, ℕ) but does not define ℕ. It follows that (ℝ, +, ·, U) defines sets in every level of the projective hierarchy but does not define all projective sets. This result is elaborated in various ways that involve geometric measure theory and working over o-minimal expansions of (ℝ, +, ·). In particular, there is a Cantor set E ⊆ ℝ such that (ℝ, +, ·, E) defines a Borel isomorph of (ℝ, +, ·, ℕ) and, for every exponen…Read more
  •  19
    Extensions of ordered theories by generic predicates
    with Alfred Dolich and Charles Steinhorn
    Journal of Symbolic Logic 78 (2): 369-387. 2013.
    Given a theoryTextending that of dense linear orders without endpoints, in a language ℒ ⊇ {
  •  13
    Connectedness in Structures on the Real Numbers: O-Minimality and Undecidability
    with Alfred Dolich, Alex Savatovsky, and Athipat Thamrongthanyalak
    Journal of Symbolic Logic 87 (3): 1243-1259. 2022.
    We initiate an investigation of structures on the set of real numbers having the property that path components of definable sets are definable. All o-minimal structures on $(\mathbb {R},
  •  2
    We say that E is R-sparse if f(Ek) has no interior, for each k 2 N and f : Rk ! R de nable in R. (Throughout, \de nable" means \de nable without parameters".) In this note, we consider the extent to which basic metric and topological properties of subsets of R de nable in (R;E)# are determined by the corresponding properties of subsets of R de nable in (R;E), when R is an o-minimal expansion of (R;
  •  1
    Des14x3taz: A type I superluminous supernova showing a luminous, rapidly cooling initial pre-peak Bump
    with M. Smith, M. Sullivan, C. B. D'Andrea, F. J. Castander, R. Casas, S. Prajs, A. Papadopoulos, R. C. Nichol, N. V. Karpenka, Bernard S. R., P. Brown, R. Cartier, J. Cooke, C. Curtin, T. M. Davis, R. J. da FinleyFoley, A. Gal-Yam, S. da GoldsteinGonzález-Gaitán, R. R. Gupta, C. da HowellInserra, R. Kessler, C. Lidman, J. Marriner, P. Nugent, T. A. Pritchard, M. Sako, S. Smartt, R. C. Smith, H. Spinka, R. C. Thomas, R. C. Wolf, A. Zenteno, T. M. C. Abbott, A. Benoit-Lévy, E. Bertin, D. Brooks, E. Buckley-Geer, A. C. Rosell, M. C. Kind, J. Carretero, M. Crocce, C. E. Cunha, L. N. Da Costa, S. Desai, H. T. Diehl, P. Doel, J. Estrada, A. E. Evrard, B. Flaugher, P. Fosalba, J. Frieman, D. W. Gerdes, D. Gruen, R. A. Gruendl, James D. J., K. Kuehn, N. Kuropatkin, O. Lahav, T. S. Li, J. L. Marshall, P. Martini, Miquel R., B. Nord, R. Ogando, A. A. Plazas, K. Reil, A. K. Romer, and A. Roodman
    © 2016. The American Astronomical Society. All rights reserved.We present DES14X3taz, a new hydrogen-poor superluminous supernova discovered by the Dark Energy Survey supernova program, with additional photometric data provided by the Survey Using DECam for Superluminous Supernovae. Spectra obtained using Optical System for Imaging and low-Intermediate-Resolution Integrated Spectroscopy on the Gran Telescopio CANARIAS show DES14X3taz is an SLSN-I at z = 0.608. Multi-color photometry reveals a do…Read more