Cover Image

Coset relation algebras

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Andréka, H., Givant, S.
Format:	Preprint
Published:	2018
Subjects:	Logic 03G15, 20A15
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

Transposition of variables is hard to describe
by: Andréka, H., et al.
Published: (2024)

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

Is Peirce's reduction thesis gerrymandered?
by: Koshkin, Sergiy
Published: (2024)

Logic families
by: Andréka, H., et al.
Published: (2023)

Varieties generated by completions
by: Andréka, H., et al.
Published: (2018)

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

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

Cyclic group representations for relation algebras $57_{65}$ and $63_{65}$
by: Alm, Jeremy F.
Published: (2026)

Inner ultrahomogeneous groups
by: Rzepecki, Tomasz
Published: (2024)

Relation Algebras Compatible with $\mathbb{Z}_2$-sets
by: Alm, Jeremy F., et al.
Published: (2025)

Relation algebras containing Thompson groups
by: Maddux, Roger D.
Published: (2023)

Steep uncountable groups
by: Corson, Samuel M., et al.
Published: (2023)

Formalizing Pfaffian in bounded arithmetic
by: Kuroda, Satoru
Published: (2024)

Regular bi-interpretability and finite axiomatizability of Chevalley groups
by: Bunina, Elena, et al.
Published: (2023)

Free p-algebras revisited: an algebraic investigation of implication-free intuitionism
by: Kowalski, Tomasz, et al.
Published: (2024)

Minimal and intrinsic topologies on monoids of elementary embeddings
by: Gonzalez, J. de la Nuez, et al.
Published: (2026)

Borel complexity of families of finite equivalence relations via large cardinals
by: Laskowski, Michael C., et al.
Published: (2024)

Structurable equivalence relations and $\mathcal{L}_{ω_1ω}$ interpretations
by: Banerjee, Rishi, et al.
Published: (2024)

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

No universal group in a cardinal
by: Shelah, Saharon
Published: (2013)

Extensive embeddings into Fraïssé structures and stationary weak independence relations
by: Kwiatkowska, Aleksandra, et al.
Published: (2025)

Clones of Borel Boolean Functions
by: Chen, Ruiyuan, et al.
Published: (2024)

A permutation group acting transitively on certain collections of models
by: Corson, Samuel M., et al.
Published: (2025)

On equivalence relations induced by Polish groups
by: Ding, Longyun, et al.
Published: (2022)

A minimalist two-level foundation for constructive mathematics
by: Maietti, Maria Emilia
Published: (2008)

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

Preconditionals
by: Holliday, Wesley H.
Published: (2024)

Hausdorff dimension and countable Borel equivalence relations
by: Marks, Andrew, et al.
Published: (2024)

On Definably Compact Semigroups in o-Minimal Structures
by: Magalhães, Eduardo
Published: (2025)

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

Finite Combinatorics and Fragments of Arithmetic
by: Wang, Wei
Published: (2025)

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

Decidable varieties of p-algebras
by: Kowalski, Tomasz, et al.
Published: (2024)

Semi-Algebraic Proof Systems for QBF
by: Beyersdorff, Olaf, et al.
Published: (2025)

Equivalence of generics
by: Smythe, Iian B.
Published: (2018)

An unusual example of a universal automorphism group
by: Sullivan, Rob, et al.
Published: (2026)