English
Related papers

Related papers: Generalized independence

200 papers

Let $\mu < \kappa < \lambda$ be three infinite cardinals, the first two being regular. We show that if there is no inner model with large cardinals, $u (\kappa, \lambda)$ is regular, where $u (\kappa, \lambda)$ denotes the least size of a…

Logic · Mathematics 2023-08-30 Pierre Matet

Generalizing classical descriptive set theory opens foundational questions about the Borel hierarchy. In this paper we systematically study those questions, working in the general framework of Polish-like spaces relative to an uncountable…

Logic · Mathematics 2025-11-20 Claudio Agostini , Nick Chapman , Luca Motto Ros , Beatrice Pitton

For a discrete group $G$, we use the natural correspondence between ideals in the Boolean algebra $ \mathcal{P}_G$ of subsets of $G$ and closed subsets in the Stone-$\check{C}$ech compactifi-cation $\beta G$ as a right topological semigroup…

General Topology · Mathematics 2017-04-11 Igor Protasov , Ksenia Protasova

We show that higher Sacks forcing at a regular limit cardinal and club Miller forcing at an uncountable regular cardinal both add a diamond sequence. We answer the longstanding question, whether $\kappa = \kappa^{<\kappa} \geq\aleph_1$…

Logic · Mathematics 2025-04-14 Heike Mildenberger , Saharon Shelah

We begin with the existence of groups with trivial duals for cardinals aleph_n (n in omega). Then we derive results about strongly aleph_n-free abelian groups of cardinality aleph_n (n in omega) with prescribed free, countable endomorphism…

Group Theory · Mathematics 2007-05-23 Rüdiger Göbel , Saharon Shelah

For each countable ordinal $\alpha \ge 2$, the ideals $\mathsf{conv}_\alpha$ were introduced in ``Critical ideals for countable compact spaces'' (to appear in Fund. Math., see also arXiv:2503.12571) to characterize compact countable spaces…

Logic · Mathematics 2026-03-03 Malgorzata Kowalczuk

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

We give a definition of some classes of boolean algebras generalizing free boolean algebras; they satisfy a universal property that certain functions extend to homomorphisms. We give a combinatorial property of generating sets of these…

Logic · Mathematics 2011-10-04 Corey Thomas Bruns

We prove several results giving lower bounds for the large cardinal strength of a failure of the singular cardinal hypothesis. The main result is the following theorem: Theorem: Suppose $\kappa$ is a singular strong limit cardinal and…

Logic · Mathematics 2016-09-06 Moti Gitik , William Mitchell

A recent article of Chernikov, Hrushovski, Kruckman, Krupinski, Moconja, Pillay and Ramsey finds the first examples of simple structures with formulas which do not fork over $\emptyset$ but are universally measure zero. In this article we…

Logic · Mathematics 2025-08-26 Paolo Marimon

We show that it is consistent that the continuum is as large as you wish, and for each uncountable cardinal $\kappa$ below the continuum, there are a subset $T$ of the reals and a family $A$ of countable subsets of $T$ such that (1) both…

Logic · Mathematics 2010-03-15 Lajos Soukup

This paper makes significant progress towards resolving a conjecture relating strong forcing axioms like $PFA$ and the derived model at a limit of Woodin cardinals $\kappa$. In particular, using a concept called Covering Matrices, we show…

Logic · Mathematics 2026-02-20 Derek Levinson , Nam Trang , Trevor Wilson

In math.AC/9608214 it was shown that fields of generalized power series cannot admit an exponential function. In this paper, we construct fields of generalized power series with bounded support which admit an exponential. We give a natural…

Logic · Mathematics 2007-05-23 Salma Kuhlmann , Saharon Shelah

We introduce a new compactness principle which we call the gluing property. For a measurable cardinal $\kappa$ and a cardinal $\lambda$, we say that $\kappa$ has the $\lambda$-gluing property if every sequence of $\lambda$-many…

Logic · Mathematics 2026-03-27 Yair Hayut , Alejandro Poveda

Recently a class of generalized information measures was defined on sets of items parametrized by submodular functions. In this paper, we propose and study various notions of independence between sets with respect to such information…

Information Theory · Computer Science 2021-08-21 Himanshu Asnani , Jeff Bilmes , Rishabh Iyer

Let $\mathcal{I}$ be an ideal on $\omega$. For $f,g\in\omega^\omega$ we write $f \leq_{\mathcal{I}} g$ if $f(n) \leq g(n)$ for all $n\in\omega\setminus A$ with some $A\in\mathcal{I}$. Moreover, we denote…

Logic · Mathematics 2023-08-01 Rafał Filipów , Adam Kwela

If cf(kappa) = kappa, kappa^+< cf(lambda) = \lambda, then there is a stationary subset S of {delta<lambda:cf(delta)=kappa} in I[lambda]. Moreover, we can find <C_delta :delta in S>, C_delta a club of lambda, otp(C_delta)=kappa, guessing…

Logic · Mathematics 2008-06-03 Saharon Shelah

Jech proved that every partially ordered set can be embedded into the cardinals of some model of $ZF$. We extend this result to show that every partially ordered set can be embedded into the cardinals of some model of $ZF+DC_{<\kappa}$ for…

Logic · Mathematics 2014-06-17 Asaf Karagila

We show that if the existence of a supercompact cardinal $\kappa$ with a weakly compact cardinal $\lambda$ above $\kappa$ is consistent, then the following are consistent as well (where $\mathfrak{t}(\kappa)$ and $\mathfrak{u}(\kappa)$ are…

Logic · Mathematics 2025-04-28 Radek Honzik , Sarka Stejskalova

In the context of generalized descriptive set theory, we systematically compare and analyze various notions of Polish-like spaces and standard $\kappa$-Borel spaces for $\kappa$ an uncountable (regular) cardinal satisfying $\kappa^{<\kappa}…

Logic · Mathematics 2023-06-21 Claudio Agostini , Luca Motto Ros , Philipp Schlicht