The following pages link to (Q3762316):
Displaying 4 items.
- Definability theorems in normal extensions of the provability logic (Q918958) (← links)
- A question posed by Bergstra and Tiuryn (Q1092893) (← links)
- An elementary definability theorem for first order logic (Q4934027) (← links)
- A remark concerning decidability of complete theories (Q5800816) (← links)