Pages that link to "Item:Q5945007"
From MaRDI portal
The following pages link to Computability in structures representing a Scott set (Q5945007):
Displaying 7 items.
- Computable Scott sentences for quasi-Hopfian finitely presented structures (Q2700812) (← links)
- COMPUTABLE STRUCTURES IN GENERIC EXTENSIONS (Q2976365) (← links)
- Kleene, Rabin, and Scott Are Available (Q3584949) (← links)
- (Q3773855) (← links)
- Bounded Scott Set Saturation (Q4531088) (← links)
- SCOTT COMPLEXITY OF COUNTABLE STRUCTURES (Q5021936) (← links)
- Computable trees of Scott rank <i>ω</i><sub>1</sub><sup><i>CK</i></sup>, and computable approximation (Q5477636) (← links)