Pages that link to "Item:Q4093433"
From MaRDI portal
The following pages link to Undecidability of the Theory of Abelian Groups with a Subgroup (Q4093433):
Displayed 7 items.
- A uniform method for proving lower bounds on the computational complexity of logical theories (Q917543) (← links)
- Arithmetic of Dedekind cuts of ordered abelian groups (Q998307) (← links)
- Model-theoretic and algorithmic questions in group theory (Q1063112) (← links)
- Expanding varieties by monoids of endomorphisms (Q1080450) (← links)
- On pairs of free modules over a Dedekind domain (Q2580960) (← links)
- Undecidable theories of valuated abelian groups (Q3218311) (← links)
- (Q4668857) (← links)