@article{https___doi.org_10.1002_malq.200710057,
    author = {Alonso, María E. and Lombardi, Henri and Perdry, Hervé},
    title = {Elementary constructive theory of Henselian local rings},
    journal = {Mathematical Logic Quarterly},
    volume = {54},
    number = {3},
    pages = {253-271},
    keywords = {Constructible mathematics, Henselian rings},
    doi = {https://doi.org/10.1002/malq.200710057},
    url = {https://onlinelibrary.wiley.com/doi/abs/10.1002/malq.200710057},
    eprint = {https://onlinelibrary.wiley.com/doi/pdf/10.1002/malq.200710057},
    abstract = {Abstract We give an elementary theory of Henselian local rings and construct the Henselisation of a local ring. All our theorems have an algorithmic content. (© 2008 WILEY-VCH Verlag GmbH \& Co. KGaA, Weinheim)},
    year = {2008},
    date-added = {2024-6-6 9:52:47 +0100}
}

@article{https___doi.org_10.1002_malq.200710057, author = {Alonso, María E. and Lombardi, Henri and Perdry, Hervé}, title = {Elementary constructive theory of Henselian local rings}, journal = {Mathematical Logic Quarterly}, volume = {54}, number = {3}, pages = {253-271}, keywords = {Constructible mathematics, Henselian rings}, doi = {https://doi.org/10.1002/malq.200710057}, url = {https://onlinelibrary.wiley.com/doi/abs/10.1002/malq.200710057}, eprint = {https://onlinelibrary.wiley.com/doi/pdf/10.1002/malq.200710057}, abstract = {Abstract We give an elementary theory of Henselian local rings and construct the Henselisation of a local ring. All our theorems have an algorithmic content. (© 2008 WILEY-VCH Verlag GmbH \& Co. KGaA, Weinheim)}, year = {2008}, date-added = {2024-6-6 9:52:47 +0100} }