Related papers: $\star$-translation for Varsovian models
Structured variational inference constitutes a core methodology in modern statistical applications. Unlike mean-field variational inference, the approximate posterior is assumed to have interdependent structure. We consider the natural…
Binary stars evolve differently from single stars, thus binary evolution is very useful for astrophysical studies. This paper discusses the application of binary evolution in the studies of stars, star clusters, galaxies, and cosmology. In…
In [Bon20], model theoretic characterizations of several established large cardinal notions were given. We continue this work, by establishing such characterizations for Woodin cardinals (and variants), various virtual large cardinals, and…
Rotation is an important, yet poorly-modelled phenomenon of stellar structure and evolution. Accurate estimates of internal rotation rates are therefore valuable for constraining stellar evolution models. We aim to assess the accuracy of…
If T is an iteration tree on K and F is a countably certified extender that coheres with the final model of T, then F is on the extender sequence of the final model of T. Several applications of maximality are proved, including: o K…
We introduce and study a new type of compactness principle for strong logics that, roughly speaking, infers the consistency of a theory from the consistency of its small fragments in certain outer models of the set-theoretic universe. We…
The observable characteristics and subsequent evolution of young stellar populations is dominated by their massive stars. As our understanding of those massive stars and the factors affecting their evolution improves, so our interpretation…
We present a new asynchronous model of computation named Stellar Resolution based on first-order unification. This model of computation is obtained as a formalisation of Girard's transcendental syntax programme, sketched in a series of…
Stellar structure and evolution theory is one of the basis in modern astronomy. Stellar inner structures and their evolutionary states can be precisely tested by asteroseismology, since the inner information is brought to the stellar…
We construct a variety of inner models exhibiting features usually obtained by forcing over universes with large cardinals. For example, if there is a supercompact cardinal, then there is an inner model with a Laver indestructible…
We present the first "combined stellar structure and atmosphere models" (CoStar) for massive stars, which consistently treat the entire mass loosing star from the center out to the asymptotic wind velocity. The models use up-to-date input…
We use a reverse Easton forcing iteration to obtain a universe with a definable well-ordering, while preserving the GCH and proper classes of a variety of very large cardinals. This is achieved by coding using the principle diamond star at…
We define the star transform as a generalization of the broken ray transform introduced by us in previous work. The advantages of using the star transform include the possibility to reconstruct the absorption and the scattering coefficients…
Asteroseismology is a powerful tool that may be applied to shed light on stellar interiors and stellar evolution. Mixed modes, behaving as acoustic waves in the envelope and buoyancy modes in the core, are remarkable because they allow for…
Transfer learning is known to perform efficiently in many applications empirically, yet limited literature reports the mechanism behind the scene. This study establishes both formal derivations and heuristic analysis to formulate the theory…
In the first part of the manuscript, we establish several consistency results concerning Woodin's $\HOD$ hypothesis and large cardinals around the level of extendibility. First, we prove that the first extendible cardinal can be the first…
During the last decade, the understanding of fine features of the structure and evolution of stars has become possible as a result of enormous progress made in the acquisition of high-quality observational and experimental data and of new…
The star-triangle transformation is used to obtain an equivalence extending over the set of all (in)homogeneous bond percolation models on the square, triangular and hexagonal lattices. Among the consequences are box-crossing (RSW)…
We show that many large cardinal notions can be characterized in terms of the existence of certain elementary embeddings between transitive set-sized structures, that map their critical point to the large cardinal in question. In…
Scalar-tensor gravity models are among the prime candidates to explain cosmic acceleration, and compact stars provide unique laboratories for testing such theories. Predictions of scalar-tensor gravity in compact stars can be examined…