Imagen de Portada

Model theory of term algebras revisited

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Carolillo, Davide, Jia, Yifan, Khoussainov, Bakh, Sklinos, Rizos
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

Almost free algebras: from the word problem to elimination of quantifiers
por: Jia, Yifan, et al.
Publicado: (2026)

Fields interpretable in the free group
por: Sklinos, Rizos
Publicado: (2020)

Profinite rigidity of affine Coxeter groups
por: Paolini, Gianluca, et al.
Publicado: (2024)

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

Profinite rigidity of crystallographic groups arising from Lie theory
por: Carolillo, Davide, et al.
Publicado: (2025)

The construction principle and non homogeneity of uncountable relatively free groups
por: Carolillo, Davide, et al.
Publicado: (2023)

Fields interpretable in the free group
por: Rizos Sklinos
Publicado: (2024)

First-order sentences in random groups I: universal sentences
por: Kharlampovich, O., et al.
Publicado: (2021)

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

Extensional concepts in intensional type theory, revisited
por: Kapulkin, Chris, et al.
Publicado: (2023)

The number of normal measures, revisited
por: Kaplan, Eyal
Publicado: (2025)

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

A two-sorted theory of nilpotent Lie algebras
por: d'Elbée, Christian, et al.
Publicado: (2024)

Cyclic system for an algebraic theory of alternating parity automata
por: Das, Anupam, et al.
Publicado: (2025)

Measures and stability in a model, revisited
por: d'Elbée, Christian, et al.
Publicado: (2026)

Generalization of terms via universal algebra
por: Flaminio, Tommaso, et al.
Publicado: (2025)

Computable $K$-theory for C*-algebras II: AF algebras
por: Eagle, Christopher J., et al.
Publicado: (2026)

An algebraic theory of ω-regular languages, via μν-expressions
por: Das, Anupam, et al.
Publicado: (2025)

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

Boolean-valued second-order logic revisited
por: Ikegami, Daisuke
Publicado: (2025)

Denotational semantics driven simplicial homology?
por: Barbarossa, Davide
Publicado: (2024)

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

Duality theory and representations for distributive quasi relation algebras and DInFL-algebras
por: Craig, Andrew, et al.
Publicado: (2025)

The unstable formula theorem revisited via algorithms
por: Malliaris, Maryanthe, et al.
Publicado: (2022)

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

Facility Location Games Beyond Single-Peakedness: the Entrance Fee Model
por: Ma, Mengfan, et al.
Publicado: (2022)

Non-computability of $K$-theory for computably presented C*-algebras
por: Eagle, Christopher J., et al.
Publicado: (2026)

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

Compositional theories for host-core languages
por: Trotta, Davide, et al.
Publicado: (2020)

Model-theoretic properties of nilpotent groups and Lie algebras
por: d'Elbée, Christian, et al.
Publicado: (2023)

On the isomorphism problem for ultraproducts of $\mathrm{C}^*$-algebras in continuous model theory
por: Arai, Akihiko
Publicado: (2025)

A monoidal category of dependently sorted algebraic theories I: syntax
por: Almeida, Daniel
Publicado: (2025)

Model theory of Steiner triple systems
por: Barbina, Silvia, et al.
Publicado: (2018)

First-order sentences in random groups III
por: Kharlampovich, Olga, et al.
Publicado: (2025)

Nelson algebras, residuated lattices and rough sets: A survey
por: Järvinen, Jouni, et al.
Publicado: (2024)

The magmatic universe revisited: we define ordered pairs, relations, numbers and a special form of Separation
por: Tzouvaras, Athanassios
Publicado: (2026)

On the preservation of unification type of Heyting algebras and interior algebras
por: Düntsch, Ivo, et al.
Publicado: (2025)

Bringing closure to theory combination properties
por: Toledo, Guilherme V., et al.
Publicado: (2026)

Undecidability of theories of semirings with fixed points
por: Das, Anupam, et al.
Publicado: (2025)

A concrete model for a typed linear algebraic lambda calculus
por: Díaz-Caro, Alejandro, et al.
Publicado: (2018)