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

Juan P. Aguilera

Juan P. Aguilera contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LO

Trust snapshot

Quick read

Trust 17 - UnverifiedVerification L1Unclaimed author
4works
0followers
1topics
3close 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

4 published item(s)

preprint2021arXiv

Long Games and $σ$-Projective Sets

We prove a number of results on the determinacy of $σ$-projective sets of reals, i.e., those belonging to the smallest pointclass containing the open sets and closed under complements, countable unions, and projections. We first prove the equivalence between $σ$-projective determinacy and the determinacy of certain classes of games of variable length ${<}ω^2$ (Theorem 2.4). We then give an elementary proof of the determinacy of $σ$-projective sets from optimal large-cardinal hypotheses (Theorem 4.4). Finally, we show how to generalize the proof to obtain proofs of the determinacy of $σ$-projective games of a given countable length and of games with payoff in the smallest $σ$-algebra containing the projective sets, from corresponding assumptions (Theorems 5.1 and 5.4).

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Projective Games on the Reals

Let $M^\sharp_n(\mathbb{R})$ denote the minimal active iterable extender model which has $n$ Woodin cardinals and contains all reals, if it exists, in which case we denote by $M_n(\mathbb{R})$ the class-sized model obtained by iterating the topmost measure of $M_n(\mathbb{R})$ class-many times. We characterize the sets of reals which are $Σ_1$-definable from $\mathbb{R}$ over $M_n(\mathbb{R})$, under the assumption that projective games on reals are determined: (1) for even $n$, $Σ_1^{M_n(\mathbb{R})} = \Game^\mathbb{R}Π^1_{n+1}$; (2) for odd $n$, $Σ_1^{M_n(\mathbb{R})} = \Game^\mathbb{R}Σ^1_{n+1}$. This generalizes a theorem of Martin and Steel for $L(\mathbb{R})$, i.e., the case $n=0$. As consequences of the proof, we see that determinacy of all projective games with moves in $\mathbb{R}$ is equivalent to the statement that $M^\sharp_n(\mathbb{R})$ exists for all $n\in\mathbb{N}$, and that determinacy of all projective games of length $ω^2$ with moves in $\mathbb{N}$ is equivalent to the statement that $M^\sharp_n(\mathbb{R})$ exists and satisfies $\mathsf{AD}$ for all $n\in\mathbb{N}$.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

The consistency strength of long projective determinacy

We determine the consistency strength of determinacy for projective games of length $ω^2$. Our main theorem is that $\boldsymbolΠ^1_{n+1}$-determinacy for games of length $ω^2$ implies the existence of a model of set theory with $ω+ n$ Woodin cardinals. In a first step, we show that this hypothesis implies that there is a countable set of reals $A$ such that $M_n(A)$, the canonical inner model for $n$ Woodin cardinals constructed over $A$, satisfies $A = \mathbb{R}$ and the Axiom of Determinacy. Then we argue how to obtain a model with $ω+ n$ Woodin cardinal from this. We also show how the proof can be adapted to investigate the consistency strength of determinacy for games of length $ω^2$ with payoff in $\Game^\mathbb{R} \boldsymbolΠ^1_1$ or with $σ$-projective payoff.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Strong Completeness of Provability Logic for Ordinal Spaces

Abashidze and Blass independently proved that the modal logic $\sf{GL}$ is complete for its topological interpretation over any ordinal greater than or equal to $ω^ω$ equipped with the interval topology. Icard later introduced a family of topologies $\mathcal I_λ$ for $λ< ω$, with the purpose of providing semantics for Japaridze&#39;s polymodal logic $\sf{GLP}$ $_ω$. Icard&#39;s construction was later extended by Joosten and the second author to arbitrary ordinals $λ\geq ω$. We further generalize Icard topologies in this article. Given a scattered space $\mathfrak X = (X, τ)$ and an ordinal $λ$, we define a topology $τ_{+λ}$ in such a way that $τ_{+0}$ is the original topology $τ$ and $τ_{+λ}$ coincides with $\mathcal I_λ$ when $\mathfrak X$ is an ordinal endowed with the left topology. We then prove that, given any scattered space $\mathfrak X$ and any ordinal $λ>0$ such that the rank of $(X, τ)$ is large enough, $\sf{GL}$ is strongly complete for $τ_{+λ}$. One obtains the original Abashidze-Blass theorem as a consequence of the special case where $\mathfrak X=ω^ω$ and $λ=1$.

0 citations0 reviewsNo code linkedOpen access