:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Andraschko, Bernhard, Danner, Julian, Kreuzer, Martin
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science Commutative Algebra Logic 03B70 (Primary) 13P15, 05C90, 94A60 (Secondary)
Online Access:	https://arxiv.org/abs/2311.00733
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Analytic Ax-Kochen-Ersov theory with lifts of the residue field and value group
by: Bhardwaj, Neer, et al.
Published: (2024)

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

Hulls of projective Reed-Muller codes over the projective plane
by: Ruano, Diego, et al.
Published: (2023)

Bridging Meadows and Sheaves
by: Dias, João, et al.
Published: (2024)

Efficiently Checking Separating Indeterminates
by: Andraschko, Bernhard, et al.
Published: (2024)

Projectable reduced $f$-rings admitting elimination of quantifiers
by: Guier, Jorge I.
Published: (2026)

The Amalgamation Property for automorphisms of ordered abelian groups
by: Dobrowolski, Jan, et al.
Published: (2022)

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

Azumaya algebras and Barr Theorem
by: Coquand, Thierry, et al.
Published: (2023)

Projective length, phantom extensions, and the structure of flat modules
by: Casarosa, Matteo, et al.
Published: (2025)

On limit models and parametrized noetherian rings
by: Mazari-Armida, Marcos
Published: (2024)

A Structural Analysis of Infinity in Set Theory and Modern Algebra
by: Betz, Noah
Published: (2025)

Deconstructible classes of modules and stability
by: Mazari-Armida, Marcos, et al.
Published: (2025)

Differentially Henselian Fields
by: Ng, Gabriel
Published: (2023)

A Formalization of Divided Powers in Lean
by: Chambert-Loir, Antoine, et al.
Published: (2025)

Definable henselian valuations on dp-minimal real fields
by: Krapp, Lothar Sebastian, et al.
Published: (2024)

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

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

On GL-domains and the ascent of the IDF property
by: Gonzalez, Victor, et al.
Published: (2025)

Homomorphism Preservation Theorems for Many-Valued Structures
by: Carr, James
Published: (2024)

Constant power maps on Hardy fields and transseries
by: Kaplan, Elliot
Published: (2024)

Relative injective modules, superstability and noetherian categories
by: Mazari-Armida, Marcos, et al.
Published: (2023)

Code Equivalence, Point Set Equivalence, and Polynomial Isomorphism
by: Kreuzer, Martin
Published: (2025)

Initially Cohen-Macaulay Modules
by: Namiq, Mohammed Rafiq
Published: (2025)

The Tree Pulldown Method: McLaughlin's Conjecture and Beyond
by: Harrington, Leo A., et al.
Published: (2025)

Efficient Algorithms for Finite $\mathbb{Z}$-Algebras
by: Kreuzer, Martin, et al.
Published: (2023)

Quantum-Resistant Cryptography via Universal Gröbner Bases
by: Da Silva, Sergio, et al.
Published: (2025)

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)

Gröbner bases and the second generalized Hamming weight of a linear code
by: de Alba, Hernán, et al.
Published: (2025)

Hilbert polynomials for finitary matroids
by: Fornasiero, Antongiulio, et al.
Published: (2022)

On class groups of upper cluster algebras
by: Pompili, Mara
Published: (2023)

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

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

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

Logical reduction of relations: from relational databases to Peirce's reduction thesis
by: Koshkin, Sergiy
Published: (2024)

Length-Factoriality and Pure Irreducibility
by: Bu, Alan, et al.
Published: (2022)

Factoriality and class groups of cluster algebras
by: Elsener, Ana Garcia, et al.
Published: (2017)