Related papers: $\star$-translation for Varsovian models
We use Fourier methods to prove that if $n > 1$ translates of sublattices of $Z^d$ tile $Z^d$, and all the sublattices are Cartesian products of arithmetic progressions, then two of the tiles must be translates of each other. This is a…
Walk on stars (WoSt) has shown its power in being applied to Monte Carlo methods for solving partial differential equations, but the sampling techniques in WoSt are not satisfactory, leading to high variance. We propose a guiding-based…
We produce a model where every supercompact cardinal is $C^{(1)}$-supercompact with inaccessible targets. This is a significant improvement of the main identity-crises configuration obtained in \cite{HMP} and provides a definitive answer to…
The theory of stellar evolution plays a central role in astrophysics as stellar models are used to infer properties for Galactic and Extragalactic stellar populations as well as exoplanetary systems. However, despite decades of experience,…
The evolution of a binary star system by various analytic approximations of mass transfer is discussed, with particular attention payed to the stability of these processes against runaway on the thermal and dynamical timescales of the mass…
Asteroseismology has emerged as the best way to characterize the global and internal properties of nearby stars. Often, this characterization is achieved by fitting stellar evolution models to asteroseismic observations. The star under…
This brief survey comes from the slides of a seminar I gave to philosophy of mathematics students. I will present some different characterizations of Woodin cardinals, including the one obtained by Ernest Schimmerling in [6]. I will try to…
Relations between stellar properties independent of the nuclear equation of state offer profound insights into neutron star physics and have practical applications in data analysis. Commonly, these relations are derived from utilizing…
We present analytic formulae that approximate the evolution of stars for a wide range of mass and metallicity. Stellar luminosity, radius and core mass are given as a function of age, M and Z, for all phases from the zero-age main-sequence…
We characterize several large cardinal notions by model-theoretic properties of extensions of first-order logic. We show that $\Pi_n$-strong cardinals, and, as a corollary, ``Ord is Woodin" and weak Vop\v{e}nka's Principle, are…
During the last few years, the Geneva stellar evolution group has released new grids of stellar models, including the effect of rotation and with updated physical inputs (Ekstr\"om et al. 2012; Georgy et al. 2013a,b). To ease the comparison…
We reimplement the creature forcing construction used by Fischer et al. (arXiv:1402.0367) to separate Cicho\'{n}'s diagram into five cardinals as a countable support product. Using the fact that it is of countable support, we augment our…
Based on earlier work of the third author, we construct a Chang-type model with supercompact measures extending a derived model of a given hod mouse with a regular cardinal $\delta$ that is both a limit of Woodin cardinals and a limit of…
Accurate determinations of masses and radii in binary stars, along with estimates of the effective temperatures, metallicities, and other properties, have long been used to test models of stellar evolution. As might be expected,…
We briefly review some constraints (Owing to the limited number of pages of present review, only a sub-sample of the topics discussed during the talk are briefly summarized. For the interested readers we are pleased to send them upon…
We prove two general results about the preservation of extendible and $C^{(n)}$-extendible cardinals under a wide class of forcing iterations (Theorems 5.4 and 7.5). As applications we give new proofs of the preservation of Vop\v{e}nka's…
The stellar inclination angle-the angle between the rotation axis of a star and our line of sight-provides valuable information in many different areas, from the characterisation of the geometry of exoplanetary and eclipsing binary systems,…
We propose an extension of the classical variational theory of evolution equations that accounts for dynamics also in possibly non-reflexive and non-separable spaces. The pivoting point is to establish a novel variational structure, based…
Massive stars are extremely luminous and drive strong winds, blowing a large part of their matter into the galactic environment before they finally explode as a supernova. Quantitative knowledge of massive star feedback is required to…
We study the consistency and consistency strength of various configurations concerning the cardinal characteristics $\mathfrak{s}_\theta,\mathfrak{p}_\theta,\mathfrak{g}_\theta,\mathfrak{r}_\theta,\mathfrak{t}_\theta$ at uncountable regular…