- 24 July 2021 - Theory added: a non-definably-amenable group in a simple theory (supersimple and unstable)
- 26 July 2018 - Theory added: generic Steiner triple system (NSOP_{1} and not simple)
- 19 February 2018 - Theory added: (ℝ,+,·,2^{ℚ}) (NIP and SOP, not distal or dp-minimal)
- 18 February 2018 - Theory added: Henson digraphs (NSOP_{4}, SOP_{3}, and TP_{2})
- 18 February 2018 - Theory added: generic K_{m,n}-free bipartite graph (NSOP_{1} and not simple)
- 18 February 2018 - Theory added: generic binary function (NSOP_{1} and not simple)
- 18 February 2018 - Region added: Distal theories (subclass of NIP, contains o-minimal)
- 17 February 2018 - NSOP_{1} region expanded, and SOP_{∞} (fully finitary strong order property) changed to FSOP (finitary strong order property). Most lines on the map have been adjusted or moved.
- 12 January 2018 - Theory added: (ℕ,·) Skolem arithmetic (TP_{2} and SOP)
- 12 January 2018 - Theory added: multicolored directed graphs omitting directed cycles (TP_{2}, NSOP and SOP_{∞})
- 26 August 2017 - Theory added: (ℤ,+,0,Sqf) where Sqf denotes the square-free integers (supersimple and unstable)
- 26 August 2017 - Theory added: (ℤ,+,≤_{p},0,1) where ≤_{p} is preorder from p-adic valuation (dp-minimal, unstable, and not o-minimal)
- 26 August 2017 - Theory updated: (ℤ,+,0,Π_{2}) generalized to (ℤ,+,0,Γ), where Γ is a finitely generated multiplicative submonoid of ℤ^{+}.
- 24 August 2017 - Citations link to arXiv whenever possible. Full publication info is still available through References link.
- 24 August 2017 - Theory added: logarithmic-exponential transseries (𝕋,+,·,0,1,𝜕,≤,≼) (NIP, unstable, and not dp-minimal)
- 31 March 2016 - Theory added: extra-special p-group (supersimple and unstable)
- 1 December 2015 - Theory added: (ℤ,+,0,Π_{2}) (superstable, not ω-stable or dp-minimal)
- 16 June 2015 - Theories updated: The positions on the map of three previously open theories (T_{feq}, ω-free PAC fields, infinite dimensional vector spaces with a bilinear form) have been established. All three are non-simple and NSOP_{1}.
- 27 April 2015 - Theory corrected: universal directed graph omitting all directed cycles replaced with densely ordered random graph, and moved to correct region (NTP_{2}, IP, and SOP).
- 12 April 2015 - Theory added: (ℤ^{ω},+,0) (strictly stable, not dp-minimal)
- 6 December 2014 - Hover the mouse over a dot on the map to see the name of the theory it represents.
- 5 December 2014 - Theory added: bounded pseudo real closed fields (IP, SOP, NTP_{2})
- 2 December 2014 - Theory added: universal directed graph omitting all directed cycles (TP_{2}, SOP_{∞}, NSOP)
- 18 November 2014 - Custom URL's are available to link directly to some specific state of the map. For example, the URL forkinganddividing.com/#_0_00 will load the map with the ω-stable region highlighted.
Look in the address bar to the find the custom URL. They are available for large regions, small regions, theory examples, forking characterizations, etc....
- 4 November 2014 - Interactive citations: hover mouse over citation to see quick info; click citation to see article or journal website.
- 3 October 2014 - Definition and details of SOP_{∞} updated to accurately distinguish between the various notions of strong order property.
- 15 February 2014 - Theory added: imperfect bounded PAC fields (strictly simple)
- 13 February 2014 - Theory added: a strictly stable superflat graph (strictly stable and dp-minimal)
- 19 January 2014 - Theory added: generic Kr
n-free r-graph, r > 2 (supersimple and unstable)
- 17 January 2014 - Theory added: atomless Boolean algebras (TP_{2}, SOP)
- 9 January 2014 - Details surrounding the {TP and NSOP_{3}} region updated. For example, the {TP and NSOP_{1}} region is added to the list of open regions, since NSOP_{1} for T_{feq} has been called into question.
- 8 November 2013 - Theory added: VFA_{0} (IP, SOP, NTP_{2})
- 7 November 2013 - Theory added: non-simple generic limit of (K_{f},≤) for good f (TP_{2}, SOP_{3}, NSOP_{4})
- 16 October 2013 - Labeling of strict and strong order properties changed. The standard for strict seems to be SOP. Strong is now SOP_{∞} (although this is not standard).
- 11 October 2013 - Theory added: infinitely cross-cutting equivalence relations (strictly stable, not dp-minimal)
- 11 October 2013 - Open theory added: infinite dimensional vector space with a bilinear form (non-simple, NTP_{1})
- 11 October 2013 - Theory added: Hrushovski's new strongly minimal set
- 7 October 2013 - Open theory added: ω-free PAC fields (non-simple, NTP_{1})
- 29 September 2013 - Comments added to TP2, SOP_{n}, NSOP_{n+1} section.
- 28 September 2013 - Theory added: free n^{th} root of the complete graph (TP_{2}, SOP_{n}, and NSOP_{n+1})
- 28 September 2013 - Listing of examples in the complexity classes changed. Now only the theories not contained in any proper subclass are shown, along with a list of the proper subclasses.
- 24 September 2013 - Theory added: Urysohn sphere (TP_{2}, NSOP_{∞}, SOP_{n} for all n)
- 24 September 2013 - Update Log created
- 9 January 2013 - Website created