Timeline for Is there a finitely axiomatizable class of structures whose equality-free theory is not finitely axiomatizable?
Current License: CC BY-SA 4.0
14 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 17, 2022 at 16:47 | comment | added | Noah Schweber | Follow-up here. | |
| May 12, 2022 at 17:24 | answer | added | Rodrigo Freire | timeline score: 7 | |
| S Apr 14, 2022 at 3:09 | history | bounty ended | CommunityBot | ||
| S Apr 14, 2022 at 3:09 | history | notice removed | CommunityBot | ||
| S Apr 6, 2022 at 2:02 | history | bounty started | Noah Schweber | ||
| S Apr 6, 2022 at 2:02 | history | notice added | Noah Schweber | Draw attention | |
| Apr 6, 2022 at 2:01 | comment | added | Noah Schweber | Since this confusion came up with the original version of the question as well (repeatedly!), I've added a clarifying edit. | |
| Apr 6, 2022 at 2:01 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 445 characters in body
|
| Apr 5, 2022 at 22:09 | comment | added | user107952 | @JamesHanson Yeah. Also, by $Th$, I mean the first-order theory without equality, not the standard first-order theory with equality. | |
| Apr 5, 2022 at 21:58 | comment | added | James E Hanson | Oh, I think I see now. You aren't assuming that $Th(C)$ axiomatizes $C$, right? | |
| Apr 5, 2022 at 5:03 | comment | added | user107952 | @JamesHanson No. In fact, the situation is exactly the opposite. If the equality-free theory is not finitely axiomatizable, then the class can't be axiomatized without using equality. | |
| Apr 5, 2022 at 1:45 | comment | added | James E Hanson | Are you assuming that the class of structures can be axiomatized by sentences that do not involve equality? | |
| Apr 2, 2022 at 0:17 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 134 characters in body; edited tags
|
| Apr 1, 2022 at 23:56 | history | asked | user107952 | CC BY-SA 4.0 |