Filters








6 Hits in 1.8 sec

Constructions cachées en algèbre abstraite (4). La solution du 17e problème de Hilbert par la théorie d'Artin-Schreier

Henri Lombardi
2001 Publications mathématiques de Besançon  
Constructions cachées en algèbre abstraite (4). La solution du 17ème problème de Hilbert par la théorie d'Artin-Schreier H.  ...  LOMBARDI Constructions cachées en algèbre abstraite (4) La solution du 17 eme problème de Hilbert par la théorie d'Artin-Schreier Résumé Nous expliquons comment la théorie abstraite d'Artin-Schreier qui  ...  En résumé, c'est la version "théorie des modèles" de la preuve d'Artin-Schreier, avec utilisation du principe de transfert de Tarski-Seidenberg (ce qui est vrai dans un corps réel clos est vrai dans toutes  ... 
doi:10.5802/pmb.a-95 fatcat:ns2lvv6wizf7rcpq6nnxzrc6ku

Page 3698 of Mathematical Reviews Vol. , Issue 99f [page]

1999 Mathematical Reviews  
Kucera (Prague) 99f:03088 03F65 03B35 12D15 16B70 Lombardi, Henri (F-FRAN-EM; Besancon) Relecture constructive de la théorie d’Artin-Schreier.  ...  (English and French summaries) [A constructive rereading of the Artin-Schreier theory] Ann. Pure Appl. Logic 91 (1998), no. 1, 59-92.  ... 

Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert

Henri Lombardi
2006 Annals of Pure and Applied Logic  
La relecture constructive des preuves abstraites n'est alors rien d'autre que la constatation que les axiomes géométriques sont utilisés de manière correcte.  ...  Enfin, les espaces de fonctions continues sur ces espaces sans points sont souvent utilisés dans d'élégantes théories abstraites. Ces espaces de fonctions sont bien définis constructivement.  ...  Je remercie aussi les organisateurs du colloque 2WFTOP pour leur invitation et de leur insistance pour que je rédige ma conférence.  ... 
doi:10.1016/j.apal.2005.05.023 fatcat:2xp2lvlsyvddpikoullczzdswa

Page 335 of Mathematical Reviews Vol. 31, Issue Index [page]

Mathematical Reviews  
de la théorie d’Artin-Schreier.  ...  (English and French summaries) [A constructive rereading of the Artin-Schreier theory] 99f:03088 Prest, Mike Morphisms between finitely presented modules and infinite-dimensional representations. 99i:16027  ... 

Altérations et groupe fondamental premier à $p$

Fabrice Orgogozo
2003 Bulletin de la Société Mathématique de France  
BULLETIN DE LA SOCIÉTÉ MATHÉMATIQUE DE FRANCE  ...  Cesénoncés sont déduits de faits généraux sur les images directes de champs, une fois spécialisés au cas des torseurs sous un groupe constant fini d'ordre inversible sur la base.  ...  Par t-exactitude de la transformation de Fourier sur S, on sait que si désigne un F -faisceau lisse de rang 1 d'Artin-Schreier sur A 1 k , et un faisceau sur S, Rq ! p * ⊗ ( , ) = Rq * p * ⊗ ( , ) .  ... 
doi:10.24033/bsmf.2438 fatcat:thvnqjrewffope6k45renisftm

Modifications et cycles proches sur une base generale

F. Orgogozo
2006 International mathematics research notices  
However, we know it is so (assuming constructibility of F etc.) if S is the spectrum of a dvr (P. Deligne, SGA 4 1/2, [Th. finitude]).  ...  The main ingredient is a theorem by A.J. de Jong on plurinodal fibrations. An application of this formalism to Lefschetz pencils is given.  ...  Par la théorie d'Artin-Schreier, il suffit de montrer que si d ≥ 1, f ∈ Γ(P 2 , O(d)) et D := V (x0) V (f ) =: H, il existe une fonction g sur P 2 − H, nulle sur D, qui n'est pas de la forme h p − h pour  ... 
doi:10.1155/imrn/2006/25315 fatcat:3avb2rcmnbbihabcraa3vggfs4