Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288287445> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4288287445 abstract "The concept of metastable convergence was identified by Tao;it allows converting theorems about convergence into stronger theorems about uniform convergence. The Uniform Metastability Principle (UMP) states that if $T$ is a theorem about convergence, then the fact that $T$ is valid implies automatically that its (stronger) uniform version is valid, provided that $T$ can be stated in certain logical frameworks. In this paper we identify precisely the logical frameworks $L$ for which UMP holds. More precisely, we prove that the UMP holds for $L$ if and only if $L$ is a compact logic. We also prove a topological version of this equivalence. We conclude by proving new characterizations of logical compactness that yield additional information about the UMP." @default.
- W4288287445 created "2022-07-28" @default.
- W4288287445 creator A5037080454 @default.
- W4288287445 creator A5054305320 @default.
- W4288287445 creator A5056456551 @default.
- W4288287445 date "2019-07-04" @default.
- W4288287445 modified "2023-09-28" @default.
- W4288287445 title "Metastable convergence and logical compactness" @default.
- W4288287445 doi "https://doi.org/10.48550/arxiv.1907.02398" @default.
- W4288287445 hasPublicationYear "2019" @default.
- W4288287445 type Work @default.
- W4288287445 citedByCount "0" @default.
- W4288287445 crossrefType "posted-content" @default.
- W4288287445 hasAuthorship W4288287445A5037080454 @default.
- W4288287445 hasAuthorship W4288287445A5054305320 @default.
- W4288287445 hasAuthorship W4288287445A5056456551 @default.
- W4288287445 hasBestOaLocation W42882874451 @default.
- W4288287445 hasConcept C114614502 @default.
- W4288287445 hasConcept C118615104 @default.
- W4288287445 hasConcept C121332964 @default.
- W4288287445 hasConcept C157709441 @default.
- W4288287445 hasConcept C162324750 @default.
- W4288287445 hasConcept C184720557 @default.
- W4288287445 hasConcept C18648836 @default.
- W4288287445 hasConcept C199360897 @default.
- W4288287445 hasConcept C202444582 @default.
- W4288287445 hasConcept C21847791 @default.
- W4288287445 hasConcept C2776257435 @default.
- W4288287445 hasConcept C2777303404 @default.
- W4288287445 hasConcept C2780069185 @default.
- W4288287445 hasConcept C33923547 @default.
- W4288287445 hasConcept C41008148 @default.
- W4288287445 hasConcept C50522688 @default.
- W4288287445 hasConcept C62520636 @default.
- W4288287445 hasConcept C76155785 @default.
- W4288287445 hasConcept C89464430 @default.
- W4288287445 hasConceptScore W4288287445C114614502 @default.
- W4288287445 hasConceptScore W4288287445C118615104 @default.
- W4288287445 hasConceptScore W4288287445C121332964 @default.
- W4288287445 hasConceptScore W4288287445C157709441 @default.
- W4288287445 hasConceptScore W4288287445C162324750 @default.
- W4288287445 hasConceptScore W4288287445C184720557 @default.
- W4288287445 hasConceptScore W4288287445C18648836 @default.
- W4288287445 hasConceptScore W4288287445C199360897 @default.
- W4288287445 hasConceptScore W4288287445C202444582 @default.
- W4288287445 hasConceptScore W4288287445C21847791 @default.
- W4288287445 hasConceptScore W4288287445C2776257435 @default.
- W4288287445 hasConceptScore W4288287445C2777303404 @default.
- W4288287445 hasConceptScore W4288287445C2780069185 @default.
- W4288287445 hasConceptScore W4288287445C33923547 @default.
- W4288287445 hasConceptScore W4288287445C41008148 @default.
- W4288287445 hasConceptScore W4288287445C50522688 @default.
- W4288287445 hasConceptScore W4288287445C62520636 @default.
- W4288287445 hasConceptScore W4288287445C76155785 @default.
- W4288287445 hasConceptScore W4288287445C89464430 @default.
- W4288287445 hasLocation W42882874451 @default.
- W4288287445 hasOpenAccess W4288287445 @default.
- W4288287445 hasPrimaryLocation W42882874451 @default.
- W4288287445 hasRelatedWork W1966279290 @default.
- W4288287445 hasRelatedWork W2059034874 @default.
- W4288287445 hasRelatedWork W2358893227 @default.
- W4288287445 hasRelatedWork W2368671881 @default.
- W4288287445 hasRelatedWork W2374307704 @default.
- W4288287445 hasRelatedWork W2376033068 @default.
- W4288287445 hasRelatedWork W2513413869 @default.
- W4288287445 hasRelatedWork W2964187826 @default.
- W4288287445 hasRelatedWork W3017795823 @default.
- W4288287445 hasRelatedWork W4229706534 @default.
- W4288287445 isParatext "false" @default.
- W4288287445 isRetracted "false" @default.
- W4288287445 workType "article" @default.