English
Related papers

Related papers: Cofinal types on $\omega_2$

200 papers

It is proved that for every positive integer $n$, the number of non-Tukey-equivalent directed sets of cardinality $\leq \aleph_n$ is at least $c_{n+2}$, the $(n+2)$-Catalan number. Moreover, the Tukey class $\mathcal D_{\aleph_n} $ of…

Logic · Mathematics 2023-12-29 Roy Shalev

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

In this paper, we study some new examples of ideals on $\omega$ with maximal Tukey type (that is, maximal among partial orders of size continuum). This discussion segues into an examination of a refinement of the Tukey order -- known as the…

Logic · Mathematics 2023-11-06 Konstantinos A. Beros , Paul B. Larson

We investigate the local topological structure of non-metrizable topological groups through the lens of Tukey order and cofinal types. Motivated by recent advances in topological groups admitting an $\omega^\omega$-base, we introduce the…

General Topology · Mathematics 2026-05-26 Xuan Gong , Dekui Peng

In this paper we study the (Cohen-Macaulay) type of orders over Dedekind domains in \'etale algebras. We provide a bound for the type, and give formulas to compute it. We relate the type of the overorders of a given order to the size of…

Commutative Algebra · Mathematics 2025-02-28 Stefano Marseglia

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 purpose of this note is to start the systematic analysis of cofinal types of topological groups.

General Topology · Mathematics 2024-04-09 Boriša Kuzeljević , Stepan Milošević

In [arXiv:1006.4939] the enumeration order reducibility is defined on natural numbers. For a c.e. set A, [A] denoted the class of all subsets of natural numbers which are co-order with A. In definition 5 we redefine co-ordering for rational…

Logic in Computer Science · Computer Science 2011-02-15 Saeed Asaeedi , Farzad Didehvar

We investigate the structure of the Tukey types of ultrafilters on countable sets partially ordered by reverse inclusion. A canonization of cofinal maps from a p-point into another ultrafilter is obtained. This is used in particular to…

Logic · Mathematics 2011-10-20 Natasha Dobrinen , Stevo Todorcevic

This paper presents a systematic study of coproducts. This is carried out principally, but not exclusively, for finitely generated quasivarieties A that admit a (term) reduct in the variety D of bounded distributive lattices. In this…

Rings and Algebras · Mathematics 2013-08-22 L. M. Cabrer , H. A. Priestley

One partially ordered set, $Q$, is a Tukey quotient of another, $P$, if there is a map $\phi : P \to Q$ carrying cofinal sets of $P$ to cofinal sets of $Q$. Two partial orders which are mutual Tukey quotients are said to be Tukey…

General Topology · Mathematics 2016-08-02 Paul Gartside , Ana Mamatelashvili

We attack the question of E_2-formality of differential graded algebras over prime fields via obstruction theory. We are able to prove that E_2-algebras whose cohomology ring is a polynomial algebra on even degree classes are intrinsically…

Algebraic Topology · Mathematics 2026-05-26 Geoffroy Horel

In this article we prove that $E(n)$-coactions over a finite-dimensional algebra $A$ are classified by tuples $(\varphi, d_1, ... , d_n)$ consisting of an involution $\varphi$ and a family $(d_i)_{i=1,...,n}$ of $\varphi$-derivations…

Quantum Algebra · Mathematics 2025-03-11 Fabio Renda

We describe classes of toric varieties of codimension 2 which are either minimally defined by 3 binomial equations over any algebraically closed field, or are set-theoretic complete intersections in exactly one positive characteristic.

Commutative Algebra · Mathematics 2007-06-28 Margherita Barile

We present two different types of models where, for certain singular cardinals lambda of uncountable cofinality, lambda -> (lambda, omega+1)^2, although lambda is not a strong limit cardinal. We announce, here, and will present in a…

Logic · Mathematics 2016-09-07 Saharon Shelah , Lee Stanley

In this paper we make an initial study on type D moduli spaces in positive characteristic $p\neq 2$, where we allow $p$ ramified in the definite quaternion algebra. We classify the isogeny classes of $p$-divisible groups with additional…

Number Theory · Mathematics 2020-06-04 Chia-Fu Yu

The cofinality quantifiers were introduced by Shelah as an example of a compact logic stronger than first-order logic. We show that the classes of models axiomatized by these quantifiers can be turned into an Abstract Elementary Class by…

Logic · Mathematics 2025-04-16 Will Boney

In this paper we shall investigate the concepts of cofiniteness of local cohomology modules and Abelian categories of cofinite modules over arbitrary Noetherian rings. Then we shall improve some of the results given in the literature.

Commutative Algebra · Mathematics 2019-01-23 Kamal , Bahmanpour

Functions with fixed initial coefficient have been widely studied. A new methodology is proposed in this paper by making appropriate modifications and improvements to the theory of second-order differential subordination. Several…

Complex Variables · Mathematics 2012-08-02 Rosihan M. Ali , Sumit Nagpal , V. Ravichandran

For an ultrafilter $D$ on a cardinal $\kappa,$ we wonder for which pair $(\theta_1, \theta_2)$ of regular cardinals, we have: for any $(\theta_1+\theta_2)^+-$saturated dense linear order $J, J^{\kappa}/ D$ has a cut of cofinality…

Logic · Mathematics 2016-09-20 Mohammad Golshani , Saharon Shelah
‹ Prev 1 2 3 10 Next ›