English
Related papers

Related papers: Cardinal invariants of idealized Miller null sets

200 papers

We show that the cofinalities of both the Miller ideal m^0 (the sigma-ideal naturally related to Miller forcing) and the Laver ideal ell^0 (related to Laver forcing) are larger than the size of the continuum in ZFC.

Logic · Mathematics 2016-11-28 Joerg Brendle , Yurii Khomskii , Wolfgang Wohofsky

We show that many large cardinal notions up to measurability can be characterized through the existence of certain filters for small models of set theory. This correspondence will allow us to obtain a canonical way in which to assign ideals…

Logic · Mathematics 2021-12-09 Peter Holy , Philipp Lücke

Let $\Sigma (X,\mathbb{C})$ denote the collection of all the rings between $C^*(X,\mathbb{C})$ and $C(X,\mathbb{C})$. We show that there is a natural correlation between the absolutely convex ideals/ prime ideals/maximal…

General Topology · Mathematics 2020-01-28 Amrita Acharyya , Sudip Kumar Acharyya , Sagarmoy Bag , Joshua Sack

We work in the Baire space $\mathbb{Z}^\omega$ equipped with the coordinate-wise addition $+$. Consider a $\sigma-$ideal $\mathcal{I}$ and a family $\mathbb{T}$ of some kind of perfect trees. We are interested in results of the form: for…

General Topology · Mathematics 2024-09-27 Łukasz Mazurkiewicz , Marcin Michalski , Robert Rałowski , Szymon Żeberski

We introduce the notion of pullback along a measurable cocycle and we use it to extend the Borel invariant studied by Bucher, Burger and Iozzi to the world of measurable cocycles. The Borel invariant is constant along cohomology classes and…

Geometric Topology · Mathematics 2022-01-03 Alessio Savini

For a regular uncountable cardinal kappa, we discuss the order relationship between the unbounding and dominating numbers on kappa and cardinal invariants of the higher meager ideal M_kappa. In particular, we obtain a complete…

Logic · Mathematics 2022-02-03 Joerg Brendle

We develop a forcing poset with finite conditions which adds a partial square sequence on a given stationary set, with adequate sets of models as side conditions. We then develop a kind of side condition product forcing for simultaneously…

Logic · Mathematics 2018-10-26 John Krueger

Assume that there is no quasi-measurable cardinal smaller than $2^\omega$. ($\kappa$ is quasi measurable if there exists $\kappa $-additive ideal $\ci $ of subsets of $\kappa $ such that the Boolean algebra $P(\kappa)/\ci$ satisfies c.c.c.)…

Logic · Mathematics 2010-03-05 Robert Ralowski , Szymon Zeberski

Let $(R, \mathfrak{m})$ be a Noetherian local ring. This paper concerns several extremal invariants arising from the study of the relation between colength and (Hilbert--Samuel or Hilbert--Kunz) multiplicity of an $\mathfrak{m}$-primary…

Commutative Algebra · Mathematics 2024-08-26 Linquan Ma , Pham Hung Quy , Ilya Smirnov

In this paper we shall consider a couple of properties of $\sigma$-ideals and study relations between them. Namely we will prove that $\mathfrak{c}$-cc $\sigma$-ideals are tall and that the Weaker Smital Property implies that every Borel…

General Topology · Mathematics 2019-07-23 Marcin Michalski

We prove two $\mathrm{ZFC}$ inequalities between cardinal invariants. The first inequality involves cardinal invariants associated with an analytic P-ideal, in particular the ideal of subsets of $\omega$ of asymptotic density $0$. We obtain…

Logic · Mathematics 2015-05-26 Dilip Raghavan , Saharon Shelah

In this paper,we introduce the monomial ideals I(H) associated to a special class of non uniform hypergraphs H(X; E; d) namely uniformly increasing hypergraphs. These ideals are named as inclusion ideals. In this paper, we discuss some…

Commutative Algebra · Mathematics 2013-09-17 Sarfraz Ahmad , Imran Anwar , Azeem Haider , Amina Inam

We propose a new, game-theoretic, approach to the idealized forcing, in terms of fusion games. This generalizes the classical approach to the Sacks and the Miller forcing. For definable ($\mathbf{\Pi}^1_1$ on $\mathbf{\Sigma}^1_1)…

Logic · Mathematics 2009-10-14 Marcin Sabok

In this paper we study the maximal ideals in a commutative ring of bicomplex numbers and then we describe the maximal ideals in a bicomplex algebra. We found that the kernel of a nonzero multiplicative BC-linear functional in a commutative…

Functional Analysis · Mathematics 2018-03-12 Kulbir Singh , Romesh Kumar

Assuming four strongly compact cardinals, it is consistent that all entries in Cicho\'n's diagram are pairwise different, more specifically that \[ \aleph_1 < \mathrm{add}(\mathrm{null}) < \mathrm{cov}(\mathrm{null}) < \mathfrak{b} <…

Logic · Mathematics 2019-07-08 Martin Goldstern , Jakob Kellner , Saharon Shelah

Factoring ideals in integral domains is a central topic in multiplicative ideal theory. In the present paper we study monoids of ideals and consider factorizations of ideals into multiplicatively irreducible ideals. The focus is on the…

Commutative Algebra · Mathematics 2017-10-02 Alfred Geroldinger , Andreas Reinhart

We show that a parametrized $\diamondsuit$ principle, corresponding to the uniformity of the meager ideal, implies that the minimum cardinality of an infinite maximal almost disjoint family of block subspaces in a countable vector space is…

Logic · Mathematics 2024-07-22 Iian B. Smythe

We study the possible number of normal measures on a measurable cardinal in settings where inner model techniques are unavailable. Instead, we exploit consequences of the Ultrapower Axiom to obtain our theorems. We show that the classical…

Logic · Mathematics 2026-03-13 Arthur W. Apter , Eyal Kaplan , Alejandro Poveda

Working under large cardinal assumptions, we study the Borel-reducibility between equivalence relations modulo restrictions of the non-stationary ideal on some fixed cardinal $\kappa$. We show the consistency of…

Logic · Mathematics 2017-08-10 David Asperó , Tapani Hyttinen , Vadim Kulikov , Miguel Moreno

This is a continuation of the paper [J. Symb. Log. 87 (2022), 1065--1092]. For an ideal $\mathcal{I}$ on $\omega$ we denote $\mathcal{D}_{\mathcal{I}}=\{f\in\omega^\omega: f^{-1}[\{n\}]\in\mathcal{I} \text{ for every $n\in \omega$}\}$ and…

Logic · Mathematics 2025-02-05 Adam Kwela