- 1 May 2025 - Theory added: generic c-nilpotent group of exponent p > c > 2 (NSOP4, SOP3, and TP2)
- 1 May 2025 - Theory added: generic 2-nilpotent group of exponent p > 2 (NSOP1 and not simple)
- 1 May 2025 - Theory added: Hall's universal group (TP2 and SOP)
- 1 May 2025 - Theory added: a non-ω-stable tree (superstable, dp-minimal, and not ω-stable)
- 8 November 2024 - Theory added: infinitely expanding equivalence relations (ω-stable, dp-minimal, and not strongly minimal)
- 7 November 2024 - Theory added: finitely many infinitely cross-cutting equivalence relations (ω-stable and not dp-minimal)
- 7 November 2024 - Theory corrected: The theory of (infinitely many) finitely cross-cutting equivalence relations has been moved to correct region (superstable and dp-minimal).
- 26 March 2024 - Theory corrected: (ℤ,+,≤p,0,1) moved to correct region (dp-minimal, unstable, and not distal).
- 30 August 2023 - Theory updated: The Farey graph has been moved from the list of open theories to the region of ω-stable, dp-minimal, and not strongly minimal theories.
- 9 January 2023 - Region updated: The NSOP1 region has been renamed NTP1 (NSOP1/NSOP2) to reflect recent work of Mutchnik showing the equivalence of SOP1 and SOP2. The name of this region should be regarded as temporary, and pending community agreement of terminology going forward. The definitions and details section has also been re-organized and updated.
- 9 January 2023 - Open region removed: SOP1 and NTP1
- 9 January 2023 - Theory added: a strictly stable expansion of (ℤ,+,0) (strictly stable, not dp-minimal)
- 11 November 2021 - Open theory added: Artin braid groups
- 11 November 2021 - Open theory added: Farey graph
- 11 November 2021 - Open theory added: (ℂ(t),+,·,0,1)
- 21 August 2021 - Theory added: ACFpG (NSOP1 and not simple)
- 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 (NSOP1 and not simple)
- 19 February 2018 - Theory added: (ℝ,+,·,2ℚ) (NIP and SOP, not distal or dp-minimal)
- 18 February 2018 - Theory added: Henson digraphs (NSOP4, SOP3, and TP2)
- 18 February 2018 - Theory added: generic Km,n-free bipartite graph (NSOP1 and not simple)
- 18 February 2018 - Theory added: generic binary function (NSOP1 and not simple)
- 18 February 2018 - Region added: Distal theories (subclass of NIP, contains o-minimal)
- 17 February 2018 - NSOP1 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 (TP2 and SOP)
- 12 January 2018 - Theory added: multicolored directed graphs omitting directed cycles (TP2, 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 the 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 (Tfeq, ω-free PAC fields, infinite dimensional vector spaces with a bilinear form) have been established. All three are non-simple and NSOP1.
- 27 April 2015 - Theory corrected: universal directed graph omitting all directed cycles replaced with densely ordered random graph, and moved to correct region (NTP2, 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, NTP2)
- 2 December 2014 - Theory added: universal directed graph omitting all directed cycles (TP2, 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 (TP2, SOP)
- 9 January 2014 - Details surrounding the {TP and NSOP3} region updated. For example, the {TP and NSOP1} region is added to the list of open regions, since NSOP1 for Tfeq has been called into question.
- 8 November 2013 - Theory added: VFA0 (IP, SOP, NTP2)
- 7 November 2013 - Theory added: non-simple generic limit of (Kf,≤) for good f (TP2, SOP3, NSOP4)
- 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, NTP1)
- 11 October 2013 - Theory added: Hrushovski's new strongly minimal set
- 7 October 2013 - Open theory added: ω-free PAC fields (non-simple, NTP1)
- 29 September 2013 - Comments added to TP2, SOPn, NSOPn+1 section.
- 28 September 2013 - Theory added: free nth root of the complete graph (TP2, SOPn, and NSOPn+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 (TP2, NSOP∞, SOPn for all n)
- 24 September 2013 - Update Log created
- 9 January 2013 - Website created