In the first part of this paper, we explore the possibility for a very large cardinal $\kappa$ to carry a $\kappa$-complete ultrafilter without Galvin's property. In this context, we prove the consistency of every ground model $\kappa$-complete ultrafilter extends to a non-Galvin one. Oppositely, it is also consistent that every ground model $\kappa$-complete ultrafilter extends to a $P$-point ultrafilter, hence to another one satisfying Galvin's property. We also study Galvin's property at large cardinals in the choiceless context, especially under \textsf{AD}. Finally, we apply this property to a classical pro\-blem in partition calculus by proving the relation $\lambda\rightarrow(\lambda,\omega+1)^2$ under ``\textsf{AD}+$V=L(\mathbb{R})$...
We introduce the notion of additive filter and present a new proof of the existence of idempotent ul...
Suppose κ is a supercompact cardinal and λ≥κ. In [3], we studied the relationship between the weak p...
It is shown that, within L(R), the smallest inner model of set theory containing the reals, the axio...
We force the existence of a non-trivial $\kappa$-complete ultrafilter over $\kappa$ which fails to s...
We study some limitations and possible occurrences of uniform ultrafilters on ordinals without the a...
Abstract. Via two short proofs and three constructions, we show how to increase the model-theoretic ...
We examine model-theoretic properties of U-Prod N where U is a non-principal ultrafilter on w, and N...
It is shown that the consistency strength of ZF + DC + "the closed unbounded ultrafilter on omega_1 ...
AbstractIn recent work, the second author extended combinatorial principles due to Jech and Magidor ...
In this paper we analyse and compare two different notions of regularity for filters on complete Boo...
The main theorem is that the Ultrafilter Axiom of Woodin (J Math Log 11(2):115–37, 2011) must fail a...
This thesis investigates combinatorial properties of ultrafilters and their model-theoretic signific...
AbstractWe construct a parametrized framework, at the center of which is a space D and the notion of...
AbstractWe develop a game-theoretic approach to partition theorems, like those of Mathias, Taylor, a...
In the following κ and λ are arbitrary regular uncountable cardinals. What was known? Theorem 1 (Bal...
We introduce the notion of additive filter and present a new proof of the existence of idempotent ul...
Suppose κ is a supercompact cardinal and λ≥κ. In [3], we studied the relationship between the weak p...
It is shown that, within L(R), the smallest inner model of set theory containing the reals, the axio...
We force the existence of a non-trivial $\kappa$-complete ultrafilter over $\kappa$ which fails to s...
We study some limitations and possible occurrences of uniform ultrafilters on ordinals without the a...
Abstract. Via two short proofs and three constructions, we show how to increase the model-theoretic ...
We examine model-theoretic properties of U-Prod N where U is a non-principal ultrafilter on w, and N...
It is shown that the consistency strength of ZF + DC + "the closed unbounded ultrafilter on omega_1 ...
AbstractIn recent work, the second author extended combinatorial principles due to Jech and Magidor ...
In this paper we analyse and compare two different notions of regularity for filters on complete Boo...
The main theorem is that the Ultrafilter Axiom of Woodin (J Math Log 11(2):115–37, 2011) must fail a...
This thesis investigates combinatorial properties of ultrafilters and their model-theoretic signific...
AbstractWe construct a parametrized framework, at the center of which is a space D and the notion of...
AbstractWe develop a game-theoretic approach to partition theorems, like those of Mathias, Taylor, a...
In the following κ and λ are arbitrary regular uncountable cardinals. What was known? Theorem 1 (Bal...
We introduce the notion of additive filter and present a new proof of the existence of idempotent ul...
Suppose κ is a supercompact cardinal and λ≥κ. In [3], we studied the relationship between the weak p...
It is shown that, within L(R), the smallest inner model of set theory containing the reals, the axio...