Matches in SemOpenAlex for { <https://semopenalex.org/work/W2559455893> ?p ?o ?g. }
- W2559455893 abstract "We study Tao's finitary viewpoint of convergence in metric spaces, as captured by the notion of metastability. We adopt the perspective of continuous model theory. We show that, in essence, metastable convergence with a given rate is the only formulation of metric convergence that can be captured by a theory in continuous first-order logic, a result we call the Uniform Metastability Principle. Philosophically, this principle amounts to the following meta-theorem: If a classical statement about convergence in metric structures is refined to a statement about metastable convergence with some rate, then the validity of the original statement implies the validity of its metastable version. As an instance of this phenomenon, we formulate an abstract version of Tao's Metastable Dominated Convergence Theorem as a statement about axiomatizable classes of metric structures, and show that it is a direct consequence of the Uniform Metastability Principle." @default.
- W2559455893 created "2016-12-08" @default.
- W2559455893 creator A5037080454 @default.
- W2559455893 creator A5056456551 @default.
- W2559455893 date "2016-11-30" @default.
- W2559455893 modified "2023-09-27" @default.
- W2559455893 title "Model theory and metric convergence I: Metastability and dominated convergence" @default.
- W2559455893 cites W1525064220 @default.
- W2559455893 cites W1542113445 @default.
- W2559455893 cites W1553230187 @default.
- W2559455893 cites W1680292221 @default.
- W2559455893 cites W1946008701 @default.
- W2559455893 cites W1984856495 @default.
- W2559455893 cites W1992818631 @default.
- W2559455893 cites W2012497542 @default.
- W2559455893 cites W2014173786 @default.
- W2559455893 cites W2033781291 @default.
- W2559455893 cites W2072087802 @default.
- W2559455893 cites W2072112614 @default.
- W2559455893 cites W2086045987 @default.
- W2559455893 cites W2089021455 @default.
- W2559455893 cites W2152009173 @default.
- W2559455893 cites W2154055950 @default.
- W2559455893 cites W219454614 @default.
- W2559455893 cites W2220905346 @default.
- W2559455893 cites W2962941654 @default.
- W2559455893 cites W2963267448 @default.
- W2559455893 cites W2964191563 @default.
- W2559455893 cites W3099595641 @default.
- W2559455893 hasPublicationYear "2016" @default.
- W2559455893 type Work @default.
- W2559455893 sameAs 2559455893 @default.
- W2559455893 citedByCount "7" @default.
- W2559455893 countsByYear W25594558932017 @default.
- W2559455893 countsByYear W25594558932018 @default.
- W2559455893 countsByYear W25594558932020 @default.
- W2559455893 countsByYear W25594558932023 @default.
- W2559455893 crossrefType "posted-content" @default.
- W2559455893 hasAuthorship W2559455893A5037080454 @default.
- W2559455893 hasAuthorship W2559455893A5056456551 @default.
- W2559455893 hasConcept C111472728 @default.
- W2559455893 hasConcept C121332964 @default.
- W2559455893 hasConcept C127162648 @default.
- W2559455893 hasConcept C138885662 @default.
- W2559455893 hasConcept C162324750 @default.
- W2559455893 hasConcept C176217482 @default.
- W2559455893 hasConcept C202444582 @default.
- W2559455893 hasConcept C21547014 @default.
- W2559455893 hasConcept C2777026412 @default.
- W2559455893 hasConcept C2777303404 @default.
- W2559455893 hasConcept C2778003309 @default.
- W2559455893 hasConcept C28826006 @default.
- W2559455893 hasConcept C31258907 @default.
- W2559455893 hasConcept C33923547 @default.
- W2559455893 hasConcept C41008148 @default.
- W2559455893 hasConcept C50522688 @default.
- W2559455893 hasConcept C538505008 @default.
- W2559455893 hasConcept C57869625 @default.
- W2559455893 hasConcept C5871375 @default.
- W2559455893 hasConcept C62520636 @default.
- W2559455893 hasConcept C89464430 @default.
- W2559455893 hasConceptScore W2559455893C111472728 @default.
- W2559455893 hasConceptScore W2559455893C121332964 @default.
- W2559455893 hasConceptScore W2559455893C127162648 @default.
- W2559455893 hasConceptScore W2559455893C138885662 @default.
- W2559455893 hasConceptScore W2559455893C162324750 @default.
- W2559455893 hasConceptScore W2559455893C176217482 @default.
- W2559455893 hasConceptScore W2559455893C202444582 @default.
- W2559455893 hasConceptScore W2559455893C21547014 @default.
- W2559455893 hasConceptScore W2559455893C2777026412 @default.
- W2559455893 hasConceptScore W2559455893C2777303404 @default.
- W2559455893 hasConceptScore W2559455893C2778003309 @default.
- W2559455893 hasConceptScore W2559455893C28826006 @default.
- W2559455893 hasConceptScore W2559455893C31258907 @default.
- W2559455893 hasConceptScore W2559455893C33923547 @default.
- W2559455893 hasConceptScore W2559455893C41008148 @default.
- W2559455893 hasConceptScore W2559455893C50522688 @default.
- W2559455893 hasConceptScore W2559455893C538505008 @default.
- W2559455893 hasConceptScore W2559455893C57869625 @default.
- W2559455893 hasConceptScore W2559455893C5871375 @default.
- W2559455893 hasConceptScore W2559455893C62520636 @default.
- W2559455893 hasConceptScore W2559455893C89464430 @default.
- W2559455893 hasLocation W25594558931 @default.
- W2559455893 hasOpenAccess W2559455893 @default.
- W2559455893 hasPrimaryLocation W25594558931 @default.
- W2559455893 hasRelatedWork W113082778 @default.
- W2559455893 hasRelatedWork W122608090 @default.
- W2559455893 hasRelatedWork W1550166363 @default.
- W2559455893 hasRelatedWork W1573152848 @default.
- W2559455893 hasRelatedWork W1635698326 @default.
- W2559455893 hasRelatedWork W1778070965 @default.
- W2559455893 hasRelatedWork W1991364364 @default.
- W2559455893 hasRelatedWork W2035198948 @default.
- W2559455893 hasRelatedWork W2059834295 @default.
- W2559455893 hasRelatedWork W2084344008 @default.
- W2559455893 hasRelatedWork W2089028720 @default.
- W2559455893 hasRelatedWork W2096008598 @default.
- W2559455893 hasRelatedWork W2121033024 @default.
- W2559455893 hasRelatedWork W2231749096 @default.
- W2559455893 hasRelatedWork W2317467368 @default.