1.  16
    New Orleans Marriott and Sheraton New Orleans Hotels New Orleans, LA January 8–9, 2011.Jeremy Avigad, Ulrich W. Kohlenbach, Henry Towsner, Samson Abramsky, Andreas Blass, Larry Moss, Alf Onshuus Nino, Patrick Speissegger, Juris Steprans & Monica VanDieren - 2012 - Bulletin of Symbolic Logic 18 (1).
    Direct download  
    Export citation  
  2.  17
    Expansions of the Real Field by Open Sets: Definability Versus Interpretability.Harvey Friedman, Krzysztof Kurdyka, Chris Miller & Patrick Speissegger - 2010 - Journal of Symbolic Logic 75 (4):1311-1325.
    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 ⊆ ℝ (...)
    Direct download (7 more)  
    Export citation  
  3.  39
    Pfaffian Differential Equations Over Exponential o-Minimal Structures.Chris Miller & Patrick Speissegger - 2002 - Journal of Symbolic Logic 67 (1):438-448.