Order:
Disambiguations
Luc Bélair [12]Louise Bélair [3]L. Belair [1]
  1.  8
    La recherche collaborative et son apport au développement de l’agir professionnel d’enseignants associés.Christine Lebel & Louise Belair - 2018 - Revue Phronesis 7 (4):49-64.
    This article presents the results of an evaluative research on the impacts of collaborative research in the evolution of the practices of researchers and associated teachers. It was a question of understanding how the collaborative approach was useful and relevant to the participants, how it enabled them to better take ownership of their role as an associate teacher, and how to transform their practices.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Substructures and uniform elimination for p-adic fields.Luc Bélair - 1988 - Annals of Pure and Applied Logic 39 (1):1-17.
  3.  5
    Un modèle de postures et d’interventions comme ensemble dynamique pour accompagner les pratiques en situation professionnelle.Stéphane Colognesi, Catherine Van Nieuwenhoven, Edmée Runtz-Christan, Christine Lebel & Louise Bélair - 2019 - Revue Phronesis 8 (1-2):5-21.
    In this theoretical contribution, we interpret the notion of professional development in the light of concepts coming from cognitive development. This brings us to consider teacher training as not only having to allow the elaboration of skills, but also as having to encourage the development of new cognitive structures. We explore the theoretical concepts in relation with certain processes revealed by the reflexive texts of the students. Finally, we propose ways that could foster certain dimensions of global professional development in (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  5
    Le travail d’accompagnement des formateurs de stagiaires dans l’enseignement supérieur : perspectives compréhensives et modalités de mise en place.Christine Lebel, Catherine Van Nieuwenhoven, Stéphane Colognesi & Louise Bélair - 2019 - Revue Phronesis 8 (1-2):1.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. 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 (6 more)  
     
    Export citation  
     
    Bookmark  
  6.  20
    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 (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  7
    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   2 citations  
  8. 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  
  9. Definability in fields of p-adic functions.L. Belair & Jl Duret - 1991 - Journal of Symbolic Logic 56 (3):783-785.
  10.  5
    Closed p-adic rings and rings of definable functions.Luc Bélair - 1991 - Journal of Symbolic Logic 56 (2):539-553.
  11.  35
    Corrigendum to: “Quantifier elimination in valued Ore modules”.Luc Bélair & Françoise Point - 2012 - Journal of Symbolic Logic 77 (2):727-728.
  12.  42
    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  
  13.  3
    Rings of p-adic functions.Luc Bélair - 1995 - Journal of Symbolic Logic 60 (2):484-497.
  14.  4
    Separably closed fields and contractive ore modules.Luc Bélair & Françoise Point - 2015 - Journal of Symbolic Logic 80 (4):1315-1338.
  15.  3
    Undecidability of groups of real curves.Luc Bélair & Jean-Louis Duret - 1994 - Journal of Symbolic Logic 59 (1):87-91.
  16.  64
    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.