1 citations · 1 across the 5 of their papers we have counts for
6 papers · 1 filter
A Solovay-like model for singular generalized descriptive set theory
Vincenzo Dimonte
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 cardina…
The iterability hierarchy above I3
Alessandro Andretta, Vincenzo Dimonte
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.
I0 and rank-into-rank axioms
Vincenzo Dimonte
Just a survey on I0: The basics, some things known but never published, some things published but not known.
LD-algebras beyond I0
Vincenzo Dimonte
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 embed…
Generic I0 at
Vincenzo Dimonte
In this paper it is introduced a generic large cardinal akin to I0, and its consequences are analyzed in the case that is such a generic large cardinal. In this case $\a…
A general tool for consistency results related to I1
Vincenzo Dimonte, Liuzhen Wu
In this paper we provide a general tool to prove the consistency of with various combinatorial properties at typical at settings with , that does not need a pr…