The following pages link to (Q3230355):
Displaying 9 items.
- GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC (Q5880428) (← links)
- An undecidable linear order that is \(n\)-decidable for all \(n\) (Q5937834) (← links)
- Strongly minimal Steiner systems. II: Coordinatization and quasigroups (Q6040804) (← links)
- Arboreal categories and equi-resource homomorphism preservation theorems (Q6131200) (← links)
- First-order logic axiomatization of metric graph theory (Q6196830) (← links)
- Count-free Weisfeiler-Leman and group isomorphism (Q6545240) (← links)
- Generalized implicit definitions on finite structures (Q6560172) (← links)
- The modal logics of the poison game (Q6601761) (← links)
- An inverse Fraïssé limit for finite posets and duality for posets and lattices (Q6614519) (← links)
