Matches in SemOpenAlex for { <https://semopenalex.org/work/W2151637592> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2151637592 abstract "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 techniques arising from topology and domain theory, including sobriety and the de Groot dual of a stably compact space. We show that the category Nthr of Noetherian spaces is finitely complete and finitely cocomplete. Finally, we note that if X is a Noetherian space, then the set of all (even infinite) subsets of X is again Noetherian, a result that fails for well-quasi orders." @default.
- W2151637592 created "2016-06-24" @default.
- W2151637592 creator A5032396554 @default.
- W2151637592 date "2007-01-01" @default.
- W2151637592 modified "2023-09-23" @default.
- W2151637592 title "On Noetherian Spaces" @default.
- W2151637592 cites W1582269801 @default.
- W2151637592 cites W1916487582 @default.
- W2151637592 cites W1967174286 @default.
- W2151637592 cites W1977116278 @default.
- W2151637592 cites W1989736956 @default.
- W2151637592 cites W1998263323 @default.
- W2151637592 cites W2003298321 @default.
- W2151637592 cites W2008853089 @default.
- W2151637592 cites W2017315323 @default.
- W2151637592 cites W2050304663 @default.
- W2151637592 cites W2052306562 @default.
- W2151637592 cites W2069246348 @default.
- W2151637592 cites W2096035734 @default.
- W2151637592 cites W2134705851 @default.
- W2151637592 cites W2138899395 @default.
- W2151637592 cites W2150954457 @default.
- W2151637592 cites W2159344381 @default.
- W2151637592 cites W4247648311 @default.
- W2151637592 doi "https://doi.org/10.1109/lics.2007.34" @default.
- W2151637592 hasPublicationYear "2007" @default.
- W2151637592 type Work @default.
- W2151637592 sameAs 2151637592 @default.
- W2151637592 citedByCount "24" @default.
- W2151637592 countsByYear W21516375922012 @default.
- W2151637592 countsByYear W21516375922013 @default.
- W2151637592 countsByYear W21516375922014 @default.
- W2151637592 countsByYear W21516375922016 @default.
- W2151637592 countsByYear W21516375922020 @default.
- W2151637592 countsByYear W21516375922021 @default.
- W2151637592 countsByYear W21516375922023 @default.
- W2151637592 crossrefType "proceedings-article" @default.
- W2151637592 hasAuthorship W2151637592A5032396554 @default.
- W2151637592 hasConcept C111919701 @default.
- W2151637592 hasConcept C114614502 @default.
- W2151637592 hasConcept C118615104 @default.
- W2151637592 hasConcept C136119220 @default.
- W2151637592 hasConcept C184720557 @default.
- W2151637592 hasConcept C202444582 @default.
- W2151637592 hasConcept C2778572836 @default.
- W2151637592 hasConcept C2779057376 @default.
- W2151637592 hasConcept C33923547 @default.
- W2151637592 hasConcept C41008148 @default.
- W2151637592 hasConcept C81332173 @default.
- W2151637592 hasConceptScore W2151637592C111919701 @default.
- W2151637592 hasConceptScore W2151637592C114614502 @default.
- W2151637592 hasConceptScore W2151637592C118615104 @default.
- W2151637592 hasConceptScore W2151637592C136119220 @default.
- W2151637592 hasConceptScore W2151637592C184720557 @default.
- W2151637592 hasConceptScore W2151637592C202444582 @default.
- W2151637592 hasConceptScore W2151637592C2778572836 @default.
- W2151637592 hasConceptScore W2151637592C2779057376 @default.
- W2151637592 hasConceptScore W2151637592C33923547 @default.
- W2151637592 hasConceptScore W2151637592C41008148 @default.
- W2151637592 hasConceptScore W2151637592C81332173 @default.
- W2151637592 hasLocation W21516375921 @default.
- W2151637592 hasLocation W21516375922 @default.
- W2151637592 hasOpenAccess W2151637592 @default.
- W2151637592 hasPrimaryLocation W21516375921 @default.
- W2151637592 hasRelatedWork W2020762820 @default.
- W2151637592 hasRelatedWork W2104793728 @default.
- W2151637592 hasRelatedWork W2348145403 @default.
- W2151637592 hasRelatedWork W2354885222 @default.
- W2151637592 hasRelatedWork W2381544357 @default.
- W2151637592 hasRelatedWork W2963158695 @default.
- W2151637592 hasRelatedWork W2963655972 @default.
- W2151637592 hasRelatedWork W2964074697 @default.
- W2151637592 hasRelatedWork W3037406645 @default.
- W2151637592 hasRelatedWork W3112765868 @default.
- W2151637592 isParatext "false" @default.
- W2151637592 isRetracted "false" @default.
- W2151637592 magId "2151637592" @default.
- W2151637592 workType "article" @default.