The following pages link to (Q3910512):
Displayed 7 items.
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- A portrait of Alfred Tarski (Q809989) (← links)
- On quantifier-rank equivalence between linear orders (Q964492) (← links)
- Stationary logic of ordinals (Q1062974) (← links)
- Recursive categoricity and recursive stability (Q1084103) (← links)
- Unifying threads in Alfred Tarski's work (Q1286341) (← links)
- Elimination of unbounded quantifiers for some poly-regular groups of infinite rank (Q2461190) (← links)