Related papers: $\star$-translation for Varsovian models
Astronomers generally assume planet-forming disks are aligned with the rotation of their host star. However, recent observations have shown evidence of warping in protoplanetary disks. One can measure the statistical alignment between the…
We make use of a previous well tested Galactic model, but describing the observational behavior of the various stellar components in terms of suitable assumptions on their evolutionary status. In this way we are able to predict the expected…
Assuming the existence of a certain hod pair with a Woodin cardinal that is a limit of Woodin cardinals, we show that the Chang model satisfies $\mathsf{AD}^+$ in any set generic extensions.
We study stars in M theory. First, we obtain the analog of Oppenheimer -- Volkoff equations in a suitably general set up. We obtain analytically the asymptotic solutions to these equations when the equations of state are linear. We study…
We present a self-contained account of Woodin's extender algebra and its use in proving absoluteness results, including a proof of the $\Sigma^2_1$-absoluteness theorem. We also include a proof that the existence of an inner model with…
Abridged. White dwarf stars are the final evolutionary stage of the vast majority of stars, including our Sun. The study of white dwarfs has potential applications to different fields of astrophysics. In particular, they can be used as…
The advent of space-based photometry missions in the early 21st century enabled the application to asteroseismic data of advanced inference techniques until then restricted to the field of helioseismology. The high quality of the…
In this chapter I give an overall description of the structure and evolution of stars of different masses, and review the main ingredients included in state-of-the-art calculations aiming at reproducing observational features. I give…
White dwarfs (WDs) in open star clusters are a highly useful ensemble of stars. While numerous researchers use open cluster WDs to study the initial-final mass relation, numerous other evolutionary studies are also enabled by this sample of…
We aim to provide new empirical clues about macroturbulent spectral line broadening in O- and B-type stars to evaluate its physical origin. We use high-resolution spectra of ~430 stars with spectral types in the range O4-B9 (all luminosity…
This paper presents a type theory in which it is possible to directly manipulate $n$-dimensional cubes (points, lines, squares, cubes, etc.) based on an interpretation of dependent type theory in a cubical set model. This enables new ways…
We study a class of Newtonian models for the deformations of non-magnetized neutron stars during their spin-down. The models have all an analytical solution, and thus allow to understand easily the dependence of the strain on the star's…
This work provides a smooth and everywhere well-defined extension of Bondi-Metzner-Sachs (BMS) supertranslations into the bulk of Minkowski space. The supertranslations lead to physically distinct spacetimes, all isometric to Minkowski…
The Hardy-Littlewood-Polya inequality of majorization is extended for the {\omega}-m-star-convex functions to the framework of ordered Banach spaces. Several open problems which seem of interest for further extensions of the…
Open and globular star clusters have served as benchmarks for the study of stellar evolution due to their supposed nature as simple stellar populations of the same age and metallicity. After a brief review of some of the pioneering work…
Massive stars play a major role not only in stellar evolution but also galactic evolution theory. This is because of their dynamical interaction with binary companions, and because their strong winds and explosive deaths as supernovae…
Transport is an important function in many network systems and understanding its behavior on biological, social, and technological networks is crucial for a wide range of applications. However, it is a property that is not well-understood…
This paper studies the complexity of classical modal logics and of their extension with fixed-point operators, using translations to transfer results across logics. In particular, we show several complexity results for multi-agent logics…
Machine learning techniques have been successfully used to classify variable stars on widely-studied astronomical surveys. These datasets have been available to astronomers long enough, thus allowing them to perform deep analysis over…
Massive stars condition the evolution of the interstellar medium by the amount of energy released during their lives and especially by their deaths as supernova explosions. The vast amounts of spectroscopic data for massive stars provided…