•  82
    We show that, assuming impossibility of absolute nothingness, a necessary being does exist. Our argument is an elaboration of the "Subtraction argument" known in philosophical circles, and it makes use of the compactness theorem of propositional logic and an interpretation of the notion of "possible worlds" through propositional valuations.
  •  28
    P-adically closed fields with nonstandard analytic structure
    Journal of Symbolic Logic 75 (3): 802-816. 2010.
    We prove quantifier elimination for the field ${\Bbb Q}_{p}((t^{{\Bbb Q}}))$ (the completion of the field of Puiseux series over ${\Bbb Q}_{p}$ ) in Macintyre's language together with symbols for functions in a class containing both t-adically and p-adically overconvergent functions. We also show that the theory of ${\Bbb Q}_{p}((t^{{\Bbb Q}}))$ is b-minimal in this language
  •  27
    The Field of LE-Series with a Nonstandard Analytic Structure
    Notre Dame Journal of Formal Logic 52 (3): 255-265. 2011.
    In this paper we prove that the field of Logarithmic-Exponential power series endowed with the exponential function and a class of analytic functions containing both the overconvergent functions in the t -adic norm and the usual strictly convergent power series is o-minimal
  •  26
    A General Theorem on Temporal Foliations of Causal Sets
    with Abdallah Zaiour
    Foundations of Physics 48 (4): 456-478. 2018.
    Causal sets are a particular class of partially ordered sets, which are proposed as basic models of discrete space-time, specially in the field of quantum gravity. In this context, we show the existence of temporal foliations for any causal set, or more generally, for a causal space. Moreover, we show that automorphisms of a large class of infinite causal sets fall into two classes 1) Automorphisms of spacelike hypersurfaces in some given foliation, or 2) Translations in time. More generally, we…Read more