Cover Image

When Darwin met Ianus: dichotomies of expressivity

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Brunar, Johanna, Pinsker, Michael, Schöbi, Moritz
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Logic Rings and Algebras
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An algebraic proof of the dichotomy for graph orientation problems with forbidden tournaments
by: Feller, Roman, et al.
Published: (2024)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
by: Pinsker, Michael, et al.
Published: (2025)

The sorrows of a smooth digraph: the first hardness criterion for infinite directed graph-colouring problems
by: Brunar, Johanna, et al.
Published: (2025)

Local structure of idempotent algebras I
by: Bulatov, Andrei A.
Published: (2020)

Network Satisfaction Problems Solved by k-Consistency
by: Bodirsky, Manuel, et al.
Published: (2023)

The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
by: Bolan, Matthew, et al.
Published: (2025)

Formalizing Mason-Stothers Theorem and its Corollaries in Lean 4
by: Baek, Jineon, et al.
Published: (2024)

Formalizing Gröbner Basis Theory in Lean
by: Guo, Junyu, et al.
Published: (2026)

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms
by: Bodirsky, Manuel, et al.
Published: (2025)

An order out of nowhere: a new algorithm for infinite-domain CSPs
by: Mottet, Antoine, et al.
Published: (2023)

A simplified proof of the CSP Dichotomy Conjecture and XY-symmetric operations
by: Zhuk, Dmitriy
Published: (2024)

Symmetric Linear Arc Monadic Datalog and Gadget Reductions
by: Bodirsky, Manuel, et al.
Published: (2024)

Formalizing a classification theorem for low-dimensional solvable Lie algebras in Lean
by: del Barco, Viviana, et al.
Published: (2025)

The first fatal axiom for weakened sequential products on finite MV-effect algebras: Local obstruction, exact low-rank classification, and the rank-one boundary case
by: Higuchi, Joaquim Reizi
Published: (2026)

When Agda met Vampire
by: Šinkarovs, Artjoms, et al.
Published: (2026)

Strict width for Constraint Satisfaction Problems over homogeneous strucures of finite duality
by: Nagy, Tomáš, et al.
Published: (2024)

Some applications of finite BL-algebras
by: Flaut, Cristina, et al.
Published: (2025)

The theory of implicit operations
by: Carai, Luca, et al.
Published: (2025)

Taylor expansions over generalised power series
by: Bagayoko, Vincent, et al.
Published: (2025)

A Module-theoretic Introduction to Abstract Elementary Classes
by: Boney, Will
Published: (2025)

Bass modules and embeddings into free modules
by: Pillay, Anand, et al.
Published: (2025)

Constructive Quantifier Elimination with a Focus on Matrix Rings
by: Illmer, Maximilian, et al.
Published: (2025)

An addendum to "The theory of implicit operations"
by: Carai, Luca, et al.
Published: (2025)

Cylindric quasi-implication algebras
by: McDonald, Joseph
Published: (2025)

Quasicomplemented distributive nearlattices
by: Calomino, Ismael
Published: (2025)

Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras
by: Alpay, Natanael, et al.
Published: (2022)

Trees and spectra of Heyting algebras
by: Fornasiere, Damiano, et al.
Published: (2024)

Sharply 2-transitive groups of finite Morley rank
by: Altinel, Tuna, et al.
Published: (2018)

Dual Ploščica spaces of ortholattices
by: Craig, Andrew, et al.
Published: (2026)

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

Automorphisms and derivations on algebras endowed with formal infinite sums
by: Bagayoko, Vincent, et al.
Published: (2024)

Relational correspondences for L-fuzzy rough approximations defined on De Morgan Heyting algebras
by: Järvinen, Jouni, et al.
Published: (2023)

On the structure of approximate rings
by: Krupiński, Krzysztof, et al.
Published: (2026)

A guide to topological reconstruction on endomorphism monoids and polymorphism clones
by: Marimon, Paolo, et al.
Published: (2025)

On the Zariski topology on endomorphism monoids of omega-categorical structures
by: Pinsker, Michael, et al.
Published: (2023)

Collapsing the bounded width hierarchy for infinite-domain CSPs: when symmetries are enough
by: Mottet, Antoine, et al.
Published: (2021)

Polynomial definability in constraint languages with few subpowers
by: Bulín, Jakub, et al.
Published: (2023)

Computability of Equivariant Gröbner bases
by: Ghosh, Arka, et al.
Published: (2025)

Automated Tactics for Polynomial Reasoning in Lean 4
by: Shen, Hao, et al.
Published: (2026)

Formalizing Wu-Ritt Method in Lean 4
by: Xiao, Yuxuan, et al.
Published: (2026)