The following pages link to (Q4263795):
Displaying 7 items.
- A characterization of the language invariant families satisfying spectrum exchangeability in polyadic inductive logic (Q636320) (← links)
- Definable invariants of bilinear mappings (Q1813802) (← links)
- Definability and invariance (Q2454641) (← links)
- Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates (Q3012933) (← links)
- Fixed-Point Definability and Polynomial Time (Q3644737) (← links)
- (Q4406622) (← links)
- Effective definability of Kolchin polynomials (Q5218192) (← links)