Zobrazeno 1 - 10
of 108
pro vyhledávání: '"Henri Lombardi"'
This paper deals with the Peskine version of Zariski Main Theorem published in 1965 and discusses some applications. It is written in the style of Bishop's constructive mathematics. Being constructive, each proof in this paper can be interpreted as a
Externí odkaz:
http://arxiv.org/abs/1602.00597
We give an algorithm for computing the V-saturation of any finitely-generated submodule of a power of V[X], where V is a valuation domain. Our algorithm is based on a notion of "echelon form" which ensures its correctness. This allows us to compute a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::64406282d462dcbc66b148b662d55dea
http://arxiv.org/abs/2304.00303
http://arxiv.org/abs/2304.00303
Publikováno v:
Mathematics of Computation
Mathematics of Computation, American Mathematical Society, 2020, 89, pp.941-964. ⟨10.1090/mcom/3466⟩
Mathematics of Computation, American Mathematical Society, 2020, 89, pp.941-964. ⟨10.1090/mcom/3466⟩
International audience; We provide constructive versions of Hilbert's syzygy theorem for Z and Z/nZ following Schreyer's method. Moreover, we extend these results to arbitrary coherent strict Bézout rings with a divisibility test for the case of fin
Publikováno v:
Journal of Algebra
Journal of Algebra, Elsevier, 2021, 570, pp.587-594. ⟨10.1016/j.jalgebra.2020.11.020⟩
Journal of Algebra, Elsevier, 2021, 570, pp.587-594. ⟨10.1016/j.jalgebra.2020.11.020⟩
Let R be a local domain, v a valuation of its quotient field centred in R at its maximal ideal. We investigate the relationship between R h , the henselisation of R as local ring, and v ˜ , the henselisation of the valuation v, by focussing on the r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7713dfff4e0acd1a149f2c44d655d522
https://hal.archives-ouvertes.fr/hal-02923338v2/document
https://hal.archives-ouvertes.fr/hal-02923338v2/document
Publikováno v:
Paul Lorenzen--Mathematician and Logician
Paul Lorenzen: Mathematician and Logician
Gerhard Heinzmann; Gereon Wolters. Paul Lorenzen--Mathematician and Logician, Springer, pp.103-114, 2021, Logic, Epistemology, and the Unity of Science, 978-3-030-65823-6. ⟨10.1007/978-3-030-65824-3_7⟩
Paul Lorenzen--Mathematician and Logician ISBN: 9783030658236
Paul Lorenzen: Mathematician and Logician, Philosophisches Archiv der Universität Konstanz, Mar 2018, Konstanz, Germany
Paul Lorenzen: Mathematician and Logician
Gerhard Heinzmann; Gereon Wolters. Paul Lorenzen--Mathematician and Logician, Springer, pp.103-114, 2021, Logic, Epistemology, and the Unity of Science, 978-3-030-65823-6. ⟨10.1007/978-3-030-65824-3_7⟩
Paul Lorenzen--Mathematician and Logician ISBN: 9783030658236
Paul Lorenzen: Mathematician and Logician, Philosophisches Archiv der Universität Konstanz, Mar 2018, Konstanz, Germany
Inspired by the work of Lorenzen on the theory of preordered groups in the forties and fifties, we define regular entailment relations and show a crucial theorem for this structure. We also describe equivariant systems of ideals à la Lorenzen and sh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2f89d1922c610bab46288f091ee214b7
https://hal.archives-ouvertes.fr/hal-02418320v2/file/reg1.pdf
https://hal.archives-ouvertes.fr/hal-02418320v2/file/reg1.pdf
Autor:
Henri Lombardi
Publikováno v:
Advances in Rings, Modules and Factorizations
Advances in Rings, Modules and Factorizations, 321, Springer International Publishing, pp.223-245, 2020, Springer Proceedings in Mathematics & Statistics, ⟨10.1007/978-3-030-43416-8_13⟩
Springer Proceedings in Mathematics & Statistics ISBN: 9783030434151
Advances in Rings, Modules and Factorizations, 321, Springer International Publishing, pp.223-245, 2020, Springer Proceedings in Mathematics & Statistics, ⟨10.1007/978-3-030-43416-8_13⟩
Springer Proceedings in Mathematics & Statistics ISBN: 9783030434151
The category of distributive lattices is, in classical mathematics, antiequivalent to the category of spectral spaces. We give here some examples and a short dictionary for this antiequivalence. We propose a translation of several abstract theorems (
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::85b60232d209185c138e4f2e1d7ba3cb
https://hal.archives-ouvertes.fr/hal-03518998
https://hal.archives-ouvertes.fr/hal-03518998
Autor:
Gema M. Diaz-Toca, Henri Lombardi
Publikováno v:
Bulletin des Sciences Mathématiques
Bulletin des Sciences Mathématiques, Elsevier, 2020, 159, pp.102808. ⟨10.1016/j.bulsci.2019.102808⟩
Bulletin des Sciences Mathématiques, Elsevier, 2020, 159, pp.102808. ⟨10.1016/j.bulsci.2019.102808⟩
Resume Dans cet article nous presentons un algorithme pour calculer la forme de Hermite d'une pseudo-matrice sur un domaine de Prufer. Ceci nous donne des preuves constructives des principaux resultats theoriques concernant les modules de presentatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::045c53e8b60aed86af7f45772f969a0b
https://hal.archives-ouvertes.fr/hal-03519037
https://hal.archives-ouvertes.fr/hal-03519037
Autor:
Henri Lombardi, Assia Mahboubi
Publikováno v:
Ordered Algebraic Structures and Related Topics. :239-264
On cherche a determiner une theorie dynamique aussi complete que possible pour decrire les proprietes algebriques du corps des reels en mathema-tiques constructives sans axiome du choix dependant. Un but essentiel pour l'avenir est d'obtenir une vers
Publikováno v:
Rocky Mountain J. Math. 49, no. 5 (2019), 1449-1489
Rocky Mountain Journal of Mathematics
Rocky Mountain Journal of Mathematics, Rocky Mountain Mathematics Consortium, 2019, 49 (5), pp.1449-1489. ⟨10.1216/RMJ-2019-49-5-1449⟩
Rocky Mountain Journal of Mathematics
Rocky Mountain Journal of Mathematics, Rocky Mountain Mathematics Consortium, 2019, 49 (5), pp.1449-1489. ⟨10.1216/RMJ-2019-49-5-1449⟩
International audience; Unbounded entailment relations, introduced by Paul Lorenzen (1951), are a slight variant of a notion which plays a fundamental rôle in logic (see Scott 1974) and in algebra (see Lombardi and Quitté 2015). We call “systems
The authors prove an elementary recursive bound on the degrees for Hilbert's 17th problem. More precisely they express a nonnegative polynomial as a sum of squares of rational functions and obtain as degree estimates for the numerators and denominato