The people I mentioned and their work are intentionally overlooked because it doesn't fit a dogma around Platonic Realism and Classical Logic.