Matches in SemOpenAlex for { <https://semopenalex.org/work/W4320085957> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W4320085957 abstract "This paper provides a canonical construction of a Noetherian least fixed point topology. While such least fixed point are not Noetherian in general, we prove that under a mild assumption, one can use a topological minimal bad sequence argument to prove that they are. We then apply this fixed point theorem to rebuild known Noetherian topologies with a uniform proof. In the case of spaces that are defined inductively (such as finite words and finite trees), we provide a uniform definition of a divisibility topology using our fixed point theorem. We then prove that the divisibility topology is a generalisation of the divisibility preorder introduced by Hasegawa in the case of well-quasi-orders." @default.
- W4320085957 created "2023-02-12" @default.
- W4320085957 creator A5039155682 @default.
- W4320085957 date "2022-07-15" @default.
- W4320085957 modified "2023-09-29" @default.
- W4320085957 title "Fixed Points and Noetherian Topologies" @default.
- W4320085957 doi "https://doi.org/10.48550/arxiv.2207.07614" @default.
- W4320085957 hasPublicationYear "2022" @default.
- W4320085957 type Work @default.
- W4320085957 citedByCount "0" @default.
- W4320085957 crossrefType "posted-content" @default.
- W4320085957 hasAuthorship W4320085957A5039155682 @default.
- W4320085957 hasBestOaLocation W43200859571 @default.
- W4320085957 hasConcept C114614502 @default.
- W4320085957 hasConcept C118615104 @default.
- W4320085957 hasConcept C134306372 @default.
- W4320085957 hasConcept C136119220 @default.
- W4320085957 hasConcept C184720557 @default.
- W4320085957 hasConcept C202444582 @default.
- W4320085957 hasConcept C2779057376 @default.
- W4320085957 hasConcept C33923547 @default.
- W4320085957 hasConcept C45962547 @default.
- W4320085957 hasConcept C61445026 @default.
- W4320085957 hasConcept C9991821 @default.
- W4320085957 hasConceptScore W4320085957C114614502 @default.
- W4320085957 hasConceptScore W4320085957C118615104 @default.
- W4320085957 hasConceptScore W4320085957C134306372 @default.
- W4320085957 hasConceptScore W4320085957C136119220 @default.
- W4320085957 hasConceptScore W4320085957C184720557 @default.
- W4320085957 hasConceptScore W4320085957C202444582 @default.
- W4320085957 hasConceptScore W4320085957C2779057376 @default.
- W4320085957 hasConceptScore W4320085957C33923547 @default.
- W4320085957 hasConceptScore W4320085957C45962547 @default.
- W4320085957 hasConceptScore W4320085957C61445026 @default.
- W4320085957 hasConceptScore W4320085957C9991821 @default.
- W4320085957 hasLocation W43200859571 @default.
- W4320085957 hasOpenAccess W4320085957 @default.
- W4320085957 hasPrimaryLocation W43200859571 @default.
- W4320085957 hasRelatedWork W1718701227 @default.
- W4320085957 hasRelatedWork W2031659000 @default.
- W4320085957 hasRelatedWork W2044561663 @default.
- W4320085957 hasRelatedWork W2046049376 @default.
- W4320085957 hasRelatedWork W2104060380 @default.
- W4320085957 hasRelatedWork W2161430598 @default.
- W4320085957 hasRelatedWork W2165496764 @default.
- W4320085957 hasRelatedWork W2526928619 @default.
- W4320085957 hasRelatedWork W2963158695 @default.
- W4320085957 hasRelatedWork W790264213 @default.
- W4320085957 isParatext "false" @default.
- W4320085957 isRetracted "false" @default.
- W4320085957 workType "article" @default.