:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Bodirsky, Manuel, Jahel, Colin
Format:	Preprint
Published:	2022
Subjects:	Combinatorics Logic
Online Access:	https://arxiv.org/abs/2204.01404
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Forbidden Tournaments and the Orientation Completion Problem
by: Bodirsky, Manuel, et al.
Published: (2023)

Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors
by: Seppelt, Tim
Published: (2023)

Graph Homomorphisms and Universal Algebra
by: Bodirsky, Manuel
Published: (2026)

Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO
by: Mählmann, Nikolas
Published: (2025)

Separability Properties of Monadically Dependent Graph Classes
by: Bonnet, Édouard, et al.
Published: (2025)

On Homomorphism Graphs
by: Brandt, Sebastian, et al.
Published: (2021)

When invariance implies exchangeability (and applications to invariant Keisler measures)
by: Braunfeld, Samuel, et al.
Published: (2024)

Distinguishing Graphs by Counting Homomorphisms from Sparse Graphs
by: Neuen, Daniel, et al.
Published: (2026)

The Generic Circular Triangle-Free Graph
by: Bodirsky, Manuel, et al.
Published: (2024)

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes
by: Dreier, Jan, et al.
Published: (2024)

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

Extension property for partial automorphisms of the $n$-partite and semigeneric tournaments
by: Hubička, Jan, et al.
Published: (2024)

An Algorithmic Meta Theorem for Homomorphism Indistinguishability
by: Seppelt, Tim
Published: (2024)

Universal Horn Sentences and the Joint Embedding Property
by: Bodirsky, Manuel, et al.
Published: (2021)

Quasi-invariant measures concentrating on countable structures
by: Conley, Clinton, et al.
Published: (2024)

Transductions of Graph Classes Admitting Product Structure
by: Hliněný, Petr, et al.
Published: (2025)

A non-de Finetti theorem for countable Euclidean spaces
by: Jahel, Colin, et al.
Published: (2024)

Structures preserved by primitive actions of $S_ω$
by: Bodirsky, Manuel, et al.
Published: (2025)

On Planarity of Graphs in Homotopy Type Theory
by: Prieto-Cubides, Jonathan, et al.
Published: (2021)

Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability
by: Roberson, David E., et al.
Published: (2023)

Borel Homomorphisms from Forests to Kneser Graphs
by: Weilacher, Felix
Published: (2026)

Unitary Representations of the Isometry Groups of Urysohn Spaces
by: Barritault, Rémi, et al.
Published: (2024)

First-Order Logic and Twin-Width for Some Geometric Graphs
by: Geniet, Colin, et al.
Published: (2025)

Indivisibility and uniform computational strength
by: Gill, Kenneth
Published: (2023)

Decomposing graphs into stable and ordered parts
by: Buffière, Hector, et al.
Published: (2025)

Monadic Second-Order Logic of Permutations
by: Jelínek, Vít, et al.
Published: (2025)

Decidability for Sturmian words
by: Hieronymi, Philipp, et al.
Published: (2021)

Transducing Linear Decompositions of Tournaments
by: Geniet, Colin, et al.
Published: (2026)

Definable $(ω, 2)$-theorem for families with VC-codensity less than $2$
by: Guerrero, Pablo Andújar
Published: (2022)

Datalog-Expressibility for Monadic and Guarded Second-Order Logic
by: Bodirsky, Manuel, et al.
Published: (2020)

Mixed identities for oligomorphic automorphism groups
by: Bodirsky, Manuel, et al.
Published: (2024)

A very sharp threshold for first order logic distinguishability of random graphs
by: Benjamini, Itai, et al.
Published: (2022)

Multisorted Boolean Clones Determined by Binary Relations up to Minion Homomorphisms
by: Barto, Libor, et al.
Published: (2024)

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

A new perspective on semi-retractions and the Ramsey property
by: Bartošová, Dana, et al.
Published: (2022)

Existential characterizations of monadic NIP
by: Braunfeld, Samuel, et al.
Published: (2022)

A note on measure-theoretic domatic partitions
by: Hou, Edward
Published: (2022)

Measurable domatic partitions
by: Hou, Edward
Published: (2022)

Local and global $d$-rigidity are not definable in the first order logic of graphs
by: Bernstein, Daniel Irving, et al.
Published: (2025)

Classification properties for some ternary structures
by: Miguel-Gómez, Alberto
Published: (2024)