notes

Any diagram you want of choice principles and their implications in ZF set theory.

A toolkit for the Dodd-Jensen core model: This note is intended as a rough reference guide for proofs of the form “If $\mathsf{ZF}$ plus a large cardinal axiom is consistent, then in the Dodd-Jensen core model $K^\mathsf{DJ}$ (a model of $\mathsf{ZFC}$) a certain large cardinal axiom holds”. The intended reader is a set theorist (with or without choice), who just wants to get consistency strength from $K^\mathsf{DJ}$ without having to go through all its wonderful detail. Appeared first in this post.

One thought on “notes”

Comments are closed.

Logic, Mathematics, Common Lisp