Timeline for Can the Knaster-Tarski theorem be proved using the Schroeder-Bernstein theorem?
Current License: CC BY-SA 2.5
9 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Oct 20, 2010 at 3:18 | comment | added | Yemon Choi | That said, your explanation about lattice theory being R&A by arXiv classification does make sense to me | |
Oct 20, 2010 at 3:17 | comment | added | Yemon Choi | @Bjørn: I asked because I seem to recall you tagging a question about $H^\infty$ (or some kind of AP question) with the rings-and-algebras tag, which bumped it back to the front page to no apparent purpose. | |
Oct 20, 2010 at 0:46 | comment | added | Bjørn Kjos-Hanssen | @Yemon Choi: "Lattice theory and universal algebra" is considered part of "rings and algebras" by the arXiv. | |
Oct 20, 2010 at 0:34 | answer | added | Joel David Hamkins | timeline score: 6 | |
Oct 19, 2010 at 23:42 | comment | added | Yemon Choi | Forgive my ignorance, but why does this have a rings-and-algebras tag? | |
Oct 19, 2010 at 22:52 | history | edited | Bjørn Kjos-Hanssen |
edited tags
|
|
Oct 17, 2010 at 13:26 | comment | added | Todd Trimble | I understand the SB theorem as saying that in the category of sets, if there exists monos from X to Y and from Y to X, there there exists an isomorphism between them. I understand the KT theorem as saying that if $f: X \to X$ is a monotone function on a sup-lattice, then $f$ has a fixed point. Is that what you mean as well? | |
Oct 17, 2010 at 11:32 | history | edited | Charles Matthews | CC BY-SA 2.5 |
copy edit title
|
Oct 17, 2010 at 10:23 | history | asked | user10122 | CC BY-SA 2.5 |