Pages that link to "Item:Q579238"

The following pages link to Theory of Abelian groups with constructive models (Q579238):

Displaying 2 items.

• An uncountably categorical theory whose only computably presentable model is saturated (Q2505131) (← links)
• Prime models of theories of computable linear orderings (Q2723507) (← links)