• We define a notion of order of indiscernibility type of a structure by analogy with Mitchell order on measures; we use this to define a hierarchy of strong axioms of infinity defined through normal filters, the α-weakly Erdős hierarchy. The filters in this hierarchy can be seen to be generated by sets of ordinals where these indiscernibility orders on structures dominate the canonical functions.• The limit axiom of this is that of greatly Erdős and we use it to calibrate (...) some strengthenings of the Chang property, one of which, CC+, is equiconsistent with a Ramsey cardinal, and implies that where K is the core model built with non-overlapping extenders — if it is rigid, and others which are a little weaker. As one corollary we have:TheoremIf then there is an inner model with a strong cardinal. • We define an α-Jónsson hierarchy to parallel the α-Ramsey hierarchy, and show that κ being α-Jónsson implies that it is α-Ramsey in the core model. (shrink)

We show that weakly compact cardinals are the smallest large cardinals k where k+ < k+ is impossible provided 0# does not exist. We also show that if k+Kc < k+ for some k being weakly compact , then there is a transitive set M with M ⊨ ZFC + “there is a strong cardinal”.

We show that weakly compact cardinals are the smallest large cardinals k where k+ < k+ is impossible provided 0# does not exist. We also show that if k+Kc < k+ for some k being weakly compact , then there is a transitive set M with M ⊨ ZFC + “there is a strong cardinal”.

We investigate the pressing down game and its relation to the Banach Mazur game. In particular we show: consistently, there is a nowhere precipitous normal ideal I on \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\aleph_2}$$\end{document} such that player nonempty wins the pressing down game of length \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\aleph_1}$$\end{document} on I even if player empty starts.

Assuming the existence of a measurable cardinal, we define a hierarchy of Ramsey cardinals and a hierarchy of normal filters. We study some combinatorial properties of this hierarchy. We show that this hierarchy is absolute with respect to the Dodd-Jensen core model, extending a result of Mitchell which says that being Ramsey is absolute with respect to the core model.