The following pages link to (Q5659497):
Displaying 10 items.
- First-order logic and first-order functions (Q497872) (← links)
- Une remarque sur la libre interpretabilite d'une rélation par une autre (Q1216301) (← links)
- Ensemble ordonne universel recouvert par deux chaînes (Q1222666) (← links)
- Condition de chaîne en théorie des rélations (Q1250101) (← links)
- Extensions completes d'une theorie forcing complete (Q1394224) (← links)
- \(\alpha\)-extendable paths in infinite graphs (Q1772276) (← links)
- Games, equations and the dot-depth hierarchy (Q1823928) (← links)
- An application of the Ehrenfeucht-Fraisse game in formal language theory (Q3347321) (← links)
- On dot-depth two (Q5750405) (← links)
- Sandwiches of ages (Q5935998) (← links)