On the decidability of the theory of modules over the ring of algebraic integers
We prove that the theory of all modules over the ring of algebraic integers is decidable.
Discover
Workspaces
Network
Opportunities
Account
Researcher profile
Carlo Toffalori contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work