Timeline for Use of indiscernibles in model theory
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 9, 2019 at 22:03 | comment | added | andrey bovykin | Also sharps, determinacy, self-embeddings of L, Kunen's indiscernibles, Martin-Harrington ---all the same beautiful story. | |
| Sep 9, 2019 at 21:57 | comment | added | andrey bovykin | It is the same story in set theory and in arithmetic: whatever inputs a Skolem function gets from below one indiscernible --- the value will come before the next indiscernible. You can see it in many proofs from large cardinals, and the same happens in models of arithmetic (indiscernibles carve out a model of arithmetic by making all quantifiers bounded, thus building a model of full PA from an instance of Paris-Harrington). Yes, there are other uses of indiscernibles (e.g. in Shelah's non-structure theory) but in metamathematics and Ramsey theory they always are upper bounds for witnesses. | |
| Sep 9, 2019 at 21:13 | comment | added | Noah Schweber | Could you say a bit more? | |
| Sep 9, 2019 at 19:20 | review | Low quality posts | |||
| Sep 9, 2019 at 19:58 | |||||
| Sep 9, 2019 at 19:00 | history | answered | andrey bovykin | CC BY-SA 4.0 |