Imagen de Portada

Transposition of variables is hard to describe

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Andréka, H., Németi, I., Tuza, Zs.
Formato:	Preprint
Publicado:	2024
Materias:	Logic 03B20, 03G15, 05E16 (Primary) 03F20, 51E15, 20M20, 08B15 (Secondary)
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Nonrepresentable relation algebras from group systems
por: Andréka, H., et al.
Publicado: (2018)

Minimal signatures with undecidability of representability by binary relations
por: Hirsch, Robin, et al.
Publicado: (2024)

The variety of coset relation algebras
por: Givant, Steven, et al.
Publicado: (2018)

Relation algebras containing Thompson groups
por: Maddux, Roger D.
Publicado: (2023)

Zoo of ideal Schauder basis
por: Kwela, Adam, et al.
Publicado: (2025)

Constructing maximal cofinitary groups
por: Schrittesser, David
Publicado: (2021)

Term algebras of elementarily equivalent atom structures
por: Andréka, H., et al.
Publicado: (2018)

Inner ultrahomogeneous groups
por: Rzepecki, Tomasz
Publicado: (2024)

Definability of maximal cofinitary groups
por: Mejak, Severin, et al.
Publicado: (2022)

Equivalence of generics
por: Smythe, Iian B.
Publicado: (2018)

Quasi-treeings are treeable: a streamlined proof
por: Zhai, Zhaoshen
Publicado: (2024)

The Isomorphism Problem for Oligomorphic Groups with Weak Elimination of Imaginaries
por: Paolini, Gianluca
Publicado: (2024)

On pre-local tabularity above $\mathrm{S4}\times \mathrm{S4}$
por: Shapirovsky, Ilya B., et al.
Publicado: (2025)

A representation theorem for measurable relation algebras
por: Givant, S., et al.
Publicado: (2018)

Coset relation algebras
por: Andréka, H., et al.
Publicado: (2018)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
por: Koshkin, Sergiy
Publicado: (2024)

Generic groups and the weak amalgamation property
por: Ivanov, Aleksander, et al.
Publicado: (2024)

Nonstandard free groups
por: Miasnikov, Alexei, et al.
Publicado: (2026)

Generalizations of The Finite Height Criterion for Local Tabularity
por: Shapirovsky, Ilya B.
Publicado: (2025)

Is Peirce's reduction thesis gerrymandered?
por: Koshkin, Sergiy
Publicado: (2024)

On some algebraic properties of Plonka sums and regularized varieties
por: Bonzio, S., et al.
Publicado: (2026)

A representation theorem for measurable relation algebras with cyclic groups
por: Andréka, Hajnal, et al.
Publicado: (2018)

Torsion-free abelian groups are faithfully Borel complete and pure embeddability is a complete analytic quasi-order
por: Paolini, Gianluca, et al.
Publicado: (2023)

$\aleph_1$-free abelian non-Archimedean Polish groups
por: Paolini, Gianluca, et al.
Publicado: (2024)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
por: Kołodziejczyk, Leszek Aleksander, et al.
Publicado: (2026)

Free Left Distributive Algebras and a Canonical Extension
por: Cramer, Scott, et al.
Publicado: (2026)

A free two-generated left distributive algebra of elementary embeddings
por: Brooke-Taylor, Andrew D., et al.
Publicado: (2025)

Johnson's axioms revisited: Bases for Boolean algebras containing identities of associative type. I
por: Sankappanavar, Hanamantagouda P.
Publicado: (2025)

Free algebras and coproducts in varieties of Gödel algebras
por: Carai, Luca
Publicado: (2024)

Testing definitional equivalence of theories via automorphism groups
por: Andréka, H., et al.
Publicado: (2022)

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

Fundamental groups and descriptive set theory
por: Wu, Fanxin
Publicado: (2025)

Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras
por: Cornejo, Juan M., et al.
Publicado: (2024)

Unorthodox Algebras and their associated Unorthodox Logics
por: Sankappanavar, Hanamantagouda P.
Publicado: (2025)

Connexive logics and connexive semi-Heyting algebras
por: Cornejo, Juan M., et al.
Publicado: (2025)

On extendability to $F_σ$ ideals
por: Kwela, Adam
Publicado: (2021)

Connecting the space of marked groups and the space of group operations
por: Kátay, Tamás
Publicado: (2025)

Tilings of the Hyperbolic Space and Lipschitz Functions
por: Bargetz, Christian, et al.
Publicado: (2024)

Quasivarieties of p-algebras: some new results
por: Kowalski, Tomasz, et al.
Publicado: (2024)

Quantifier-free formulas and quantifier alternation depth in doctrines
por: Abbadini, Marco, et al.
Publicado: (2024)