# Red workbook, p10

### Source

### Transcript

- Notiz:
- wieso
fuer (evtl. min. id.pot.) - Kopie von
? - [this note was struck out by a check mark]

- wieso
- Frage nicht standard PA-Modelle:
- gibt es Eigenschaften, die sich reflektieren lassen?
- Gibt es Reflektionsprinzip?
- [the above two lines were struck out with as single line]
- [illegible] Wenn es ein [struck out]
- Idee: Wenn ein Nicht standard element
- eine Eigenschaft hat
- so haben unendlich viele Numerale
- diese Eigenschsft, also
- unendlich viele Nicht-Standard
- [da elementare Substr]

- Richtig?
- Was kann man damit machen?

### partial Translation

- Note:
- Why is
for any (possibly just minimal idempotent) - Copy of
? - [this note was struck out by a check mark]

- Why is
- Question about non-standard models of PA
- are there properties that can be reflected?
- Are there reflection principles?
- [the above two lines were struck out with as single line]
- Idea: If a non-standard element has some property, then infinitely many numerals have this property and therefore infinitely many non-standard elements have this property (as an elementary substructure).
- Correct? What can you do with it?

### Notes

The previous page is followed by another attempt of research ideas.

First there's a note on a basic but important observation for

To understand the second part of the note, I should explain that my Diplom thesis was about large cardinals and reflection principles. The first few things I tried that summer came out of that perspective -- looking at cardinals (as a semingroup with ordinal addition/multiplication), hoping to connect with large cardinal theory. Nothing ever came of it but perhaps we'll encounter that later in this workbook.