Source author record

Juan P. Aguilera

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

ResearcherUnclaimed source record

math.LO

Catalog footprint

Research overview

4works

1topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

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).

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}$ .

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.

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's polymodal logic $\sf{GLP}$ $_ω$ . Icard'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$ .

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.

Juan P. Aguilera

Research overview

Is this your work?

4 publications

Long Games and $σ$ -Projective Sets

Projective Games on the Reals

The consistency strength of long projective determinacy

Strong Completeness of Provability Logic for Ordinal Spaces

See the researcher in context

Building this map preview

Juan P. Aguilera

Research overview

Is this your work?

4 publications

Long Games and σσσ-Projective Sets

Projective Games on the Reals

The consistency strength of long projective determinacy

Strong Completeness of Provability Logic for Ordinal Spaces

See the researcher in context

Building this map preview

Long Games and $σ$ -Projective Sets