BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Henri Lombardi

Henri Lombardi contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.ACmath.AGmath.LO

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2024arXiv

Anneaux à diviseurs et anneaux de Krull (une approche constructive)

We give give an elementary and constructive version of the theory of "Prüfer v-Multiplication Domains" (which we call "anneaux à diviseurs" in the paper) and Krull Domains. The main results of these theories are revisited from a constructive point of view, following the Bishop style, and without assuming properties of complete factorizations. Nous présentons dans cet article une approche constructive, dans le style de Bishop, de la théorie des diviseurs et des anneaux de Krull. Nous accordons une place centrale aux "anneaux à diviseurs," appelés PvMD dans la littérature anglaise. Les résultats classiques sont obtenus comme résultats d'algorithmes explicites sans faire appel aux hypothèses de factorisation complète.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Construction du hensélisé d'un corps valué

We give an explicit construction of the henselization of a valued field, with a constructive proof. It is analogous to the construction of the real closure of a discrete ordered field. Nous donnons une construction explicite, et constructivement prouvée, du hensélisé d'un corps valué. Cette construction peut être considérée comme l'analogue, dans le cas valué, de la construction de la clôture rééelle d'un corps ordonné.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Dimension de Heitmann des treillis distributifs et des anneaux commutatifs

We study a notion of dimension which was introduced by R. Heitmann in his remarkable paper in 1984, and also a related notion, implicit in the proofs in his paper. We develop these notions in the general framework of distributive lattices and spectral spaces. We obtain in this way constructive versions of important theorems in commutative algebra, with simpler proofs than the classical ones, and some new results.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-noetherian case

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 recent result by de Felipe and Teissier referred to in the title. We give a new proof that simplifies the original one by using purely algebraic arguments. This proof is moreover constructive in the sense of Bishop and previous work of the authors, and allows us to obtain as a by-product a (slight) generalisation of the theorem by de Felipe and Teissier.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Virtual Roots of Real Polynomials

The fact that a real univariate polynomial misses some real roots is usually overcame by considering complex roots, but the price to pay for, is a complete lost of the sign structure that a set of real roots is endowed with (mutual position on the line, signs of the derivatives, etc...). In this paper we present real substitutes for these missing roots which keep sign properties and which extend of course the existing roots. Moreover these "virtual roots" are the values of semialgebraic continuous -- rather uniformly -- functions defined on the set of monic polynomials. We present some applications.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

À propos d'un théorème de de Felipe et Teissier sur la comparaison de deux hensélisés dans le cas non noethérien

This paper gives an elementary proof of a theorem by de Felipe and Teissier in the paper "Valuations and henselization" (arXiv:1903.10793v1), to appear in Math. Annalen. The theorem compares two henselizations of a local domain dominated by a valuation domain. Our proofs are written in the constructive Bishop style.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Regular entailment relations

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 show that the remarkable regularisation process invented by him yields a regular entailment relation. By providing constructive objects and arguments, we pursue Lorenzen's aim of "bringing to light the basic, pure concepts in their simple and transparent clarity"

0 citations0 reviewsNo code linkedOpen access