Talk:Cyclic order

message: I'm surprised to find that this article only deals with finite sets. Infinite sets can be cyclically (sometimes called circularly ordered) also. Intuitively, it corresponds to placing the set along a circle; rigorously, one does something like the following (I haven't all the details straight in my head):
Suppose your set is S. A cyclic order on S is a subset A\subset S^3 satisfying all of the following:
*If x,y,z are distinct elements of A then precisely one of (x,y,z) and (z,y,x) is in A.
*(x,y,z) is in A iff (y,z,x) is in A iff (z,x,y) is in A.
*[Some condition on how triples match up with one another. Something along the lines of:] If (x,y,w) and (y,z,w) are in A then so is (x,y,z).
This set can then be ordered with an analogue of the order topology for ordered sets, for those who care about such things (like me). —msh210 15:54, 14 Apr 2005 (UTC)
replies: text: What applications does this idea have? Charles Matthews 06:15, 17 Apr 2005 (UTC)
replies: text: I only know one: trying to order cataclysms (to use Calegari-Dunfield's terminology) of an essential lamination. There are probably many more. But does it matter what applications it has? The construction certainly exists and rightfully belongs in an encyclopedia. —msh210 13:52, 17 Apr 2005 (UTC)
replies: text: A good application makes it much easier to motivate and clarify an abstract definition. We don't just write for mathematicians; and I don't think any non-mathematician would think it a strange question. Charles Matthews 15:31, 17 Apr 2005 (UTC)
thread_title:  Infinite sets cyclically ordered 

message: So, I've expanded the article. I've been pecking at this expansion in my user space for a while, and I've gotten tired of it, so I'm just adding what I've got; this is kind of a half-assed effort. Let me be the first to admit that the prose is terrible and should be rewritten. :-) Also, I'm sure that the "Symmetries and model theory" section in particular betrays my lack of understanding of the material. Please help! Melchoir (talk) 22:21, 18 June 2011 (UTC)
thread_title:  June 2011 expansion 

message: Hello fellow Wikipedians,
I have just modified one external link on Cyclic order. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
*Added archive https://web.archive.org/web/20120322145318/http://www.kryakin.com/files/Acta_Mat_%282_55%29/acta197_151/180/180_1.pdf to http://www.kryakin.com/files/Acta_Mat_%282_55%29/acta197_151/180/180_1.pdf
*Added  tag to http://lord.uz.zgora.pl:7777/bib/bibwww.pdf?nIdA=4493
When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.
Cheers.—InternetArchiveBot (Report bug) 23:13, 15 August 2017 (UTC)
thread_title:  External links modified 

message: Hello fellow Wikipedians,
I have just modified one external link on Cyclic order. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
*Added  tag to http://web.mac.com/chollan1/iWeb/Site/publications_files/55%20Ohkuma%20structures.pdf
*Added archive https://web.archive.org/web/19970523172846/http://www.math.unc.edu/Faculty/jds/operadchik.ps to http://www.math.unc.edu/Faculty/jds/operadchik.ps
*Added  tag to http://tmcs.math.klte.hu/Contents/2006-Vol-IV-Issue-I/konya-abstract.pdf
When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.
Cheers.—InternetArchiveBot (Report bug) 12:11, 4 September 2017 (UTC)
thread_title:  External links modified 

message: The very first sentence of the article is
"In mathematics, a cyclic order is a way to arrange a set of objects in a circle."
This is appropriate only to provide intuition, but it is not strictly true.
For instance, consider the cyclic order O on the Cartesian product S1×[0,1) of a circle and a half-open interval, defined by the set of triples of the form [(x,r), (y,s), (z,t)] ∊ (S1×[0,1))3 whenever (x,r), (y,s), (z,t) are distinct elements of S1×[0,1) with
* [x,y,z] counterclockwise in S1; or
* x = y ≠ z in S1 and r < s in [0,1); or
* x = y = z in  S1 and r < s < t in [0,1).
Here [0,1) could be replaced by any linear ordering of any cardinality. So it is not necessarily possible to arrange the "set of objects in a circle". 2601:200:C000:1A0:89C5:5EA1:E6F5:EF37 (talk) 00:35, 2 August 2021 (UTC)
replies: text: I don't see how your order would satisfy the cyclicity requirement of Cyclic_order#The_ternary_relation: if a ∈ S1 is arbitrary, then [(a,0.4), (a,0.5), (a,0.6)] holds by your case 3. However, [(a,0.5), (a,0.6), (a,0.4)] does not hold, whereas it should, by cyclicity. - Jochen Burghardt (talk) 08:21, 2 August 2021 (UTC)
replies: text: Yes, my definition of the cyclic order O was not intended to explicitly write down all cases, but only to provide generators of the cyclic order on S1×[0,1).  In other words, the cyclic order on S1×[0,1) is defined by the cases that I wrote and application of the axioms for a cyclic ordering. 2601:200:C000:1A0:49B9:2B8:C68E:6D67 (talk) 21:20, 6 August 2021 (UTC)
replies: text: Then, how can you be sure that no contradiction can be derived this way, i.e., that the deductive closure of the axioms and your definition doesn't contain a contradiction? - Jochen Burghardt (talk) 17:42, 7 August 2021 (UTC)
replies: text: I can prove this, but since I was not writing a paper for publication I did not include the proof. (Note: I added the condition "≠ z" to the second case above, which I had neglected to mention originally.) 2601:200:C000:1A0:3960:8417:FC1F:8365 (talk) 17:00, 8 August 2021 (UTC)
replies: text: Do you have a suggestion how to change the introductory sentence? - Jochen Burghardt (talk) 08:47, 12 August 2021 (UTC)
thread_title:  Intro not really accurate