Bruce Smith joins the conversation, returning to a previous topic: the Paris-Harrington theorem. (Discussion of the Enayat paper will resume soon.)
Last time we looked at Tarski’s inductive definition of truth, expressed informally. We saw how for models of PA, it can be formalized as an infinite sequence of formulas True0, True1, …, formulas belonging to L(PA) itself. But not as a single formula in L(PA).
In post 15 of the Conversation, I observed:
- Gödel’s two most famous results are the completeness theorem and the incompleteness theorem.
- Tarski’s two most famous results are the undefinability of truth and the definition of truth.
The second bullet has occupied its share of pixels in the Conversation. Time for a summing up.
MW: OK, let’s recap the setup: we have a three-decker ωU⊂U⊂V. So far as U is concerned, ωU is the “real, true omega”. V knows it isn’t. Enayat’s question: what properties must an omega have, for it to be the omega of a model of T? Here T is a recursively axiomatizable extension of ZF, and U is a model of it.
Last time I defined ∃n and ∀n prefixes and formulas; Σn, Πn , and Δn relations (and functions) on ℕ; Σn(PA), Πn(PA), and Δn(PA) formulas in L(PA); and Σn(N), Πn(N), and Δn(N) relations (and functions) on a model N of PA. I won’t repeat all that, but a few bullet points may help load it into working memory:
Posts 7 and 8 developed an extensive comment thread, mainly between Bruce Smith and John Baez. It was hard to follow in that format, so I converted it to a separate webpage.
Topics: (a) Why do standard models of ZF have standard ω’s? (b) Interactions between the Infinity Axiom and the Foundation Axiom (aka Regularity). (c) The compactness theorem. (d) The correspondence between PA and “ZF with infinity negated”: nonstandard numbers vs. ill-founded sets, and the Kaye-Wong paper (cited in post 8).
I originally started this blog to make available various notes I’ve written over the years. (Justification: the internet hasn’t yet run out of space.) Herewith a very short note on principal and fiber bundles (small and medium formats), and a longer one on the Laplacian on the cube. Also Three takes on the tangent bundle.