Imagen de Portada

Almost free algebras: from the word problem to elimination of quantifiers

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Jia, Yifan, Koh, Heer Tern, Khoussainov, Bakh
Formato:	Preprint
Publicado:	2026
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Model theory of term algebras revisited
por: Carolillo, Davide, et al.
Publicado: (2026)

Primitive recursive categoricity spectra of functional structures
por: Bazhenov, Nikolay, et al.
Publicado: (2026)

Primitive recursive categoricity spectra
por: Bazhenov, Nikolay, et al.
Publicado: (2026)

Automatic constraint satisfaction problem
por: Bulatov, Andrei, et al.
Publicado: (2026)

Computable topological groups
por: Koh, Heer Tern, et al.
Publicado: (2022)

An efficient quantifier elimination procedure for Presburger arithmetic
por: Haase, Christoph, et al.
Publicado: (2024)

Affinization and quantifier-elimination
por: Bagheri, Seyed-Mohammad
Publicado: (2025)

Cut-elimination for the alternation-free modal mu-calculus
por: Afshari, Bahareh, et al.
Publicado: (2025)

Large Scale Geometries of Infinite Strings
por: Khoussainov, Bakhadyr, et al.
Publicado: (2019)

Model completeness and quantifier elimination for (ordered) central simple algebras with involution
por: Astier, Vincent
Publicado: (2025)

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
por: Koponen, Vera, et al.
Publicado: (2023)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
por: Dowek, Gilles, et al.
Publicado: (2023)

Proof-theoretic methods in quantifier-free definability
por: Kocsis, Zoltan A.
Publicado: (2023)

Decidability for Sturmian words
por: Hieronymi, Philipp, et al.
Publicado: (2021)

Almost free modules, perfect decomposition and Enochs's conjecture
por: Cortés-Izurdiaga, Manuel, et al.
Publicado: (2024)

The complete classification for quantified equality constraints
por: Zhuk, Dmitriy, et al.
Publicado: (2021)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
por: Afshari, Bahareh, et al.
Publicado: (2024)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
por: Oda, Yukihiro, et al.
Publicado: (2021)

Stationarity and elimination of imaginaries in stable and simple theories
por: Bartnick, Charlotte
Publicado: (2024)

Generalized quantifiers using team semantics
por: Engström, Fredrik
Publicado: (2024)

Cofinality quantifiers in Abstract Elementary Classes and beyond
por: Boney, Will
Publicado: (2022)

Almost sure OTM-realizability
por: Carl, Merlin
Publicado: (2024)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
por: Oda, Yukihiro
Publicado: (2025)

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
por: Oda, Yukihiro, et al.
Publicado: (2022)

Normalization and cut-elimination theorems for some logics of evidence and truth
por: Coniglio, Marcelo E., et al.
Publicado: (2024)

Cut elimination for a non-wellfounded system for the master modality
por: Miranda, Borja Sierra, et al.
Publicado: (2025)

Deciding regular games: a playground for exponential time algorithms
por: Liang, Zihui, et al.
Publicado: (2024)

Finite Kripke models and provability interpretations in quantified modal logic
por: Kogure, Haruka, et al.
Publicado: (2026)

Almost cohomology of finite-dimensional Lie rings
por: Invitti, Moreno
Publicado: (2026)

Almost real closed fields with real analytic structure
por: Nguyen, Kien Huu, et al.
Publicado: (2024)

Balancing Efficiency with Equality: Auction Design with Group Fairness Concerns
por: Jia, Fengjuan, et al.
Publicado: (2024)

MSO logic of the real order with the set quantifiers ranging over the Borel sets
por: Džamonja, Mirna
Publicado: (2025)

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

On the cut-elimination of the modal $μ$-calculus: Linear Logic to the rescue
por: Bauer, Esaïe, et al.
Publicado: (2025)

Modulo quantifiers over functional vocabularies extending addition
por: Baskar, A., et al.
Publicado: (2017)

On Presburger arithmetic extended with non-unary counting quantifiers
por: Habermehl, Peter, et al.
Publicado: (2022)

Ramsey Property and Pathological Sets: Almost Disjointness, Independence and Other Maximal Objects
por: He, Jialiang, et al.
Publicado: (2026)

Regular expressions over countable words
por: Colcombet, Thomas, et al.
Publicado: (2025)

Difference-restriction algebras with operators
por: Borlido, Célia, et al.
Publicado: (2025)

Convex algebras on an interval with semicontinuous monotone operations
por: Sokolova, Ana, et al.
Publicado: (2026)