Pages that link to "Item:Q1255943"
From MaRDI portal
The following pages link to Constructive models of \(\aleph_1\)-categorical theories (Q1255943):
Displaying 4 items.
- Computable models of theories with few models (Q1381432) (← links)
- An uncountably categorical theory whose only computably presentable model is saturated (Q2505131) (← links)
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)
- 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06 (Q5421032) (← links)
