Category Archives: Peano Arithmetic

Nonstandard Models of Arithmetic 24

Prev TOC Next

MW: Indicators: we don’t need to discuss these, to prove the Paris-Harrington theorem. But I think they offer valuable insight.

Continue reading

Leave a comment

Filed under Conversations, Peano Arithmetic

Nonstandard Models of Arithmetic 23

Prev TOC Next

MW: OK! So, we’re trying to show that M, the downward closure of B in N, is a structure for L(PA).  In other words, M is closed under successor, plus, and times. I’m going to say, M is a supercut of N. The term cut means an initial segment closed under successor (although some authors use it just to mean initial segment).

Continue reading

Leave a comment

Filed under Conversations, Peano Arithmetic

Non-standard Models of Arithmetic 22

Prev TOC Next

MW: So we have our setup: BMN, with N a model of PA, B a set of “diagonal indiscernibles” (whatever those are) in N, and M the downward closure of B in N. So B is cofinal in M, and M is an initial segment of N. I think we’re not going to go over the proof line by line; instead, we’ll zero in on interesting aspects. Where do you want to start?

Continue reading

Leave a comment

Filed under Conversations, Peano Arithmetic

Topics in Nonstandard Arithmetic 7: Truth (Part 3)

Prev TOC Next

Previous “Truth” post Next “Truth” post

Last time we looked at Tarski’s inductive definition of truth formalized inside ZF set theory. Continue reading

3 Comments

Filed under Peano Arithmetic

Topics in Nonstandard Arithmetic 6: The Axioms

Prev TOC Next

This is a “reference” post. With all the posts already filed under Peano Arithmetic, I realize I never explicitly stated the axioms. Of course you can find them on Wikipedia and at a large (but finite) number of other places, but I thought I should put them down somewhere on this site.

Continue reading

Leave a comment

Filed under Peano Arithmetic

Non-standard Models of Arithmetic 21

Prev TOC Next

Bruce Smith joins the conversation, returning to a previous topic: the Paris-Harrington theorem. (Discussion of the Enayat paper will resume soon.)

Continue reading

Leave a comment

Filed under Conversations, Peano Arithmetic

Topics in Nonstandard Arithmetic 5: Truth (Part 2)

Prev TOC Next

Next “Truth” post

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

Continue reading

4 Comments

Filed under Peano Arithmetic

Topics in Nonstandard Arithmetic 4: Truth (Part 1)

Prev TOC Next

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.

Continue reading

3 Comments

Filed under Peano Arithmetic

Non-standard Models of Arithmetic 20

Prev TOC Next

Trudy Campbell

MW: OK, let’s recap the setup: we have a three-decker ωUUV. 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.

Continue reading

1 Comment

Filed under Conversations, Peano Arithmetic

Topics in Nonstandard Arithmetic 3: The Arithmetic Hierarchy (Part 2)

Prev TOC Next

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:

Continue reading

Leave a comment

Filed under Peano Arithmetic