English
Related papers

Related papers: Two-cardinal ideal operators and indescribability

200 papers

We develop the theory of cofinal types of ultrafilters over measurable cardinals and establish its connections to Galvin's property. We generalize fundamental results from the countable to the uncountable, but often in surprisingly…

Logic · Mathematics 2026-02-11 Tom Benhamou , Natasha Dobrinen

We define separating properties for normal ultrafilters. We prove that compactness and supercompactness are separable, yet compactness and measurability are not. We describe how to use separating properties in order to elicit distinct…

Logic · Mathematics 2012-12-10 Shimon Garti

This article surveys results regarding the Tukey theory of ultrafilters on countable base sets. The driving forces for this investigation are Isbell's Problem and the question of how closely related the Rudin-Keisler and Tukey…

Logic · Mathematics 2014-02-03 Natasha Dobrinen

The intractability of any problem and the randomness of its solutions have an obvious intuitive connection. However, the challenge till now has been that there is no practical way to firmly establish if the solution to a problem is actually…

Computational Complexity · Computer Science 2020-04-06 Arun U

Recently the second author introduced combinatorial principles that characterize supercompactness for inaccessible cardinals but can also hold true for small cardinals. We prove that the proper forcing axiom PFA implies these principles…

Logic · Mathematics 2010-12-10 Matteo Viale , Christoph Weiß

Recently it has been proved that, assuming that there is an almost disjoint family of cardinality (2^{\mathfrak c}) in (\mathfrak c) (which is assured, for instance, by either Martin's Axiom, or CH, or even $2^{<\mathfrak c=\mathfrak c$})…

Functional Analysis · Mathematics 2012-07-13 Jose Luis Gamez-Merino , Juan B. Seoane-Sepulveda

Let omega be the first infinite ordinal (or the set of all natural numbers) with the usual order <. In section 1 we show that, assuming the consistency of a supercompact cardinal, there may exist an ultrapower of omega, whose cardinality is…

Logic · Mathematics 2009-09-25 Renling Jin , Saharon Shelah

We define the notion of Cartesian 2-fibrations, and prove a weak analogue of straightening. Using Barwick's notion of operator categories and the notion of a Cartesian 2-fibration, we extend the notion of $\infty$-operads to the…

Category Theory · Mathematics 2016-10-17 Sanath Devalapurkar

In this study, we introduce the concept of "uniformly 2-absorbing primary ideals" of commutative rings, which imposes a certain boundedness condition on the usual notion of 2-absorbing primary ideals of commutative rings. Then we…

Commutative Algebra · Mathematics 2015-05-26 Hojjat Mostafanasab , Unsal Tekir , Gulsen Ulucak

Supersymmetric extensions of Hamilton-Jacobi separable Liouville mechanical systems with two degrees of freedom are defined. It is shown that supersymmetry can be implemented in this type of systems in two independent ways. The structure of…

High Energy Physics - Theory · Physics 2015-06-26 A. Alonso Izquierdo , M. A. González León , J. Mateos Guilarte , M. de la Torre Mayado

We consider field theory side of new multiple Seiberg dualities conjectured within superconformal index matching approach. We study the case of SU(2) supersymmetric QCD and find that the numerous conjectured duals are different faces of…

High Energy Physics - Theory · Physics 2015-05-14 A. Khmelnitsky

Cardinal characteristics of the continuum represent the boundaries in size between the countable and the continuum with respect to certain properties of sets. They are often defined as the minimum sizes of families of reals that meet some…

Logic · Mathematics 2025-03-07 Logan McDonald

The acquisition of the defining equations of Rees algebras is a natural way to study these algebras and allows certain invariants and properties to be deduced. In this paper, we consider Rees algebras of codimension 2 perfect ideals of…

Commutative Algebra · Mathematics 2021-12-07 Matthew Weaver

By using nonstandard analysis, and in particular iterated hyper-extensions, we give foundations to a peculiar way of manipulating ultrafilters on the natural numbers and their pseudo-sums. The resulting formalism is suitable for…

Logic · Mathematics 2013-09-02 Mauro Di Nasso

Remarkable cardinals were introduced by Schindler, who showed that the existence of a remarkable cardinal is equiconsistent with the assertion that the theory of $L(\mathbb R)$ is absolute for proper forcing. Here, we study the…

Logic · Mathematics 2015-06-10 Yong Cheng , Victoria Gitman

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…

Logic · Mathematics 2021-02-02 Omer Ben-Neria , Shimon Garti

We give an explicit description of the irreducible components of two-row Springer fibers for all classical types using cup diagrams. Cup diagrams can be used to label the irreducible components of two-row Springer fibers. Given a cup…

Representation Theory · Mathematics 2022-02-01 Mee Seong Im , Chun-Ju Lai , Arik Wilbert

We show relative to strong hypotheses that patterns of compact cardinals in the universe, where a compact cardinal is one which is either strongly compact or supercompact, can be virtually arbitrary. Specifically, we prove if V is a model…

Logic · Mathematics 2007-05-23 Arthur W. Apter

The superintegrability of a rational harmonic oscillator (non-central harmonic oscillator with rational ratio of frequencies) with non-linear "centrifugal" terms is studied. In the first part, the system is directly studied in the Euclidean…

Mathematical Physics · Physics 2015-05-18 Manuel F. Rañada , Miguel A. Rodríguez , Mariano Santander

We show that the existence of a Pi^{1}_{N}-indescribable cardinal over the Zermelo-Fraenkel's set theory ZF is proof-theoretically reducible to iterations of Mostowski collapsings and lower Mahlo operations. Furthermore we describe a…

Logic · Mathematics 2014-09-09 Toshiyasu Arai