Results 11 to 20 of about 218 (121)
REFLECTION IN SECOND-ORDER SET THEORY WITH ABUNDANT URELEMENTS BI-INTERPRETS A SUPERCOMPACT CARDINAL
The Journal of Symbolic Logic, 2022 AbstractAfter reviewing various natural bi-interpretations in urelement set theory, including second-order set theories with urelements, we explore the strength of second-order reflection in these contexts. Ultimately, we prove that second-order reflection with the abundant atom axiom is bi-interpretable and hence also equiconsistent with the existence
Joel David Hamkins, Bokai Yao
openaire +3 more sources
Epireflections and supercompact cardinals [PDF]
, 2007 We prove that, under suitable assumptions on a category C, the existence of supercompact cardinals implies that every absolute epireflective class of objects of C is a small-orthogonality class. More precisely, if L is a localization functor on an accessible category C such that the unit morphism X→LX is an extremal epimorphism for all X, and the class
Bagaria, Joan +3 more
core +4 more sources
Cardinal continuity for cohomology theories follows from supercompact cardinals
We prove that, if sufficiently large supercompact cardinals exist, then Margolis’s cardinal continuity condition holds for cohomological functors on spectra. This provides a new proof of the fact that localizations of spectra with respect to generalized cohomology theories exist, assuming the existence of a proper class of supercompact cardinals ...
Garreta Cutrina, Aran
core +4 more sources
Maximality Principle under a Laver-generic supercompact cardinal (New Developments in Forcing and Cardinal Arithmetic)We give a survey on the set-theoretic axioms formulated in terms of existence of a Laver-generic large cardinal. We show that the Maximality Principle without parameters is independentover ZFC with the axiom asserting the existence of a P-Laver generically supercompact cardinal for an iterable class of posets P as far as the existence of such a ...
Fuchino, Sakaé, 渕野, 昌
openaire +1 more source
When cardinals determine the power set: inner models and Härtig quantifier logic
Mathematical Logic Quarterly, Volume 69, Issue 4, Page 460-471, November 2023., 2023 Abstract We show that the predicate “x is the power set of y” is Σ1(Card)$\Sigma _1(\operatorname{Card})$‐definable, if V = L[E] is an extender model constructed from a coherent sequences of extenders, provided that there is no inner model with a Woodin cardinal. Here Card$\operatorname{Card}$ is a predicate true of just the infinite cardinals.
Jouko Väänänen, Philip D. Welch
wiley +1 more source
Generically supercompact cardinals by forcing with chain conditions (Recent Developments in Set Theory of the Reals) [PDF]
, 2022 An updated and extended version of this paper with more details and proofs is downloadab as: https://fuchino.ddo.jp/papers/RIMS2021-ccc-gen-supercompact-x.pdfA ccc-generically supercompact cardinal κ, can be smaller than or equal to the continuum. On the
渕野, 昌, 酒井, 拓史
core
Ordered Porous Nanomaterials: The Merit of Small
International Scholarly Research Notices, Volume 2013, Issue 1, 2013., 2013 This paper will introduce the reader to some of the “classical” and “new” families of ordered porous materials which have arisen throughout the past decades and/or years. From what is perhaps the best‐known family of zeolites, which even now to this day is under constant research, to the exciting new family of hierarchical porous materials, the number ...
Ángel Berenguer Murcia +3 more
wiley +1 more source
Mitigation of Railway Traffic Induced Vibrations: The Influence of Barriers in Elastic Half‐Space
Advances in Acoustics and Vibration, Volume 2009, Issue 1, 2009., 2009 In this paper, the problem of vibrations induced by trains and their propagation through the soil is studied. Particular attention is focused on the vibration induced by trains in motion and on the effects of such vibrations on the foundations of buildings in proximity of the tracks. The interaction between propagating waves induced by trains in motion
Michele Buonsanti +5 more
wiley +1 more source
Iteration of λ‐complete forcing notions not collapsing λ+
International Journal of Mathematics and Mathematical Sciences, Volume 28, Issue 2, Page 63-82, 2001., 2001 We look for a parallel to the notion of “proper forcing” among λ‐complete forcing notions not collapsing λ+. We suggest such a definition and prove that it is preserved by suitable iterations.
Andrzej Rosłanowski, Saharon Shelah
wiley +1 more source
International Journal of Mathematics and Mathematical Sciences, Volume 13, Issue 3, Page 507-512, 1990., 1989 An ideal on a set X is a nonempty collection of subsets of X closed under the operations of subset (heredity) and finite unions (additivity). Given a topological space (X, τ) an ideal ℐ on X and A⊆X, ψ(A) is defined as ⋃{U ∈ τ : U − A ∈ ℐ}. A topology, denoted τ*, finer than τ is generated by the basis {U − I : U ∈ τ, I ∈ ℐ}, and a topology, denoted 〈ψ(
T. R. Hamlett, David Rose
wiley +1 more source