In [1] it was shown that if κ is a strong partition cardinal, then every function from [κ ]κ to [κ ]κ is continuous almost everywhere. In this investigation, we explore whether such functions are differentiable or integrable in any sense. Some of them are.

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.

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.

_Sweet Reason: A Field Guide to Modern Logic, 2nd Edition_ offers an innovative, friendly, and effective introduction to logic. It integrates formal first order, modal, and non-classical logic with natural language reasoning, analytical writing, critical thinking, set theory, and the philosophy of logic and mathematics. An innovative introduction to the field of logic designed to entertain as it informs Integrates formal first order, modal, and non-classical logic with natural language reasoning, analytical writing, critical thinking, set theory, and the philosophy of (...) logic and mathematics Addresses contemporary applications of logic in fields such as computer science and linguistics A web-site linked to the text features numerous supplemental exercises and examples, enlightening puzzles and cartoons, and insightful essays. (shrink)

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 ω.