ﻻ يوجد ملخص باللغة العربية
Strongly Turing determinacy, or $mathrm{sTD}$, says that for any set $A$ of reals, if $forall xexists ygeq_T x (yin A)$, then there is a pointed set $Psubseteq A$. We prove the following consequences of Turing determinacy ($mathrm{TD}$) and $mathrm{sTD}$: (1). $mathrm{ZF+TD}$ implies weakly dependent choice ($mathrm{wDC}$). (2). $mathrm{ZF+sTD}$ implies that every set of reals is measurable and has Baire property. (3). $mathrm{ZF+sTD}$ implies that every uncountable set of reals has a perfect subset. (4). $mathrm{ZF+sTD}$ implies that for any set of reals $A$ and any $epsilon>0$, (a) there is a closed set $Fsubseteq A$ so that $mathrm{Dim_H}(F)geq mathrm{Dim_H}(A)-epsilon$. (b) there is a closed set $Fsubseteq A$ so that $mathrm{Dim_P}(F)geq mathrm{Dim_P}(A)-epsilon$.
The iron-based superconductors are characterized by strong fluctuations due to high transition temperatures and small coherence lengths. We investigate fluctuation behavior in the magnetic iron-pnictide superconductor $mathrm{Rb}mathrm{Eu}mathrm{Fe}_
We study the seasonal evolution of Titans lower stratosphere (around 15~mbar) in order to better understand the atmospheric dynamics and chemistry in this part of the atmosphere. We analysed Cassini/CIRS far-IR observations from 2006 to 2016 in order
We investigated SrFe$mathrm{_2}$(As$mathrm{_{1-x}}$P$mathrm{_x}$)$mathrm{_2}$ single crystals with four different phosphorus concentrations x in the superconducting phase (x = 0.35, 0.46) and in the magnetic phase (x = 0, 0.2). The superconducting sa
The existence of a new force beyond the Standard Model is compelling because it could explain several striking astrophysical observations which fail standard interpretations. We searched for the light vector mediator of this dark force, the $mathrm{U
The ${}^{12}mathrm{C}(alpha,gamma){}^{16}mathrm{O}$ reaction plays a key role in the evolution of stars with masses of $M >$ 0.55 $M_odot$. The cross-section of the ${}^{12}mathrm{C}(alpha,gamma){}^{16}mathrm{O}$ reaction within the Gamow window ($E_