Pages that link to "Item:Q4093433"

The following pages link to Undecidability of the Theory of Abelian Groups with a Subgroup (Q4093433):

Displaying 9 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)
• Abelian \(C\)-minimal valued groups (Q2358630) (← links)
• On pairs of free modules over a Dedekind domain (Q2580960) (← links)
• Undecidable theories of valuated abelian groups (Q3218311) (← links)
• (Q4668857) (← links)
• Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability (Q6047670) (← links)