Showing 1–9 of 9 results for author: Dimonte, V

The $λ$-PSP at $λ$-coanalytic sets

Authors: Fernando Barrera, Vincenzo Dimonte, Sandra Müller

Abstract: Given a strong limit cardinal $λ$ of countable cofinality, we show that if every $λ$-coanalytic subset of the generalised Cantor space ${}^λ2$ has the $λ$-$\mathsf{PSP}$, then there is an inner model with $λ$-many measurable cardinals. The paper, a contribution to the ongoing research on generalised regularity properties in generalised descriptive set theory at singular cardinals of countable cofi… ▽ More Given a strong limit cardinal $λ$ of countable cofinality, we show that if every $λ$-coanalytic subset of the generalised Cantor space ${}^λ2$ has the $λ$-$\mathsf{PSP}$, then there is an inner model with $λ$-many measurable cardinals. The paper, a contribution to the ongoing research on generalised regularity properties in generalised descriptive set theory at singular cardinals of countable cofinality, is aimed at descriptive set theorists, and so it presents the main result in small steps, slowly increasing the consistency strength lower bound from the existence of an inner model with a measurable cardinal up to the already mentioned one. For this, the inner model theory and covering properties of the Dodd-Jensen core model, $L[U]$ and Koepke's canonical model are used. By giving as much detail as needed at any step, we intend to provide the community with the necessary tools to deal with consistency strength arguments at the corresponding levels. △ Less

Submitted 22 April, 2025; originally announced April 2025.

Comments: 25 pages

The Baire and perfect set properties at singulars cardinals

Authors: Vincenzo Dimonte, Alejandro Poveda, Sebastiano Thei

Abstract: We construct a model of ZFC with a singular cardinal $κ$ such that every subset of $κ$ in $L(V_{κ+1})$ has both the $κ$-Perfect Set Property and the $\mathcal{\vec{U}}$-Baire Property. This is a higher analogue of Solovay's result for $L(\mathbb{R})$. We obtain this configuration starting with large-cardinal assumptions in the realm of supercompactness, thus improving former theorems by Cramer, Sh… ▽ More We construct a model of ZFC with a singular cardinal $κ$ such that every subset of $κ$ in $L(V_{κ+1})$ has both the $κ$-Perfect Set Property and the $\mathcal{\vec{U}}$-Baire Property. This is a higher analogue of Solovay's result for $L(\mathbb{R})$. We obtain this configuration starting with large-cardinal assumptions in the realm of supercompactness, thus improving former theorems by Cramer, Shi and Woodin. △ Less

Submitted 12 August, 2024; originally announced August 2024.

Descriptive properties of I2-embeddings

Authors: Vincenzo Dimonte, Martina Iannella, Philipp Lücke

Abstract: We contribute to the study of generalizations of the Perfect Set Property and the Baire Property to subsets of spaces of higher cardinalities, like the power set $P(λ)$ of a singular cardinal $λ$ of countable cofinality or products $\prod_{i<ω}λ_i$ for a strictly increasing sequence $\langleλ_i ~ \vert ~ i<ω\rangle$ of cardinals. We consider the question under which large cardinal hypotheses class… ▽ More We contribute to the study of generalizations of the Perfect Set Property and the Baire Property to subsets of spaces of higher cardinalities, like the power set $P(λ)$ of a singular cardinal $λ$ of countable cofinality or products $\prod_{i<ω}λ_i$ for a strictly increasing sequence $\langleλ_i ~ \vert ~ i<ω\rangle$ of cardinals. We consider the question under which large cardinal hypotheses classes of definable subsets of these spaces possess such regularity properties, focusing on rank-into-rank axioms and classes of sets definable by $Σ_1$-formulas with parameters from various collections of sets. We prove that $ω$-many measurable cardinals, while sufficient to prove the Perfect Set Property of all $Σ_1$-definable sets with parameters in $V_λ\cup\{V_λ\}$, are not enough to prove it if there is a cofinal sequence in $λ$ in the parameters. For this conclusion, the existence of an I2-embedding is enough, but there are parameters in $V_{λ+1}$ for which I2 is still not enough. The situation is similar for the Baire Property: under I2 all sets that are $Σ_1$-definable using elements of $V_λ$ and a cofinal sequence as parameters have the Baire property, but I2 is not enough for some parameter in $V_{λ+1}$. Finally, the existence of an I0-embedding implies that all sets that are $Σ^1_n$-definable with parameters in $V_{λ+1}$ have the Baire property. △ Less

Submitted 4 November, 2024; v1 submitted 1 November, 2023; originally announced November 2023.

Comments: Revised version. 21 pages

MSC Class: 03E55; 03E35; 03E45; 03E47

A Solovay-like model for singular generalized descriptive set theory

Authors: Vincenzo Dimonte

Abstract: Kunen's proof of the non-existence of Reinhardt cardinals opened up the research on very large cardinals, i.e., hypotheses at the limit of inconsistency. One of these large cardinals, I0, proved to have descriptive-set-theoretical characteristics, similar to those implied by the Axiom of Determinacy: if $λ$ witnesses I0, then there is a topology for $V_{λ+1}$ that is completely metrizable and with… ▽ More Kunen's proof of the non-existence of Reinhardt cardinals opened up the research on very large cardinals, i.e., hypotheses at the limit of inconsistency. One of these large cardinals, I0, proved to have descriptive-set-theoretical characteristics, similar to those implied by the Axiom of Determinacy: if $λ$ witnesses I0, then there is a topology for $V_{λ+1}$ that is completely metrizable and with weight $λ$ (i.e., it is a $λ$-Polish space), and it turns out that all the subsets of $V_{λ+1}$ in $L(V_{λ+1})$ have the $λ$-Perfect Set Property in such topology. In this paper, we find another generalized Polish space of singular weight $κ$ of cofinality $ω$ such that all its subsets have the $κ$-Perfect Set Property, and in doing this, we are lowering the consistency strength of such property from I0 to $κ$ $θ$-supercompact, with $θ>κ$ inaccessible. △ Less

Submitted 19 June, 2022; originally announced June 2022.

The iterability hierarchy above I3

Authors: Alessandro Andretta, Vincenzo Dimonte

Abstract: In this paper we introduce a new hierarchy of large cardinals between I3 and I2, the iterability hierarchy, and we prove that every step of it strongly implies the ones below. In this paper we introduce a new hierarchy of large cardinals between I3 and I2, the iterability hierarchy, and we prove that every step of it strongly implies the ones below. △ Less

Submitted 23 April, 2018; v1 submitted 11 December, 2017; originally announced December 2017.

Comments: Archive for Mathematical Logic (2018)

I0 and rank-into-rank axioms

Authors: Vincenzo Dimonte

Abstract: Just a survey on I0: The basics, some things known but never published, some things published but not known. Just a survey on I0: The basics, some things known but never published, some things published but not known. △ Less

Submitted 9 July, 2017; originally announced July 2017.

LD-algebras beyond I0

Authors: Vincenzo Dimonte

Abstract: The algebra of embeddings at the I3 level has been deeply analyzed, but nothing is known algebra-wise for embeddings above I3. In this paper it is introduced an operation for embeddings at the level of I0 and above, and it is proven that they generate an LD-algebra that can be quite different from the I3 one. The algebra of embeddings at the I3 level has been deeply analyzed, but nothing is known algebra-wise for embeddings above I3. In this paper it is introduced an operation for embeddings at the level of I0 and above, and it is proven that they generate an LD-algebra that can be quite different from the I3 one. △ Less

Submitted 4 July, 2017; v1 submitted 5 January, 2017; originally announced January 2017.

Journal ref: Notre Dame J. Formal Logic 60, no. 3 (2019), 395-405

Generic I0 at $\aleph_ω$

Authors: Vincenzo Dimonte

Abstract: In this paper it is introduced a generic large cardinal akin to I0, and its consequences are analyzed in the case that $\aleph_ω$ is such a generic large cardinal. In this case $\aleph_ω$ is Jónsson, and in a choiceless inner model many properties hold that are in contrast with PCF in ZFC. In this paper it is introduced a generic large cardinal akin to I0, and its consequences are analyzed in the case that $\aleph_ω$ is such a generic large cardinal. In this case $\aleph_ω$ is Jónsson, and in a choiceless inner model many properties hold that are in contrast with PCF in ZFC. △ Less

Submitted 18 December, 2017; v1 submitted 26 September, 2016; originally announced September 2016.

MSC Class: 03E05; 03E35; 03E55; 03E45

A general tool for consistency results related to I1

Authors: Vincenzo Dimonte, Liuzhen Wu

Abstract: In this paper we provide a general tool to prove the consistency of $I1(λ)$ with various combinatorial properties at $λ$ typical at settings with $2^λ>λ^+$, that does not need a profound knowledge of the forcing notions involved. Examples of such properties are the first failure of GCH, a very good scale and the negation of the approachability property, or the tree property at $λ^+$ and $λ^{++}$. In this paper we provide a general tool to prove the consistency of $I1(λ)$ with various combinatorial properties at $λ$ typical at settings with $2^λ>λ^+$, that does not need a profound knowledge of the forcing notions involved. Examples of such properties are the first failure of GCH, a very good scale and the negation of the approachability property, or the tree property at $λ^+$ and $λ^{++}$. △ Less

Submitted 12 October, 2015; originally announced October 2015.

MSC Class: 03E55; 03E05; 03E35(03E45)