1 citations · 1 across the 5 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
math.LO2017
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.
math.LO2017
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.
math.LO2017★ 1 cited
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…