Cover Image

Projectable reduced $f$-rings admitting elimination of quantifiers

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Guier, Jorge I.
Format:	Preprint
Published:	2026
Subjects:	Logic Commutative Algebra 03C10 (Primary), 06F25, 13J25, 13J30, 13A05, 06E15 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Dimension-Preserving Saturated Embeddings of Finite Posets into the Spectra of Noetherian UFDs
by: Baron, David, et al.
Published: (2025)

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

On the recursive and explicit form of the general J.C.P. Miller formula with applications
by: Bugajewski, Dariusz, et al.
Published: (2023)

Generalizing Gelfand duality to Nachbin spaces
by: Bezhanishvili, G., et al.
Published: (2026)

Finiteness and infiniteness of gradings of Noetherian rings
by: Meng, Cheng
Published: (2025)

On $S$-Prime Element Principle
by: Sarode, Sachin, et al.
Published: (2026)

On $S$-Noetherian Lattices
by: Sarode, Sachin, et al.
Published: (2026)

On the ascent of almost and quasi-atomicity to monoid semidomains
by: Gonzalez, Victor, et al.
Published: (2025)

On the ascent of atomicity to monoid algebras
by: Gotti, Felix, et al.
Published: (2023)

On composition and Right Distributive Law for formal power series of multiple variables
by: Bugajewski, Dariusz, et al.
Published: (2022)

A note on multiplicative roots of multivariable formal power series
by: Maćkowiak, Piotr, et al.
Published: (2025)

On Riordan groups involving formal semi-Laurent series and their Lie group structure
by: Bugajewski, Dariusz, et al.
Published: (2025)

Generalised power series determined by linear recurrence relations
by: Krapp, Lothar Sebastian, et al.
Published: (2022)

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

A factorisation theory for generalised power series and omnific integers
by: L'Innocente, Sonia, et al.
Published: (2017)

Descending finite projective modules from a Novikov ring
by: Kim, Dongryul
Published: (2024)

The face numbers of homology spheres
by: Chong, Kai Fong Ernest, et al.
Published: (2017)

Non-finitely generated monoids corresponding to finitely generated homogeneous subalgebras
by: Higashitani, Akihiro, et al.
Published: (2024)

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

André-Quillen homology and ascent of complete intersection flat dimensions
by: Sather-Wagstaff, Keri Ann, et al.
Published: (2025)

On the Weierstrass Preparation Theorem over General Rings
by: Bell, Jason, et al.
Published: (2025)

Multiplicative lattices with absorbing factorization
by: Reinhart, Andreas, et al.
Published: (2024)

On the Internal Sum of Puiseux Monoids
by: Du, Jonathan, et al.
Published: (2024)

On maximal common divisors in Puiseux monoids
by: Liang, Evin, et al.
Published: (2024)

Restricted minimum condition in reduced commutative rings
by: Krasula, Dominik
Published: (2022)

Imprimitive association schemes and elimination theory
by: Higashitani, Akihiro, et al.
Published: (2026)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)

Factorization in almost Dedekind domain
by: Chang, Gyu Whan, et al.
Published: (2026)

Arithmetic of cuts in ordered abelian groups and of ideals over valuation rings
by: Kuhlmann, Franz-Viktor, et al.
Published: (2024)

Properties of LCM Lattices of Monomial Ideals
by: Dorang, Matthew, et al.
Published: (2025)

Binomial edge rings of complete bipartite graphs
by: Higashitani, Akihiro
Published: (2024)

Non-external Proofs of Lagrange Inversion Formula
by: Beck, Dominik, et al.
Published: (2026)

A Knebusch trace formula for Azumaya algebras with involution
by: Astier, Vincent, et al.
Published: (2026)

Continuity of total signature maps for Azumaya algebras with involution
by: Astier, Vincent, et al.
Published: (2025)

On the atomicity of one-dimensional monoid algebras
by: Panpaliya, Ishan
Published: (2024)

On the transfer of certain ring-theoretic properties in Anderson rings
by: Baek, Hyungtae, et al.
Published: (2024)

A note on the class of sober rings
by: Jafari, Saeid, et al.
Published: (2025)

Definable ranks
by: Krapp, Lothar Sebastian, et al.
Published: (2025)

Quasi-quadratic modules in pseudo-valuation domain
by: Fujita, Masato, et al.
Published: (2023)