Timeline for when is the property "being algebraically maximal" a first order property ?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 7, 2015 at 13:04 | answer | added | Jizhan Hong | timeline score: 2 | |
| Sep 19, 2012 at 7:35 | comment | added | nadeau | Thanks for the answer. I didn't think of any language in particular, I'm interested in any example of language in which being algebraic maximal is first order. | |
| Sep 18, 2012 at 23:28 | comment | added | Joel David Hamkins | Could you clarify which formal language you intend? | |
| Sep 18, 2012 at 18:12 | history | asked | nadeau | CC BY-SA 3.0 |