English
Related papers

Related papers: Structural Properties of the Stable Core

200 papers

Geometrical stability theory is a powerful set of model-theoretic tools that can lead to structural results on models of a simple first-order theory. Typical results offer a characterization of the groups definable in a model of the theory.…

Logic · Mathematics 2007-05-23 Steven Buechler , Olivier Lessmann

We study the influence of the existence of large cardinals on the existence of wellorderings of power sets of infinite cardinals $\kappa$ with the property that the collection of all initial segments of the wellordering is definable by a…

Logic · Mathematics 2017-04-04 Philipp Lücke , Philipp Schlicht

A proof will be presented that the existence of a non-trivial $\Sigma_1$-elementary embedding $j: V_{\lambda+3} \prec V_{\lambda+3}$ is inconsistent with $\textsf{ZF}$. Sections 1 and 2 shall review various important contributions from the…

Logic · Mathematics 2026-02-13 Rupert McCallum

Estimation of structure, such as in variable selection, graphical modelling or cluster analysis is notoriously difficult, especially for high-dimensional data. We introduce stability selection. It is based on subsampling in combination with…

Methodology · Statistics 2009-05-16 Nicolai Meinshausen , Peter Buehlmann

We complement our work on the causality of upper semi-continuous distributions of cones with some results on Cauchy hypersurfaces. We prove that every locally stably acausal Cauchy hypersurface is stable. Then we prove that the signed…

General Relativity and Quantum Cosmology · Physics 2020-04-22 E. Minguzzi

The primary goal of this paper is to establish a model of $ZFC$ wherein the definable tree property is affirmed for all uncountable regular cardinals. This endeavor commences with the utilization of both a supercompact cardinal and a…

Logic · Mathematics 2023-10-10 Mohammad Golshani , Mostafa Mirabi

We obtain results on the condensation principle called local club condensation. We prove that in extender models an equivalence between the failure of local club condensation and subcompact cardinals holds. This gives a characterization of…

Logic · Mathematics 2021-04-02 Gabriel Fernandes

Randomly-assembled dynamical systems are theoretically predicted to be unstable upon crossing a critical threshold of complexity, as first shown by May. Yet, empirical complex systems exhibit remarkable stability, indicating the presence of…

Disordered Systems and Neural Networks · Physics 2026-03-31 Francesco Ferraro , Christian Grilletta , Amos Maritan , Samir Suweis , Sandro Azaele

This paper presents the main results in my Ph.D. thesis. In what follows several proofs of SCH are presented introducing a family of covering properties which implies both SCH and the failure of various forms of square. These covering…

Logic · Mathematics 2007-05-23 Matteo Viale

The purpose of this work is to determine the location and stability of the Cassini states of a celestial body with an inviscid fluid core surrounded by a perfectly rigid mantle. Both situations where the rotation speed is either…

Earth and Planetary Astrophysics · Physics 2020-04-22 Gwenaël Boué

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…

Logic · Mathematics 2024-06-19 Alejandro Poveda

In [8] the second and third authors showed that if the least inaccessible cardinal is the least measurable cardinal, then there is an inner model with $o(\kappa)\geq2$. In this paper we improve this to $o(\kappa)\geq\kappa+1$ and show that…

Logic · Mathematics 2024-12-17 Moti Gitik , Yair Hayut , Asaf Karagila

In this article we study the expanding properties of random perturbations of contracting Lorenz maps satisfying the summability condition of exponent 1. Under general conditions on the maps and perturbation types, we prove stochastic…

Dynamical Systems · Mathematics 2026-04-10 Haoyang Ji

In the first edition of Classification Theory, the second author characterized the stable theories in terms of saturation of ultrapowers. Prior to this theorem, stability had already been defined in terms of counting types, and the unstable…

Logic · Mathematics 2015-08-19 M. Malliaris , S. Shelah

Foreman proved the Duality Theorem, which gives an algebraic characterization of certain ideal quotients in generic extensions. As an application he proved that generic supercompactness of $\omega_1$ is preserved by any proper forcing. We…

Logic · Mathematics 2015-08-04 Brent Cody , Sean Cox

We study the dynamical evolution of globular clusters using our H\'enon-type Monte Carlo code for stellar dynamics including all relevant physics such as two-body relaxation, single and binary stellar evolution, Galactic tidal stripping,…

Astrophysics of Galaxies · Physics 2015-06-05 Sourav Chatterjee , Stefan Umbreit , John M. Fregeau , Frederic A. Rasio

This paper contributes to the theory of large cardinals beyond the Kunen inconsistency, or choiceless large cardinal axioms, in the context where the Axiom of Choice is not assumed. The first part of the paper investigates a periodicity…

Logic · Mathematics 2021-02-19 Gabriel Goldberg

In a many-to-one matchingmodel with responsive preferences in which indifferences are allowed, we study three notions of core, three notions of stability, and their relationships. We show that (i) the core contains the stable set, (ii) the…

Theoretical Economics · Economics 2022-03-31 Agustín G. Bonifacio , Noelia Juarez , Pablo Neme , Jorge Oviedo

The advent of massively parallel supercomputing has begun to permit explicit 3--D simulations of turbulent convection occurring within the cores of early-type main sequence stars. Such studies should complement the stellar structure and…

Astrophysics · Physics 2007-05-23 Allan Sacha Brun , Matthew Browning , Juri Toomre

Assuming that there is no inner model with a Woodin cardinal, we obtain a characterization of $\lambda$-tall cardinals in extender models that are iterable. In particular we prove that in such extender models, a cardinal $\kappa$ is a tall…

Logic · Mathematics 2021-04-13 Gabriel Fernandes , Ralf Schindler