Forcing with [κ] κ over a model of set theory with a strong partition cardinal, M. Spector produced a generic ultrafilter G on κ such that κ κ /G is not well-founded. Theorem. Let G be Spector-generic over a model M of $ZF + DC + \kappa \rightarrow (\kappa)^\kappa_\alpha, \kappa > \omega$ , for all $\alpha . 1) Every cardinal (well-ordered or not) of M is a cardinal of M[ G]. 2) If A ∈ M[ G] is a well-ordered subset (...) of M, then A ∈ M. Let Φ = κ κ /G. 3) There is an ultrafilter U on Φ such that every member of U has a subset of type Φ, and the intersection of any well-ordered subset of U is in U. 4) Φ satisfies Φ → (Φ) α β for all $\alpha and all ordinals β. 5) There is a linear order Φ' with property 3) above which is not "weakly compact", i.e., $\Phi' \nrightarrow (\Phi')^2$. (shrink)

Following [3], we build higher-order models of analysis resembling the frameworks of nonstandard analysis. The models are entirely canonical, constructed without Choice. Weak transfer principles are developed and the models are applied to topology, graph theory, and measure theory. A Loeb-like measure is constructed.

The paper "Partitions of Products" [DiPH] investigated the polarized partition relation $\begin{pmatrix}\omega\\\omega\\\omega\\\vdots\end{pmatrix} \rightarrow \begin{pmatrix}\alpha_1\\\alpha_1\\\alpha_2\\\vdots \end{pmatrix}$ The relation is consistent relative to an inaccessible cardinal if every α i is finite, but inconsistent if two are infinite. We show here that it consistent (relative to an inaccessible) for one to be infinite. Along the way, we prove an interesting proposition from ZFC concerning partitions of the finite subsets of ω.