Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Jia, Yifan, Koh, Heer Tern, Khoussainov, Bakh
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Model theory of term algebras revisited
von: Carolillo, Davide, et al.
Veröffentlicht: (2026)

Primitive recursive categoricity spectra of functional structures
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2026)

Primitive recursive categoricity spectra
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2026)

Automatic constraint satisfaction problem
von: Bulatov, Andrei, et al.
Veröffentlicht: (2026)

Computable topological groups
von: Koh, Heer Tern, et al.
Veröffentlicht: (2022)

An efficient quantifier elimination procedure for Presburger arithmetic
von: Haase, Christoph, et al.
Veröffentlicht: (2024)

Affinization and quantifier-elimination
von: Bagheri, Seyed-Mohammad
Veröffentlicht: (2025)

Cut-elimination for the alternation-free modal mu-calculus
von: Afshari, Bahareh, et al.
Veröffentlicht: (2025)

Large Scale Geometries of Infinite Strings
von: Khoussainov, Bakhadyr, et al.
Veröffentlicht: (2019)

Model completeness and quantifier elimination for (ordered) central simple algebras with involution
von: Astier, Vincent
Veröffentlicht: (2025)

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
von: Koponen, Vera, et al.
Veröffentlicht: (2023)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
von: Dowek, Gilles, et al.
Veröffentlicht: (2023)

Proof-theoretic methods in quantifier-free definability
von: Kocsis, Zoltan A.
Veröffentlicht: (2023)

Decidability for Sturmian words
von: Hieronymi, Philipp, et al.
Veröffentlicht: (2021)

Almost free modules, perfect decomposition and Enochs's conjecture
von: Cortés-Izurdiaga, Manuel, et al.
Veröffentlicht: (2024)

The complete classification for quantified equality constraints
von: Zhuk, Dmitriy, et al.
Veröffentlicht: (2021)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
von: Afshari, Bahareh, et al.
Veröffentlicht: (2024)

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

Stationarity and elimination of imaginaries in stable and simple theories
von: Bartnick, Charlotte
Veröffentlicht: (2024)

Generalized quantifiers using team semantics
von: Engström, Fredrik
Veröffentlicht: (2024)

Cofinality quantifiers in Abstract Elementary Classes and beyond
von: Boney, Will
Veröffentlicht: (2022)

Almost sure OTM-realizability
von: Carl, Merlin
Veröffentlicht: (2024)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
von: Oda, Yukihiro
Veröffentlicht: (2025)

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

Normalization and cut-elimination theorems for some logics of evidence and truth
von: Coniglio, Marcelo E., et al.
Veröffentlicht: (2024)

Cut elimination for a non-wellfounded system for the master modality
von: Miranda, Borja Sierra, et al.
Veröffentlicht: (2025)

Deciding regular games: a playground for exponential time algorithms
von: Liang, Zihui, et al.
Veröffentlicht: (2024)

Finite Kripke models and provability interpretations in quantified modal logic
von: Kogure, Haruka, et al.
Veröffentlicht: (2026)

Almost cohomology of finite-dimensional Lie rings
von: Invitti, Moreno
Veröffentlicht: (2026)

Almost real closed fields with real analytic structure
von: Nguyen, Kien Huu, et al.
Veröffentlicht: (2024)

Balancing Efficiency with Equality: Auction Design with Group Fairness Concerns
von: Jia, Fengjuan, et al.
Veröffentlicht: (2024)

MSO logic of the real order with the set quantifiers ranging over the Borel sets
von: Džamonja, Mirna
Veröffentlicht: (2025)

Projectable reduced $f$-rings admitting elimination of quantifiers
von: Guier, Jorge I.
Veröffentlicht: (2026)

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

Modulo quantifiers over functional vocabularies extending addition
von: Baskar, A., et al.
Veröffentlicht: (2017)

On Presburger arithmetic extended with non-unary counting quantifiers
von: Habermehl, Peter, et al.
Veröffentlicht: (2022)

Ramsey Property and Pathological Sets: Almost Disjointness, Independence and Other Maximal Objects
von: He, Jialiang, et al.
Veröffentlicht: (2026)

Regular expressions over countable words
von: Colcombet, Thomas, et al.
Veröffentlicht: (2025)

Difference-restriction algebras with operators
von: Borlido, Célia, et al.
Veröffentlicht: (2025)

Convex algebras on an interval with semicontinuous monotone operations
von: Sokolova, Ana, et al.
Veröffentlicht: (2026)