Results 11 to 20 of about 377 (170)
The $\kappa$-Strongly Proper Forcing Axiom
, 2019 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 proper forcing notions which are also $\kappa$-lattice, and then eliminate the need for large cardinals.
Asperó, David +3 more
openaire +2 more sources
The proper forcing axiom and the singular cardinal hypothesis [PDF]
Journal of Symbolic Logic, 2006 AbstractWe show that the Proper Forcing Axiom implies the Singular Cardinal Hypothesis. The proof uses the reflection principle MRP introduced by Moore in [11].
Viale, Matteo
openaire +5 more sources
The proper and semi-proper forcing axioms for forcing notions that preserve ℵ₂ or ℵ₃ [PDF]
Proceedings of the American Mathematical Society, 2008 We prove that the PFA lottery preparation of a strongly unfoldable cardinal κ \kappa
Joel Hamkins, Thomas Johnstone
openaire +1 more source
On the equivalence of certain consequences of the proper forcing axiom
Journal of Symbolic Logic, 1995 AbstractWe prove that a number of axioms, each a consequence of PFA (the Proper Forcing Axiom) are equivalent. In particular we show that TOP (the Thinning-out Principle as introduced by Baumgartner in the Handbook of set-theoretic topology), is equivalent to the following statement: If I is an ideal on ω1 with ω1 generators, then there exists an ...
Nyikos, Peter, Piatkiwicz, Leszek
openaire +2 more sources
, 2022 We show that the Proper Forcing Axiom for forcing notions of size $\aleph_1$ is consistent with the continuum being arbitrarily large. In fact, assuming $GCH$ holds and $κ\geqω_2$ is a regular cardinal, we prove that there is a proper and $\aleph_2$-c.c.\ forcing giving rise to a model of this forcing axiom together with $2^{\aleph_0}=κ$ and which, in ...
Asperó, David, Golshani, Mohammad
openaire +2 more sources
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Forcing axioms and coronas of C∗-algebras
, 2021 International audienceWe prove rigidity results for large classes of corona algebras, assuming the Proper Forcing Axiom. In particular, we prove that a conjecture of Coskey and Farah holds for all separable [Formula: see text]-algebras with the metric ...
Mckenney, Paul, Vignati, Alessandro
core +1 more source
International Insolvency Review, EarlyView.Abstract This paper conducts a comparative legal analysis of corporate restructuring frameworks in England and Bhutan, examining their capacity to integrate climate variability considerations and promote sustainable business practices. It discusses the procedural mechanisms for restructuring financially distressed enterprises available under the law of
Eugenio Vaccari, Migmar Lham
wiley +1 more source
International Insolvency Review, EarlyView.Abstract Although a local experiment, the promulgation of the Regulations of Shenzhen Special Economic Zone on Personal Bankruptcy (SPBR) in 2020 was hailed as a significant milestone in China's insolvency lawmaking which has thus far addressed only corporate insolvencies.
Jenny Fu, Jin Chun
wiley +1 more source
Naval Research Logistics (NRL), EarlyView.ABSTRACT We are concerned with the stability of a transferable‐utility cooperative (TU) game. First, the concept of core can be weakened so that the blocking of changes is limited to only those with multilateral backings. This principle of consensual blocking, as well as the traditional core‐defining one of unilateral blocking and one straddling in ...
Jian Yang
wiley +1 more source