Timeline for How do "Galois-type" and "saturation" for AECs generalize "type" and "saturation" in first-order model theory?
Current License: CC BY-SA 4.0
18 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 29, 2020 at 22:41 | vote | accept | user2925716 | ||
| Dec 29, 2020 at 22:11 | history | edited | Alex Kruckman | CC BY-SA 4.0 |
edited title
|
| Dec 29, 2020 at 22:09 | comment | added | Alex Kruckman | Sorry, I don't know the mechanics of restrictions on the site very well. Maybe it's related to the fact that your Math Stackexchange account is temporarily suspended? Anyway, I hope my answer helps. I'm going to take the liberty of editing your title to make it match the question more clearly. | |
| Dec 29, 2020 at 22:07 | answer | added | Alex Kruckman | timeline score: 5 | |
| Dec 29, 2020 at 19:34 | comment | added | user2925716 | @EmilJeřábek I've done an EDIT but the ban from asking a new question still persists... | |
| Dec 29, 2020 at 19:27 | comment | added | Emil Jeřábek | meta.stackexchange.com/questions/86997/… | |
| Dec 29, 2020 at 18:57 | comment | added | user2925716 |
@AlexKruckman Thank you for up-voting. I just tried to press the button Ask question but the limit not permitting to ask a new question persists. Do you happen to know why or what action from others can clear it ? Or shall I just wait ?
|
|
| Dec 29, 2020 at 18:49 | comment | added | user2925716 | @AlexKruckman I was not allowed to ask a new question, hence I needed to EDIT my actual one. Though to avoid retyping all the stuff I kept the 2 images in it. | |
| Dec 29, 2020 at 18:48 | history | edited | user2925716 | CC BY-SA 4.0 |
added 569 characters in body
|
| Dec 29, 2020 at 18:35 | comment | added | Alex Kruckman | Indeed, I will not downvote if your question is of good quality (e.g. not including images of text from books or links to the middle of long PDFs). | |
| Dec 29, 2020 at 18:34 | comment | added | user2925716 | @AlexKruckman I will definitely write one with the hope that you will not downvote this time. | |
| Dec 29, 2020 at 18:30 | comment | added | Alex Kruckman | Well, that's a totally different question. It's because the Hodges definition is in the context of model theory of first-order logic, while the Jarden-Shelah definition is in the context of AECs, where there is no such thing as a formula. As for why the notion of Galois type in AECs is a suitable replacement for the notion of type in first-order logic, this deserves its own question. | |
| Dec 29, 2020 at 18:27 | comment | added | user2925716 | @AlexKruckman I understand what you write, but still Hodges uses formulas while Jarden amalgamation; how can I relate these two concepts ? What should I take for $(K,\preceq)$ in Jarden's approach ? | |
| Dec 29, 2020 at 14:27 | comment | added | Alex Kruckman | Voting to close as not research level - but while I'm here: your summaries of what these definitions say are all wrong. The Hodges definition doesn't say all types with less than $\lambda$ elements are realized, it says that all types over sets $X$ with $|X|<\lambda$ are realized. The Jarden-Shelah definition doesn't say all types of submodels of cardinality $\lambda$ are realized, it says all types over submodels $N$ with $|N|=\lambda$ are realized. | |
| Dec 29, 2020 at 10:27 | review | Close votes | |||
| Jan 4, 2021 at 3:03 | |||||
| S Dec 29, 2020 at 2:33 | history | suggested | RobPratt |
added a tag
|
|
| Dec 29, 2020 at 1:21 | review | Suggested edits | |||
| S Dec 29, 2020 at 2:33 | |||||
| Dec 28, 2020 at 23:12 | history | asked | user2925716 | CC BY-SA 4.0 |