One of the standard ways of postulating large cardinal axioms is to consider elementary embeddings,j, from the universe,V, into some transitive submodel,M. See Reinhardt–Solovay [7] for more details. Ifjis not the identity, andκis the first ordinal moved byj, thenκis a measurable cardinal. Conversely, Scott [8] showed that wheneverκis measurable, there is suchjandM. If we had assumed, in addition, that, thenκwould be theκth measurable cardinal; in general, the wider we assumeMto be, the largerκmust be.

The separation, uniformization, and other properties of the Borel and projective hierarchies over hyperfinite sets are investigated and compared to the corresponding properties in classical descriptive set theory. The techniques used in this investigation also provide some results about countably determined sets and functions, as well as an improvement of an earlier theorem of Kunen and Miller.

T. K. Menas [4, pp. 225-234] introduced a combinatorial property χ (μ) of a measure μ on a supercompact cardinal κ and proved that measures with this property also have the partition property. We prove here that Menas' property is not equivalent to the partition property. We also show that if α is the least cardinal greater than κ such that P κ α bears a measure without the partition property, then α is inaccessible and Π 2 1 -indescribable.

If θ is any singular cardinal of cofinality ω 1 , we produce a forcing extension in which MA holds below θ but fails at θ. The failure is due to a partial order which splits a gap of size θ in P(ω).

We consider a well-known partial order of Prikry for producing a collapsing function of minimal degree. Assuming MA + ≠ CH, every new real constructs the collapsing map.

Keywords: Elementary Submodel; Real Line; Order-Isomorphic.

We consider a well-known partial order of Prikry for producing a collapsing function of minimal degree. Assuming $MA + \neq CH$, every new real constructs the collapsing map.

We continue the investigation of Gregory trees and the Cantor Tree Property carried out by Hart and Kunen. We produce models of MA with the Continuum arbitrarily large in which there are Gregory trees, and in which there are no Gregory trees.