On Noetherian Spaces

  title={On Noetherian Spaces},
  author={Jean Goubault-Larrecq},
  journal={22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)},
A topological space is Noetherian iff every open is compact. Our starting point is that this notion generalizes that of well-quasi order, in the sense that an Alexandroff-discrete space is Noetherian iff its specialization quasi-ordering is well. For more general spaces, this opens the way to verifying infinite transition systems based on non-well quasi ordered sets, but where the preimage operator satisfies an additional continuity assumption. The technical development rests heavily on… CONTINUE READING

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…