.. meta::
   :description: A short map of the Matheo Study Series: eight papers (b11-b18) building from formal axioms to a call to action, with a dependency graph and reading routes so you can find where to start.
   :keywords: Matheo Study Series, learning path, reading guide, PET, Jubilee System, RiskyMAD, h-star, panentheism, mathematical theology, dependency graph, balospe.com
   :author: LLoL as Laurence Loewe of Laodicea, ClaudeOp46-48Max, and Everyone
   :og:card:title: The Matheo Study Series<br>A Map
   :og:card:description: Eight papers from formal axioms to a call to action --- with a dependency graph and reading routes so you can find where to start without reading all 160,000 words.

******************************************************************************
The Matheo Study Series --- a map
******************************************************************************

The :doc:`Matheo Study Series </study/matheo/index>` is large --- **thirty-two
individual papers across eleven studies (b11-b21)**, running to hundreds of
thousands of words, building a cumulative argument from formal axioms to a call
to action. This page is the short map:
what each paper does, how they depend on one another, and where to start ---
so you do not have to read all of it to know what you are looking at.

.. note::

   This is the **about-the-series overview.** For the full, step-by-step reading
   routes (Express / Standard / Deep paths for five reader profiles), see the
   :doc:`Learning Path through the Matheo Study Series </matheology/heaven/study/learning-path-matheo>`.


How big is this --- and do I have to read it all?
=================================================

No. Each of the eleven studies has a formal paper plus companion versions for
different audiences (general, mathematical, theological, economic, and so on) ---
which is how eleven studies become thirty-two papers. And the series is built so
you can stop at any point with a coherent picture of what you have read so far. A general reader can get the whole core argument from
the six short introductions in about 90 minutes; a specialist can go as deep as
the formal proofs and the adversarial reviews. The point of this page is to let
you choose your depth on purpose.


The studies at a glance
=======================

.. list-table::
   :header-rows: 1
   :widths: 8 22 58

   * - Code
     - Title
     - What it does
   * - **b11**
     - PET: Formal Panentheism
     - 14 axioms formalising "all is *in* God, but God exceeds all," with
       convergence across six traditions. The foundation.
   * - **b12**
     - e7Day: Self-Correcting Construction
     - The BABL / ZION / OSCR framework for systems that either self-correct or
       self-destroy.
   * - **b13**
     - e7He: Anti-BABL Inoculation
     - The Hero Journey as inoculation against BABL; the Supervillain theorem.
   * - **b14**
     - JUB: Innovation Theodicy
     - The Jubilee System as self-stabilising economics --- why suffering is, in
       part, a system-design problem.
   * - **b15**
     - Structural Deadlock
     - A formal proof that Divine Simplicity deadlocks with PET's relational
       axioms.
   * - **b16**
     - RiskyMAD: Existential Risk
     - The stochastic forecast: nuclear winter is effectively certain under MAD
       over long horizons. MAD |rarr| MAP.
   * - **b17**
     - h\* Theorem: a Public Test
     - The causal-concentration theorem and eight transparency criteria for
       testing it --- with a falsification protocol.
   * - **b18**
     - Call to Action: MAD |rarr| MAP
     - Integrates b11-b17 into a call to action for averting accidental nuclear
       winter.
   * - **b19**
     - SGIR: Pandemic Modelling
     - A constructive existence-proof that modest, coordinated action could have
       cut pandemic deaths by an order of magnitude --- full model open to audit.
   * - **b20**
     - WorkLogic
     - The work-logic cascades behind scaling up ResearchCity (a former SGIR
       appendix, now standalone).
   * - **b21**
     - AI Co-Authorship
     - A framework for honestly crediting AI and human contributions in
       long-term research.


How the papers depend on one another
====================================

.. image:: /_file/image/matheology/heaven-deps.svg
   :alt: Dependency graph of the Matheo Study Series (b11-b18).
   :align: center
   :width: 100%

Textual summary::

   b11 (PET) ──────────────→ b14 (JUB, extends PET)
                                  ↑
   b12 (e7Day, independent) ──────┘  (BABL/ZION framework)
        ↓
   b13 (e7He)        b15 ← b11        b16 ← b12, b14
   b17 ← b11, b13, b14               b18 ← ALL (b11-b17)

The graph shows the core **b11-b18** backbone. Three later studies extend it:
**b19** (the SGIR pandemic model), **b20** (work-logic), and **b21** (AI
co-authorship).


Where should I start?
=====================

- **Just want the argument?** Read the six short intros (b11, b12, b14, b16,
  b17, b18) --- about 90 minutes.
- **Mathematician, theologian, economist, or skeptic?** The
  :doc:`full learning path </matheology/heaven/study/learning-path-matheo>` has a
  tailored Express / Standard / Deep route for each.
- **Want to help test it?** That is the whole point ---
  :doc:`Audit the Math </action/audit-the-math/index>`.


.. ----- FOOTER FORM OOv1r2p1 ----- type open-std ----- START -----

.. |content-vvn| replace:: dv_ClaOp48Max_OOv1_2026m06d08

.. include:: /_templates/include-file/footer/separator/tidal-gradient.rst

.. dropdown:: Notes
   :class-container: page-footer-form-notes
   :class-title: page-footer-form-title

   .. include:: /_templates/include-file/footer/page-footer-stability.rst


.. dropdown:: See also on Balospe.com
   :open:
   :class-container: page-footer-form-refs-internal
   :class-title: page-footer-form-title

   - :doc:`/study/matheo/index` --- the Matheo Study Series itself
   - :doc:`/matheology/heaven/study/learning-path-matheo` --- the full reading paths
   - :doc:`/action/audit-the-math/index` --- how to help test the math
   - :doc:`/about/llol/index` --- about the person proposing to be tested
   - :doc:`/buy-in/index` --- Buy In: the ~$8-per-year ask


.. only:: html

   .. include:: /_templates/include-file/footer/cta/researchcity.rst

   .. dropdown:: FF FeedbackFlow to improve this page: How you can contribute
      :class-container: page-footer-form-feedbackflow
      :class-title: page-footer-form-title

      .. include:: /_templates/include-file/footer/form-open-std/prelink.rst

      .. ----- PAGE-SPECIFIC FF (ff-email MailForm=OOv2r0p0) ----- START -----

      .. raw:: html

         <a class="ff-email-preview-link" href="mailto:FF+about-matheo@balospe.com?cc=FF%2BCompleteFeedbackFlow%40balospe.com&amp;subject=FF%20k2%20s2%20AIMS%20for%20%5Babout-matheo%5D%20Replace_by_OneLineSummary_of_proposed_FF_improvement&amp;body=To%20make%20this%20page%20%5Babout-matheo%5D%0D%0Amore%20gentle%20kind%20reasonable%0D%0Afor%20beginners%2C%20producers%2C%20andOr%20experts%0D%0Awith%20a%20background%20in%20xyz%3A%0D%0A%0D%0APlease%20consider%20improving%20this%3A%0D%0A%0D%0A%0D%0A--%0D%0ABy%20sending%20this%20email%2C%20I%20agree%20that%20its%20content%20may%20be%20published%0D%0Aunder%20the%20Jonah%20License%20(balospe.com%2Fen%2Flicense%2Fjoli%2F)%0D%0Aunless%20I%20state%20otherwise%20above.%20MailForm%3DOOv2r0p0">To:      FF+about-matheo@balospe.com
         CC:      FF+CompleteFeedbackFlow@balospe.com
         Subject: FF k2 s2 AIMS for [about-matheo] Replace_by_OneLineSummary
         Body:    To make this page [about-matheo]
                  more gentle kind reasonable
                  for beginners, producers, andOr experts
                  with a background in xyz:

                  Please consider improving this:

                  --
                  By sending this email, I agree that its content may be published
                  under the Jonah License (balospe.com/en/license/joli/)
                  unless I state otherwise above. MailForm=OOv2r0p0</a>

      .. ----- PAGE-SPECIFIC FF ----- END -----

      .. include:: /_templates/include-file/footer/form-open-std/postlink.rst


.. ----- FOOTER FORM OOv1r2p1 ----- END -----