### Recent Writing

### Mathoverflow Activity

- Comment by Victoria Gitman on Does Con(ZF + Reinhardt) really imply Con(ZFC + I0)?@Stefan For some reason, I cannot click on the link.Victoria Gitman
- Comment by Victoria Gitman on Cofinality of $j(\kappa)$ for a measurability embedding $j:V\to M$ with critical point $\kappa$@AsafKaragila I edited the question to make it clearer. Maybe I will ask your version as a follow-up if you don't ask it first :).Victoria Gitman
- Comment by Victoria Gitman on Cofinality of $j(\kappa)$ for a measurability embedding $j:V\to M$ with critical point $\kappa$@AsafKaragila I should have done a better job stating my question clearly. I wanted to know precisely what Yair answered: whether there are models where $\text{cf}(j(\kappa))$ is smaller than the size of $j(\kappa)$. Your interpretation of the question is very interesting as well, but I think much harder to answer.Victoria Gitman

- Comment by Victoria Gitman on Does Con(ZF + Reinhardt) really imply Con(ZFC + I0)?
### Cantor’s Attic

- User:OrdnialsIntroducing New pageI'm interested in transfinite numbers. This wiki is inactive for the last years so I joined.Ordnials
- File:Omega-e.pngOrdnials uploaded File:Omega-e.png Ordinals!!!!Ordnials
- IndecomposableImages ← Older revision Revision as of 19:17, 26 March 2017 (5 intermediate revisions by the same user not shown)Line 1: Line 1: −An indecomposable ordinal is an ordinal that can't be expressed as the sum of two smaller numbers.+[[File:https://upload.wikimedia.org/wikipedia/commons/thumb/e/e6/Omega-exp-omega-labeled.svg/832px-Omega-exp-omega-labeled.svg]]An indecomposable ordinal is an ordinal that can't be expressed as the sum of two smaller […]Ordnials
- User:OrdnialsUser account Ordnials was createdOrdnials
- Madore's ψ functionValues ← Older revision Revision as of 12:02, 24 March 2017 Line 33: Line 33: Now we are introducing the Veblen function, which is explained in [[Diagonalization]]. Now we are introducing the Veblen function, which is explained in [[Diagonalization]]. −\begin{eqnarray*} \psi(\Omega^3 \varphi_5(0)) &=& \varphi_5(0) \\ \psi(\Omega^4) &=& \varphi_5(0) \\ \psi(\Omega^n) &=& \varphi_{1+n}(0) \\ \psi(\Omega^{\Gamma_0}) &=& […]Maomao

- User:Ordnials

# Monthly Archives: March 2013

## Tennenbaum’s Theorem

Gödel’s Incompleteness Theorems established two fundamental types of incompleteness phenomena in first-order arithmetic (and stronger theories). The First Incompleteness Theorem showed that no recursive axiomatization extending ${\rm PA}$ can decide all properties of natural numbers and the Second Incompleteness Theorem … Continue reading

Posted in logic.2013
Leave a comment

## Order amidst the chaos: exploring Julia sets and the Mandelbrot set

This is a project with Mariama Wilson.

Posted in student projects
Leave a comment

## The Second Incompleteness Theorem

There is a theory which states that if ever anyone discovers exactly what the Universe is for and why it is here, it will instantly disappear and be replaced by something even more bizarre and inexplicable. There is another theory … Continue reading

Posted in logic.2013
Leave a comment

## The First Incompleteness Theorem

Some people are always critical of vague statements. I tend rather to be critical of precise statements; they are the only ones which can correctly be labeled ‘wrong’. –Raymond Smullyan At the dawn of the $20^{\text{th}}$-century formal mathematics flourished. In … Continue reading

Posted in logic.2013
Leave a comment