On decidability in local and global fields