BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Diego A. Mejía

Diego A. Mejía contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LOmath.NT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

7 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.)

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Filter-linkedness and its effect on preservation of cardinal characteristics

We introduce the property ``$F$-linked&#39;&#39; of subsets of posets for a given free filter $F$ on the natural numbers, and define the properties ``$μ$-$F$-linked&#39;&#39; and ``$θ$-$F$-Knaster&#39;&#39; 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ń&#39;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ń&#39;s diagram can be separated into $10$ different values.

0 citations0 reviewsNo code linkedOpen access
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&#39;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&#39;s poset (regardless of the cofinality of its size), and the consistency of a constellation of Cichoń&#39;s diagram with 7 values where two of these values are singular.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access