Cover Image

Azumaya algebras and Barr Theorem

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Coquand, Thierry, Lombardi, Henri, Neuwirth, Stefan
Format:	Preprint
Published:	2023
Subjects:	Commutative Algebra Logic 13, 03
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Local structure of etale algebras
by: Coquand, Thierry
Published: (2026)

Heitmann dimension of distributive lattices and commutative rings
by: Coquand, Thierry, et al.
Published: (2023)

Anneaux à diviseurs et anneaux de Krull (une approche constructive)
by: Coquand, Thierry, et al.
Published: (2015)

The Regular Element Property in Constructive Mathematics
by: Coquand, Thierry
Published: (2024)

Spectral spaces versus distributive lattices: a dictionary
by: Lombardi, Henri
Published: (2018)

Multivariate Hensel Lemma for ultrametric fields
by: Alonso, M. -E., et al.
Published: (2023)

Geometric theories for real number algebra without sign test or dependent choice axiom
by: Lombardi, Henri, et al.
Published: (2024)

A decisive Theorem (Un théorème décisif)
by: Lombardi, Henri
Published: (2025)

A Prime-Generated Formalization of Nagata's Factoriality Theorem in Lean 4
by: Ramos, Arthur F., et al.
Published: (2026)

Endogenies and Linearisation
by: Deloro, Adrien, et al.
Published: (2024)

Théorème de de Smit et Lenstra, démonstration élémentaire
by: Lombardi, Henri, et al.
Published: (2015)

Algebraic identities to prove that a neat finite free algebra is tracically étale
by: Quitté, Claude, et al.
Published: (2025)

Closed bounded sets in 1-h-minimal valued fields
by: López, Juan Pablo Acosta
Published: (2024)

Seminormal Rings (following Thierry Coquand)
by: Lombardi, Henri, et al.
Published: (2023)

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
by: Coquand, Thierry, et al.
Published: (2017)

Commutative algebra: Constructive methods. Finite projective modules
by: Lombardi, Henri, et al.
Published: (2016)

Bochvar algebras: A categorical equivalence and the generated variety
by: Bonzio, Stefano, et al.
Published: (2024)

Decidability for the theory of modules over a Prüfer domain
by: Gregory, Lorna
Published: (2021)

Note on radical and prime E-ideals
by: Fornasiero, Antongiulio, et al.
Published: (2023)

Uniform terms and local elements
by: Zhuravlov, Volodymyr
Published: (2024)

Valuative dimension, constructive points of view
by: Neuwirth, Stefan, et al.
Published: (2023)

Generalised Buchberger and Schreyer algorithms for strongly discrete coherent rings
by: Neuwirth, Stefan, et al.
Published: (2024)

Théories géométriques pour l'algèbre des nombres réels sans test de signe ni axiome de choix dépendant
by: Lombardi, Henri, et al.
Published: (2024)

Note on the coincidence of two henselisations
by: García, María Emilia Alonso, et al.
Published: (2024)

Taylor Morphisms
by: Ng, Gabriel
Published: (2023)

Model Theory of Local Real Closed SV-Rings of Finite Rank
by: Piepenborn, Ricardo Palomino
Published: (2024)

Cardinality of groups and rings via the idempotency of infinite cardinals
by: Tarizadeh, Abolfazl
Published: (2024)

An algorithm for computing syzygies on $V[X]$ when $V$ is a valuation domain
by: Lombardi, Henri, et al.
Published: (2023)

Polynomials as terms and the Boolean Independence Theorem
by: Klazar, M.
Published: (2024)

Dp-finite and Noetherian NIP integral domains
by: Johnson, Will
Published: (2023)

Definable henselian valuations in positive residue characteristic
by: Ketelsen, Margarete, et al.
Published: (2024)

Model theory of valued fields with an endomorphism
by: Ramello, Simone
Published: (2024)

The syzygy theorem for Bézout rings
by: Gamanda, Maroua, et al.
Published: (2019)

Generic derivations on algebraically bounded structures
by: Antongiulio, Fornasiero, et al.
Published: (2023)

Quasipolynomial behavior via constructibility in multigraded algebra
by: Dao, Hailong, et al.
Published: (2025)

Constructive theory of ordinals
by: Coquand, Thierry, et al.
Published: (2022)

The André-Quillen cohomology of commutative monoids
by: Agrawalla, Bhavya, et al.
Published: (2022)

Elementary Constructive Theory of Henselian Local Rings
by: García, Alonso, et al.
Published: (2022)

SAT Solving Using XOR-OR-AND Normal Forms
by: Andraschko, Bernhard, et al.
Published: (2023)

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl
by: Neuwirth, Stefan, et al.
Published: (2024)