scholarly journals Saturation properties of ideals in generic extensions. II

1982 ◽  
Vol 271 (2) ◽  
pp. 587-587
Author(s):  
James E. Baumgartner ◽  
Alan D. Taylor
2006 ◽  
Vol 9 (6) ◽  
pp. 557-568 ◽  
Author(s):  
Justyna Kosakowska
Keyword(s):  

2004 ◽  
Vol 69 (1) ◽  
pp. 73-80 ◽  
Author(s):  
Sy D. Friedman

In this article we study the strength of absoluteness (with real parameters) in various types of generic extensions, correcting and improving some results from [3]. (In particular, see Theorem 3 below.) We shall also make some comments relating this work to the bounded forcing axioms BMM, BPFA and BSPFA.The statement “ absoluteness holds for ccc forcing” means that if a formula with real parameters has a solution in a ccc set-forcing extension of the universe V, then it already has a solution in V. The analogous definition applies when ccc is replaced by other set-forcing notions, or by class-forcing.Theorem 1. [1] absoluteness for ccc has no strength; i.e., if ZFC is consistent then so is ZFC + absoluteness for ccc.The following results concerning (arbitrary) set-forcing and class-forcing can be found in [3].Theorem 2 (Feng-Magidor-Woodin). (a) absoluteness for arbitrary set-forcing is equiconsistent with the existence of a reflecting cardinal, i.e., a regular cardinal κ such that H(κ) is ∑2-elementary in V.(b) absoluteness for class-forcing is inconsistent.We consider next the following set-forcing notions, which lie strictly between ccc and arbitrary set-forcing: proper, semiproper, stationary-preserving and ω1-preserving. We refer the reader to [8] for the definitions of these forcing notions.Using a variant of an argument due to Goldstern-Shelah (see [6]), we show the following. This result corrects Theorem 2 of [3] (whose proof only shows that if absoluteness holds in a certain proper forcing extension, then in L either ω1 is Mahlo or ω2 is inaccessible).


1980 ◽  
Vol 19 (2) ◽  
pp. 377-378 ◽  
Author(s):  
Sanemi Sonoike ◽  
Yo-ichi Yasuda ◽  
Kousuke Nishioka ◽  
Norio Akiyama

2021 ◽  
Vol 103 (12) ◽  
Author(s):  
Martin Bojowald ◽  
Jonathan Guglielmon ◽  
Martijn van Kuppeveld

2015 ◽  
Vol 81 (5) ◽  
Author(s):  
Amit Seta ◽  
Pallavi Bhat ◽  
Kandaswamy Subramanian

Zeldovich’s stretch–twist–fold (STF) dynamo provided a breakthrough in conceptual understanding of fast dynamos, including the small-scale fluctuation dynamos. We study the evolution and saturation behaviour of two types of generalized Baker’s map dynamos, which have been used to model Zeldovich’s STF dynamo process. Using such maps allows one to analyse dynamos at much higher magnetic Reynolds numbers $\mathit{Re}_{M}$ as compared to direct numerical simulations. In the two-strip map dynamo there is constant constructive folding, while the four-strip map dynamo also allows the possibility of a destructive reversal of the field. Incorporating a diffusive step parametrized by $\mathit{Re}_{M}$ into the map, we find that the magnetic field $B(x)$ is amplified only above a critical $\mathit{Re}_{M}=R_{\mathit{crit}}\sim 4$ for both types of dynamos. The growing $B(x)$ approaches a shape-invariant eigenfunction independent of initial conditions, whose fine structure increases with increasing $\mathit{Re}_{M}$. Its power spectrum $M(k)$ displays sharp peaks reflecting the fractal nature of $B(x)$ above the diffusive scale. We explore the saturation of these dynamos in three ways: via a renormalized reduced effective $\mathit{Re}_{M}$ (case I) or due to a decrease in the efficiency of the field amplification by stretching, without changing the map (case IIa), or changing the map (case IIb), and a combination of both effects (case III). For case I, we show that $B(x)$ in the saturated state, for both types of maps, approaches the marginal eigenfunction, which is obtained for $\mathit{Re}_{M}=R_{\mathit{crit}}$ independent of the initial $\mathit{Re}_{M}=R_{M0}$. On the other hand, in case II, for the two-strip map, we show that $B(x)$ saturates, preserving the structure of the kinematic eigenfunction. Thus the energy is transferred to larger scales in case I but remains at the smallest resistive scales in case II, as can be seen from both $B(x)$ and $M(k)$. For the four-strip map, $B(x)$ oscillates with time, although with a structure similar to the kinematic eigenfunction. Interestingly, the saturated state in case III shows an intermediate behaviour, with $B(x)$ similar to the kinematic eigenfunction at an intermediate $\mathit{Re}_{M}=R_{\mathit{sat}}$, with $R_{M0}>R_{\mathit{sat}}>R_{\mathit{crit}}$. The $R_{\mathit{sat}}$ value is determined by the relative importance of the increased diffusion versus the reduced stretching. These saturation properties are akin to the range of possibilities that have been discussed in the context of fluctuation dynamos.


Sign in / Sign up

Export Citation Format

Share Document