The following pages link to (Q5623682):
Displaying 8 items.
- Applications of model theory to representations of finite-dimensional algebras (Q1145198) (← links)
- Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic (Q1577480) (← links)
- First-order continuous induction and a logical study of real closed fields (Q2287034) (← links)
- On decidability and axiomatizability of some ordered structures (Q2318170) (← links)
- The Beth property in algebraic logic (Q2433094) (← links)
- The compactness of first-order logic:from gödel to lindström (Q3141183) (← links)
- Definable Operations on Sets and Elimination of Imaginaries (Q4039320) (← links)
- Generalizing Computability Theory to Abstract Algebras (Q4637219) (← links)
