Pages that link to "Item:Q1040653"
From MaRDI portal
The following pages link to Definability in substructure orderings. I: Finite semilattices (Q1040653):
Displaying 27 items.
- Definability in the substructure ordering of simple graphs (Q259729) (← links)
- Semilattices of definable subalgebras. II (Q694248) (← links)
- Definability in substructure orderings. II: Finite ordered sets (Q981680) (← links)
- Avoidable structures. I: Finite ordered sets, semilattices and lattices (Q1047090) (← links)
- Definability in substructure orderings. IV: Finite lattices (Q1047100) (← links)
- Definability in substructure orderings. III: Finite distributive lattices (Q1047103) (← links)
- Axiomatizing the subsumption and subword preorders on finite and infinite partial words (Q1605337) (← links)
- Identical inclusions of semilattices (Q2182565) (← links)
- Definability in the embeddability ordering of finite directed graphs (Q2264119) (← links)
- Definability in the embeddability ordering of finite directed graphs. II (Q2314424) (← links)
- Definability in the substructure ordering of finite directed graphs (Q2665828) (← links)
- Complexity in Young's lattice (Q2668002) (← links)
- Alternating complexity of counting first-order logic for the subword order (Q2687036) (← links)
- Well-Quasi Orders and Hierarchy Theory (Q3295154) (← links)
- Semilattices of Definable Subalgebras (Q3409449) (← links)
- Rogers Semilattices of Finite Partially Ordered Sets (Q3446516) (← links)
- Definability in the Subword Order (Q3576212) (← links)
- Definable Sets in Ordered Structures. II (Q3812218) (← links)
- (Q4683860) (← links)
- The Subtrace Order and Counting First-Order Logic (Q5042249) (← links)
- (Q5089232) (← links)
- (Q5202641) (← links)
- Definability of Recursive Predicates in the Induced Subgraph Order (Q5224502) (← links)
- Definability in First Order Theories of Graph Orderings (Q5283438) (← links)
- (Q5376657) (← links)
- Definability in the Homomorphic Quasiorder of Finite Labeled Forests (Q5425345) (← links)
- On the automorphism group of the substructure ordering of finite directed graphs (Q6615246) (← links)