Timeline for Does "agreement on cardinalities" imply second-order elementary substructurehood?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 18, 2022 at 20:33 | comment | added | Noah Schweber | Nice! And this isn't limited to $\mathsf{SOL}$, since we can reason about automorphically-fixed sets more generally: no "reasonable" logic $\mathcal{L}$ capable of defining Dedekind-completeness has the weak test property. | |
| Feb 18, 2022 at 19:29 | history | bounty ended | Noah Schweber | ||
| Feb 18, 2022 at 19:29 | vote | accept | Noah Schweber | ||
| Feb 18, 2022 at 18:10 | history | answered | Farmer S | CC BY-SA 4.0 |