The following pages link to (Q5551146):
Displaying 14 items.
- INTERPRETING A FIELD IN ITS HEISENBERG GROUP (Q5100059) (← links)
- Complexity of Scott sentences (Q5146417) (← links)
- The property “arithmetic-is-recursive” on a cone (Q5163171) (← links)
- (Q5544276) (← links)
- Structures elementarily equivalent relative to infinitary languages to models of higher power (Q5643985) (← links)
- Countable structures for uncountable infinitary languages (Q5684640) (← links)
- DEGREES OF CATEGORICITY ON A CONE VIA<i>η</i>-SYSTEMS (Q5738206) (← links)
- THE COMPLEXITY OF SCOTT SENTENCES OF SCATTERED LINEAR ORDERS (Q5855748) (← links)
- (Q5863858) (← links)
- WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE? (Q5884253) (← links)
- Classes of algebraic structures (Q6147851) (← links)
- INTERLEAVING LOGIC AND COUNTING (Q6199174) (← links)
- Computable Scott sentences and the weak Whitehead problem for finitely presented groups (Q6539429) (← links)
- The strategic balance of games in logic (Q6612796) (← links)
