Pages that link to "Item:Q579238"
From MaRDI portal
The following pages link to Theory of Abelian groups with constructive models (Q579238):
Displaying 8 items.
- The model-theoretic structure of Abelian group rings (Q762143) (← links)
- ABE with tag made easy. Concise framework and new instantiations in prime-order groups (Q1703914) (← links)
- The constructive equality theory (Q1866906) (← links)
- Formulas and properties for families of theories of abelian groups (Q1980393) (← links)
- An uncountably categorical theory whose only computably presentable model is saturated (Q2505131) (← links)
- Prime models of theories of computable linear orderings (Q2723507) (← links)
- The model theory of finitely generated finite-by-abelian groups (Q3726098) (← links)
- (Q3791132) (← links)