Source author record

Diego A. Mejía

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.NT

Catalog footprint

Research overview

9works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Forcing constellations of Cichoń's diagram by using the Tukey order

We use known finite support iteration techniques to present various examples of models where several cardinal characteristics of Cichoń's diagram are pairwise different. We show some simple examples forcing the left-hand side of Cichoń's diagram, and present the technique of restriction to models to force Cichoń's maximum (original from Goldstern, Kellner, Shelah, and the second author). We focus on how the values forced in all the constellations are obtained via the Tukey order.

preprint2022arXiv

Some notes about power residues modulo prime

Let $q$ be a prime. We classify the odd primes $p\neq q$ such that the equation $x^2\equiv q\pmod{p}$ has a solution, concretely, we find a subgroup $\mathbb{L}_{4q}$ of the multiplicative group $\mathbb{U}_{4q}$ of integers relatively prime with $4q$ (modulo $4q$ ) such that $x^2\equiv q\pmod{p}$ has a solution iff $p\equiv c\pmod{4q}$ for some $c\in\mathbb{L}_{4q}$ . Moreover, $\mathbb{L}_{4q}$ is the only subgroup of $\mathbb{U}_{4q}$ of half order containing $-1$ . Considering the ring $\mathbb{Z}[\sqrt{2}]$ , for any odd prime $p$ it is known that the equation $x^2\equiv 2\pmod{p}$ has a solution iff the equation $x^2-2y^2=p$ has a solution in the integers. We ask whether this can be extended in the context of $\mathbb{Z}[\sqrt[n]{2}]$ with $n\geq 2$ , namely: for any prime $p\equiv 1\pmod{n}$ , is it true that $x^n\equiv 2\pmod{p}$ has a solution iff the equation $D^2_n(x_0,\ldots,x_{n-1})=p$ has a solution in the integers? Here $D^2_n(\bar{x})$ represents the norm of the field extension $\mathbb{Q}(\sqrt[n]{2})$ of $\mathbb{Q}$ . We solve some weak versions of this problem, where equality with $p$ is replaced by $0\pmod{p}$ (divisible by $p$ ), and the "norm" $D^r_n(\bar{x})$ is considered for any $r\in\mathbb{Z}$ in the place of $2$ .

preprint2020arXiv

Cichoń's maximum without large cardinals

Cichoń's diagram lists twelve cardinal characteristics (and the provable inequalities between them) associated with the ideals of null sets, meager sets, countable sets, and $σ$ -compact subsets of the irrationals. It is consistent that all entries of Cichoń's diagram are pairwise different (apart from $\textrm{add}(\mathcal{M})$ and $\textrm{cof}(\mathcal{M})$ , which are provably equal to other entries). However, the consistency proofs so far required large cardinal assumptions. In this work, we show the consistency without such assumptions.

preprint2020arXiv

Controlling classical cardinal characteristics while collapsing cardinals

Given a forcing notion $P$ that forces certain values to several classical cardinal characteristics of the reals, we show how we can compose $P$ with a collapse (of a cardinal $λ>κ$ to $κ$ ) such that the composition still forces the previous values to these characteristics. We also show how to force distinct values to $\mathfrak m$ , $\mathfrak p$ and $\mathfrak h$ and also keeping all the values in Cichoń's diagram distint, using the Boolean Ultrapower method of arXiv:1708.03691 . (In arXiv:2006.09826 , the same was done for the newer Cichoń's Maximum construction, which avoids large cardinals.)

preprint2020arXiv

Filter-linkedness and its effect on preservation of cardinal characteristics

We introduce the property `` $F$ -linked'' of subsets of posets for a given free filter $F$ on the natural numbers, and define the properties `` $μ$ - $F$ -linked'' and `` $θ$ - $F$ -Knaster'' for posets in a natural way. We show that $θ$ - $F$ -Knaster posets preserve strong types of unbounded families and of maximal almost disjoint families. Concerning iterations of such posets, we develop a general technique to construct $θ$ - $\mathrm{Fr}$ -Knaster posets (where $\mathrm{Fr}$ is the Frechet ideal) via matrix iterations of ${<}θ$ -ultrafilter-linked posets (restricted to some level of the matrix). This is applied to prove consistency results about Cichoń's diagram (without using large cardinals) and to prove the consistency of the fact that, for each Yorioka ideal, the four cardinal invariants associated with it are pairwise different. At the end, we show that three strongly compact cardinals are enough to force that Cichoń's diagram can be separated into $10$ different values.

preprint2018arXiv

Matrix iterations with vertical support restrictions

We use coherent systems of FS iterations on a power set, which can be seen as matrix iteration that allows restriction on arbitrary subsets of the vertical component, to prove general theorems about preservation of certain type of unbounded families on definable structures and of certain mad families (like those added by Hechler's poset for adding an a.d. family) regardless of the cofinality of their size. In particular, we define a class of posets called $σ$ -Frechet-linked and show that they work well to preserve mad families, and unbounded families on $ω^ω$ . As applications of this method, we show that a large class of FS iterations can preserve the mad family added by Hechler's poset (regardless of the cofinality of its size), and the consistency of a constellation of Cichoń's diagram with 7 values where two of these values are singular.

preprint2018arXiv

On cardinal characteristics of Yorioka ideals

Yorioka [J. Symbolic Logic 67(4):1373-1384, 2002] introduced a class of ideals (parametrized by reals) on the Cantor space to prove that the relation between the size of the continuum and the cofinality of the strong measure zero ideal on the real line cannot be decided in ZFC. We construct a matrix iteration of ccc posets to force that, for many ideals in that class, their associated cardinal invariants (i.e. additivity, covering, uniformity and cofinality) are pairwise different. In addition, we show that, consistently, the additivity and cofinality of Yorioka ideals does not coincide with the additivity and cofinality (respectively) of the ideal of Lebesgue measure zero subsets of the real line.

preprint2015arXiv

The left side of Cichoń's diagram

Using a finite support iteration of ccc forcings, we construct a model of $\aleph_1<\mathrm{add}(\mathcal{N})<\mathrm{cov}(\mathcal{N})<\mathfrak{b}<\mathrm{non}(\mathcal{M})<\mathrm{cov}(\mathcal{M})=\mathfrak{c}$ .

preprint2014arXiv

Rothberger gaps in fragmented ideals

The~\emph{Rothberger number} $\mathfrak{b} (\mathcal{I})$ of a definable ideal $\mathcal{I}$ on $ω$ is the least cardinal $κ$ such that there exists a Rothberger gap of type $(ω,κ)$ in the quotient algebra $\mathcal{P} (ω) / \mathcal{I}$ . We investigate $\mathfrak{b} (\mathcal{I})$ for a subclass of the $F_σ$ ideals, the fragmented ideals, and prove that for some of these ideals, like the linear growth ideal, the Rothberger number is $\aleph_1$ while for others, like the polynomial growth ideal, it is above the additivity of measure. We also show that it is consistent that there are infinitely many (even continuum many) different Rothberger numbers associated with fragmented ideals.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Diego A. Mejía

Research overview

Is this your work?

9 publications

Forcing constellations of Cichoń's diagram by using the Tukey order

Some notes about power residues modulo prime

Cichoń's maximum without large cardinals

Controlling classical cardinal characteristics while collapsing cardinals

Filter-linkedness and its effect on preservation of cardinal characteristics

Matrix iterations with vertical support restrictions

On cardinal characteristics of Yorioka ideals

The left side of Cichoń's diagram

Rothberger gaps in fragmented ideals

See the researcher in context

Building this map preview