Pages that link to "Item:Q1381432"
From MaRDI portal
The following pages link to Computable models of theories with few models (Q1381432):
Displaying 6 items.
- Automatic models of first order theories (Q387121) (← links)
- New spectra of strongly minimal theories in finite languages (Q638500) (← links)
- A new spectrum of recursive models (Q701304) (← links)
- Computable shuffle sums of ordinals (Q938232) (← links)
- Effective categoricity of abelian \(p\)-groups (Q1023056) (← links)
- Computable torsion abelian groups (Q1688648) (← links)
