12 found
Order:
  1.  37
    René Cori et Daniel Lascar. Logique mathématique. Cours et exercices. Tome I. Calcul propositionnel, algèbres de Boole, calcul des prédicats. Préface de J.-L. Krivine. Collection axiomes. Masson, Paris etc. 1993, xv + 385 p. - René Cori et Daniel Lascar. Logique mathématique. Cours et exercices. Tome II. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. Préface de J.-L. Krivine. Collection axiomes. Masson, Paris etc. 1993, xv + 347 p. [REVIEW]Luc Bélair - 1995 - Journal of Symbolic Logic 60 (2):691-692.
  2. Definissabilite Dans Les Corps de Fonctions P-Adiques.Luc Bélair & Jean-Louis Duret - 1991 - Journal of Symbolic Logic 56 (3):783-785.
    We study function fields over p-adically closed fields in the first-order language of fields. Using ideas of Duret [D], we show that the field of constants is definable, and that the genus is an elementary property.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  3. Substructures and Uniform Elimination for P-Adic Fields.Luc Bélair - 1988 - Annals of Pure and Applied Logic 39 (1):1-17.
  4. Indécidabilité Des Corps de Courbe Réelle.Luc Bélair & Jean-Louis Duret - 1994 - Journal of Symbolic Logic 59 (1):87-91.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  33
    Quantifier Elimination in Valued Ore Modules.Luc Bélair & Françoise Point - 2010 - Journal of Symbolic Logic 75 (3):1007-1034.
    We consider valued fields with a distinguished isometry or contractive derivation as valued modules over the Ore ring of difference operators. Under certain assumptions on the residue field, we prove quantifier elimination first in the pure module language, then in that language augmented with a chain of additive subgroups, and finally in a two-sorted language with a valuation map. We apply quantifier elimination to prove that these structures do not have the independence property.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  6.  13
    Corrigendum To: “Quantifier Elimination in Valued Ore Modules”.Luc Bélair & Françoise Point - 2012 - Journal of Symbolic Logic 77 (2):727-728.
  7.  11
    Anneaux de Fonctions P-Adiques.Luc Bélair - 1995 - Journal of Symbolic Logic 60 (2):484-497.
    We study first-order properties of the quotient rings C(V)/P by a prime ideal P, where C(V) is the ring of p-adic valued continuous definable functions on some affine p-adic variety V. We show that they are integrally closed Henselian local rings, with a p-adically closed residue field and field of fractions, and they are not valuation rings in general but always satisfy ∀ x, y(x|y 2 ∨ y|x 2 ).
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  8.  2
    Separably Closed Fields and Contractive Ore Modules.Luc Bélair & Françoise Point - 2015 - Journal of Symbolic Logic 80 (4):1315-1338.
  9.  1
    Undecidability of Groups of Real Curves.Luc Bélair & Jean-Louis Duret - 1994 - Journal of Symbolic Logic 59 (1):87-91.
  10.  1
    Anneaux P-Adiquement Clos Et Anneaux de Fonctions Définissables.Luc Bélair - 1991 - Journal of Symbolic Logic 56 (2):539-553.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  11.  1
    Closed P-Adic Rings and Rings of Definable Functions.Luc Bélair - 1991 - Journal of Symbolic Logic 56 (2):539-553.
  12. Rings of P-Adic Functions.Luc Bélair - 1995 - Journal of Symbolic Logic 60 (2):484-497.