Related papers: $\star$-translation for Varsovian models
We introduce a new inner model $C(aa)$ arising from stationary logic. We show that assuming a proper class of Woodin cardinals, or alternatively $MM^{++}$, the regular uncountable cardinals of $V$ are measurable in the inner model $C(aa)$,…
In this introductory chapter of the Special Issue entitled `The Structure and Evolution of Stars', we highlight the recent major progress made in our understanding in the physics that governs stellar interiors. In so doing, we combine…
The main purpose of this paper is to improve our transposition method to solve both vector-valued and operator-valued backward stochastic evolution equations with a general filtration. As its application, we obtain a general Pontryagin-type…
Machine learning has been widely applied to clearly defined problems of astronomy and astrophysics. However, deep learning and its conceptual differences to classical machine learning have been largely overlooked in these fields. The broad…
Stellar rotation is an important parameter in the evolution of massive stars. Accurate and reliable measurements of projected rotational velocities in large samples of OB stars are crucial to confront the predictions of stellar evolutionary…
We use the self-consistent model technique developed by Mart\'in-Manj\'on et al. (2008) that combines the chemical evolution with stellar population synthesis and photo-ionization codes, to study the star formation scenarios capable of…
We introduce exacting cardinals and a strengthening of these, ultraexacting cardinals. These are natural large cardinals defined equivalently as weak forms of rank-Berkeley cardinals, strong forms of J\'onsson cardinals, or in terms of…
For a star-shaped graph, we introduce special characters and study their properties. We decompose special characters into odd and even parts and study their evolution under reflections. We apply the obtained formulas to prove that the…
A revision of Stod\{'o}{\l}kiewicz's Monte Carlo code is used to simulate evolution of large star clusters. A survey of the evolution of N-body systems influenced by the tidal field of a parent galaxy and by stellar evolution is presented.…
Tabular reasoning involves interpreting natural language queries about tabular data, which presents a unique challenge of combining language understanding with structured data analysis. Existing methods employ either textual reasoning,…
Matrix interpretations generalize linear polynomial interpretations and have been proved useful in the implementation of tools for automatically proving termination of Term Rewriting Systems. In view of the successful use of rational…
We show that many large cardinal notions up to measurability can be characterized through the existence of certain filters for small models of set theory. This correspondence will allow us to obtain a canonical way in which to assign ideals…
We investigate star-galaxy classification for astronomical surveys in the context of four methods enabling the interpretation of black-box machine learning systems. The first is outputting and exploring the decision boundaries as given by…
Nearby companions alter the evolution of massive stars in binary systems. Using a sample of Galactic massive stars in nearby young clusters, we simultaneously measure all intrinsic binary characteristics relevant to quantify the frequency…
We study the structure of relativistic stars in $\mathcal{R}+\alpha \mathcal{R}^{2}$ theory using the method of matched asymptotic expansion to handle the higher order derivatives in field equations arising from the higher order curvature…
I briefly introduce a database of models that describe the evolution of star clusters in several broad-band photometric systems. Models are based on the latest Padova stellar evolutionary tracks - now including the alpha-enhanced case and…
The goal of stellar evolution theory is to predict the structure of stars throughout their lifetimes. Usually, these predictions can be assessed only indirectly, for example by comparing predicted and observed effective temperatures and…
We develop a theory of modulus sheaves with transfers, which generalizes Voevodsky's theory of sheaves with transfers. This paper and its sequel are foundational for the theory of motives with modulus, which is developed in [KMSY20].
We study methods to obtain the consistency of forcing axioms, and particularly higher forcing axioms. We first force over a model with a supercompact cardinal $\theta>\kappa$ to get the consistency of the forcing axiom for $\kappa$-strongly…
In this correspondence, first-tier indirect (direct) discernible constellation expansions are defined for generalized orthogonal designs. The expanded signal constellation, leading to so-called super-orthogonal codes, allows the achievement…