My Notes

Here are some notes I've written. They were written mostly for myself, so they will have varying levels of readability.

Morley Rank as a Game - A cat and a mouse play a game to figure out how slippery a type over a complete theory T is. The notion of Morley rank is recovered from this.

On Small Models of Theories - An exploration on what it means of a model of a theory to be "small", yielding a very ad-hoc definition which turns out to be equivalent to atomic in the case of countable languages.

The Characterization of Computation via Predicates And Some Consequences - Some notes on Gödel's first incompleteness theorem and Tennenbaum's theorem on the nonexistence of nonstandard models of PA. Some parts are blatantly unfinished, but I think it's solid work.

A Proof of the Low Basis Theorem and Another Proof of the Low Basis Theorem - I was having a hard time understanding this theorem, so I wrote two proofs of it in different styles. I still can't quite say I entirely get it, but at least I'm convinced that a proof exists!

A Quick Writeup on Ordinals - A proof that every order-type of a well-ordered set has a canonical representative.

Encoding Finite Sequences in RCA0 - Title.

Contact Me