Timeline for Cryptomorphisms
Current License: CC BY-SA 2.5
19 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 23 at 16:02 | comment | added | The Amplitwist | Reposting a link mentioned in a previous comment so that it appears in the "Linked" questions list: Given is "model". How many theories may it be a model? | |
| Jan 25, 2022 at 19:23 | comment | added | Alp Uzman | Related: math.stackexchange.com/a/4366021/169085 | |
| Nov 26, 2010 at 17:29 | answer | added | Andreas Blass | timeline score: 3 | |
| Jun 18, 2010 at 22:10 | comment | added | Timothy Chow | You can find some interesting examples by doing a Google books search for the phrase "take this to be the definition". | |
| Mar 20, 2010 at 19:16 | history | edited | Tony Huynh | CC BY-SA 2.5 |
Changed title
|
| Feb 20, 2010 at 18:53 | vote | accept | Tony Huynh | ||
| Feb 19, 2010 at 23:51 | answer | added | Marko Amnell | timeline score: 2 | |
| Feb 19, 2010 at 6:29 | history | made wiki | Post Made Community Wiki by Anton Geraschenko | ||
| Feb 19, 2010 at 4:07 | answer | added | François G. Dorais | timeline score: 8 | |
| Feb 19, 2010 at 2:24 | answer | added | John Stillwell | timeline score: 6 | |
| Feb 18, 2010 at 21:21 | comment | added | Tony Huynh | @François. Indeed I am thinking of "cryptomorphisms." Thanks for the clarification. | |
| Feb 18, 2010 at 20:19 | comment | added | kakaz | Maybe You are interested in answer for my question which shares similar idea:mathoverflow.net/questions/14639/… It may be interesting for You as certain structure You want to axiomatize is a defined model for abstract axiomatization You get as output. So question how many axiomatization is possible probably fit here, and then we know that for any given structure there is infinite axiomatizations... Which are the interesting one? I have no idea;-) | |
| Feb 18, 2010 at 20:10 | answer | added | Pete L. Clark | timeline score: 24 | |
| Feb 18, 2010 at 19:51 | history | edited | Reid Barton |
edited tags
|
|
| Feb 18, 2010 at 19:34 | answer | added | Gerhard Paseman | timeline score: 4 | |
| Feb 18, 2010 at 19:22 | answer | added | daniel pehoushek | timeline score: -6 | |
| Feb 18, 2010 at 18:33 | answer | added | Theo Johnson-Freyd | timeline score: 11 | |
| Feb 18, 2010 at 18:11 | comment | added | François G. Dorais | I think you're looking for examples of "cryptomorphisms." This is a bit looser (and more interesting) than equivalent axiomatizations, which would technically require the languages to be the same. | |
| Feb 18, 2010 at 17:25 | history | asked | Tony Huynh | CC BY-SA 2.5 |