scholarly journals Breaking the UIP: A Model‐Equivalence Result

2021 ◽  
Author(s):  
YOSSI YAKHIN
Keyword(s):  
Model Equivalence ◽  
Equivalence Result

An equivalence result for temporal logic

1981 ◽  
Vol 16 (2) ◽  
pp. 53-55
Author(s):  
Stephen C. Dewhurst
Keyword(s):  
Temporal Logic ◽  
Equivalence Result

scholarly journals Random Symmetrizations of Convex Bodies

2014 ◽  
Vol 46 (3) ◽  
pp. 603-621 ◽  
Author(s):  
D. Coupier ◽  
Yu. Davydov
Keyword(s):  
Asymptotic Behavior ◽  
Convex Bodies ◽  
Almost Sure Convergence ◽  
Exponential Rate ◽  
Equivalence Result

In this paper we investigate the asymptotic behavior of sequences of successive Steiner and Minkowski symmetrizations. We state an equivalence result between the convergences of those sequences for Minkowski and Steiner symmetrizations. Moreover, in the case of independent (and not necessarily identically distributed) directions, we prove the almost-sure convergence of successive symmetrizations at exponential rate for Minkowski, and at rate with c > 0 for Steiner.

Sign in / Sign up

Export Citation Format

Share Document