English
Related papers

Related papers: The Linearity of the Mitchell Order

200 papers

We complete the characterization of the possible spectrum of regular ultrafilters D on a set I, where the spectrum is the set of infinite cardinals which are ultraproducts of finite cardinals modulo D.

Logic · Mathematics 2021-09-03 Saharon Shelah

We continue the study of the pseudo-intersection property with respect to an ideal introduced in \cite{TomNatasha2}. Our theory applies to the study of the Tukey types of general sums of ultrafilters, which, as evidenced by the results of…

Logic · Mathematics 2025-12-10 Tom Benhamou

For many classes of models, there are universal members in any cardinal $\lambda$ which "essentially satisfies GCH", i.e. $\lambda = 2^{< \lambda}$, in particular for the class of a complete first order $T$ (well, if at least $\lambda >…

Logic · Mathematics 2026-03-05 Saharon Shelah

We study monomial ideals with linear presentation or partially linear resolution. We give combinatorial characterizations of linear presentation for square-free ideals of degree 3, and for primary ideals whose resolutions are linear except…

Commutative Algebra · Mathematics 2022-04-01 Hailong Dao , David Eisenbud

In the geometric situation of the simple Shimura varieties of Kottwitz studied in Harris and Taylor's book, we describe the monodromy filtration of the vanishing cycles complex and the spectral sequence associated to it. We prove in…

Algebraic Geometry · Mathematics 2018-09-03 Pascal Boyer

We introduce the notion of additive filter and present a new proof of the existence of idempotent ultrafilters on N without any use of Zorn's Lemma, and where one only assumes the Ultrafilter Theorem for the continuum.

Logic · Mathematics 2017-01-13 Mauro Di Nasso , Eleftherios Tachtsis

A discrete group which admits a faithful, finite dimensional, linear representation over a field $\mathbb F$ of characteristic zero is called linear. This note combines the natural structure of semi-direct products with work of A. Lubotzky…

Group Theory · Mathematics 2007-10-19 F. R. Cohen , Marston Conder , J. Lopez , Stratos Prassidis

Answering a question of Dobrinen and Todorcevic, we prove that below any stable ordered-union ultrafilter $\mathcal{U}$, there are exactly four nonprincipal Tukey classes: $[\mathcal{U}], [\mathcal{U}_{\operatorname{min}}],…

Logic · Mathematics 2024-10-08 Tan Özalp

Ultrafilters are very useful and versatile objects with applications throughout mathematics: in topology, analysis, combinarotics, model theory, and even theory of social choice. Proofs based on ultrafilters tend to be shorter and more…

Dynamical Systems · Mathematics 2013-10-17 Jakub Konieczny

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

In this work we study a weak order ideal associated with the coset leaders of a non-binary linear code. This set allows the incrementally computation of the coset leaders and the definitions of the set of leader codewords. This set of…

Information Theory · Computer Science 2017-05-19 M. Borges-Quintana , M. A. Borges-Trenard , E. Martinez-Moro

Motivated by a question of Isbell, we show that Jensen's Diamond Principle implies there is a non-P-point ultrafilter U on omega such that U, whether ordered by reverse inclusion or reverse inclusion mod finite, is not Tukey equivalent to…

Logic · Mathematics 2010-01-05 David Milovich

Motivated by recent work of Boney, Dimopoulos, Gitman and Magidor, we characterize the existence of weak compactness cardinals for all abstract logics through combinatorial properties of the class of ordinals. This analysis is then used to…

Logic · Mathematics 2025-05-22 Philipp Lücke

A simple \(P_\lambda\)-point on a regular cardinal \(\kappa\) is a uniform ultrafilter on \(\kappa\) with a mod-bounded decreasing generating sequence of length \(\lambda\). We prove that if there is a simple $P_\lambda$-point ultrafilter…

Logic · Mathematics 2025-12-10 Tom Benhamou , Gabriel Goldberg

Justin Moore's weak club-guessing principle $\mho$ admits various possible generalizations to the second uncountable cardinal. One of them was shown to hold in ZFC by Shelah. A stronger one was shown to follow from several consequences of…

Logic · Mathematics 2024-07-29 Ido Feldman

We define a special version of the ultralimit, called the skewed ultralimit. Using this tool, we show that the set of ultrafilter types in the $C$-equivalence class of a Ramsey ultrafilter $\mathfrak u\in \beta\omega$ with the Rudin-Keisler…

Logic · Mathematics 2026-05-12 Nikolai L. Poliakov

We show that if the weak compactness of a cardinal is made indestructible by means of any preparatory forcing of a certain general type, including any forcing naively resembling the Laver preparation, then the cardinal was originally…

Logic · Mathematics 2007-05-23 Arthur W. Apter , Joel David Hamkins

We study Medvedev reducibility in the context of set theory -- specifically, forcing and large cardinal hypotheses. Answering a question of Hamkins and Li \cite{HaLi}, we show that the Medvedev degrees of countable ordinals are far from…

Logic · Mathematics 2024-09-02 Noah Schweber

Consider the following generalization of the bicyclic monoid. Let $\kappa$ be any infinite cardinal and let $\mathcal{IP\!F}\left(\sigma{\mathbb{N}^\kappa}\right)$ be the semigroup of all order isomorphisms between principal filters of the…

Group Theory · Mathematics 2023-08-02 Taras Mokrytskyi

The ultraproduct construction is generalized to $p$-ultramean constructions ($1\leqslant p<\infty$) by replacing ultrafilters with finitely additive measures. These constructions correspond to the linear fragments $\mathscr L^p$ of…

Logic · Mathematics 2019-10-03 Seyed-Mohammad Bagheri