Skip to main content

Timeline for Jonsson Boolean algebras?

Current License: CC BY-SA 3.0

15 events
when toggle format what by license comment
Oct 17, 2018 at 13:21 answer added YCor timeline score: 4
Oct 17, 2018 at 10:41 history edited YCor
edited tags
S Nov 24, 2014 at 22:35 history suggested Avshalom CC BY-SA 3.0
fixed grammar
Nov 24, 2014 at 22:28 review Suggested edits
S Nov 24, 2014 at 22:35
Aug 23, 2014 at 16:17 history edited Tomasz Kania CC BY-SA 3.0
typos
Oct 31, 2013 at 13:30 history edited Tomasz Kania CC BY-SA 3.0
tags, links
Oct 26, 2012 at 7:09 answer added Greg Oman timeline score: 5
Sep 2, 2011 at 15:08 answer added Avshalom timeline score: 4
Jul 12, 2011 at 15:00 comment added Ali Enayat I can also recommend the following useful survey (alas, it does not seem to be available online). Coleman, Eoin; Jonsson groups, rings and algebras. Irish Math. Soc. Bull. No. 36 (1996), 34–45. The author's name appears is spelled OREN KOLMAN on his homepage.
Jul 12, 2011 at 2:12 answer added Ali Enayat timeline score: 11
Jul 11, 2011 at 22:51 comment added Ali Enayat Since you asked for other examples: it is known that there are Jonsson models of PA (Peano Arithmetic). as well as ZFC (Zermelo-Fraenkel set theory with the axiom of choice) of power $\aleph_1$ in the following sense: there are models of $PA$ and $ZFC$ of power $\aleph_1$ that have no proper uncountable elementary submodel. This result is due to Julia Knight (Hanf numbers for omitting types over particular theories. J. Symbolic Logic 41 (1976), no. 3, 583–588). A different proof was given by Kossak and Schmerl in their book on models of $PA$.
Jul 11, 2011 at 22:36 comment added Ali Enayat My understanding is that it was Ol'shanskii who first constructed a countable Jonsson group (an infinite group all of whose subgroups are finite). Later Shelah constructed an uncountable Jonsson group (the so-called Kurosh monster).
Jul 11, 2011 at 17:41 vote accept Tomasz Kania
Jul 11, 2011 at 17:33 answer added Joel David Hamkins timeline score: 27
Jul 11, 2011 at 16:55 history asked Tomasz Kania CC BY-SA 3.0