Dear all,

it seems that despite efforts of Sy, and some others, the same questions are raised over and over again. Recently, Harvey asked explicitly those who think that “HP is a legitimate foundations program” to write. I have collaborated with Sy on some of the mathematical papers regarding HP, and was a coauthor of one of the philosophical one.

I will attempt to answer briefly the questions posted by Harvey. My view on HP is different from Sy’s, but I see HP as a legitimate foundational program.

0] At a fundamental level, what does “(intrinsic) maximality in set theory” mean in the first place?

Let me write IMST instead of “(intrinsic) maximality in set theory” for the sake of brevity.

I doubt IMST can mean more than “viewing sets as big as possible, without the use of considerations based on practice of set theory as the main incentive”. “Intrinsic” is thus temporarily reduced to “non-extrinsic”; in view of the heavy philosophical discussions around this notion, I prefer to give it this more restrictive meaning. Note that “extrinsic”, unlike “intrinsic”, has a well-defined inter-subjective meaning. This leaves us with the word “big”; I guess that this is the primitive term, which cannot be defined by anything more simple — at least on the level of general discussion.

Admittedly, this definition is far from informative. For me, HP is a way of explicating this definition in a mathematical framework. Making its meaning more precise, and by the same token, less general. A discussion should be if other approaches — which set out to get real mathematical results — retain more of the general meaning of the term IMST. No approach can retain all the meaning of ISMT because it is by definition vague and subjective; thus HP should not be expected to do that.

1] Why doesn’t HP carry the obvious name CTMP = countable transitive model program.

Because the program was formulated by Sy with the aim of having wider application than the study of ctm’s.

2] What does the choice of a countable transitive model have to do with “(intrinsic) maximality in set theory”?

Countable models are a way of explicating IMST. It is a technical convenience which allows us to use model-theoretic techniques, not available for higher cardinalities.

Aside: I do not quite understand why the discussion rests so heavily on this issue: everyone seems to accept it readily when we talk about forcing (I know it can be eleminated in forcing, but the intuition — see Cohen’s book — comes from countable models). Would it make a difference if the models had cardinality , or and , or should they be proper classes etc? Larger cardinalities would introduce technical problems which are inessential for the aims of HP.

3] Which axioms of ZFC are motivated or associated with “(intrinsic) maximality in set theory”? And why? Which ones aren’t and why?

IMST by historical consensus includes at this moment ZFC. “Historical consensus” for me means that many people decided that the vague meaning of IMST extends to ZFC. I do think that this depends on time (take the example of AC). HP is a way to raise some new first-order sentences as candidates for this extension.

4] What is your preferred precise formulation of IMH? E.g., is it in terms of countable models?

Yes.

5] What do you make of the fact that the IMH is inconsistent with even an inaccessible (if I remember correctly)? If this means that IMH needs to be redesigned, how does this reflect on whether CTMP = HP is really being properly motivated by “(intrinsic) maximality in set theory”?

I view the process of obtaining results in HP like an experiment in explicating the vague meaning of IMST. It is to be expected that some of the results will be surprising, and will require interpretation.

6] What is the simplest essence of the ideas surrounding “fixing or redesigning IMH”? Please, in generally understandable terms here, so that people can get to the essence of the matter, and not have it clouded by technicalities.

It is a creative process: explicate IMST by principle — after some mathematical work, it outputs varphi (such as = IMH, = no inaccessible). Then try , etc ( can be a “redesigned”, or “modified” version of ). Of course, one hopes that his/her understanding of set theory will be helpful in identifying ‘s which have potential to output nice (good, deep) mathematics. It is essential that the principles ‘s should be as practice-independent as possible (= intrinsic, in my reading); that is what makes the program foundational (again, in my more narrow sense).

Best regards to all,

Radek Honzik