init

index.html

@@ -408,15 +408,15 @@ <H2>AXIOSIS</H2>
            theory and homotopy. Building on top of advanced frameworks:</p>
 
 <p><ul>
-<li><b>Henk Barendregt</b> Type Theory for Pure Dependent Lambda Calculus</li>
-<li><b>Per Martin-Löf</b> Type Theory for Fibrational setting and inductive types</li>
-<li><b>Anders Mörtberg</b> Type Theory for CCHM/CHM/HTS bootstrap</li>
-<li><b>Dan Kan</b> Simplicial HoTT</li>
-<li><b>Jack Morava</b> Type Theory for Chromatic Homotopy Theory and K-Theory</li>
-<li><b>Urs Schreiber</b> Type Theory for Equivariant Supergeometry</li>
-<li><b>Julius Dedekind</b> Type Theory for Reals</li>
+<li><b>Henk Barendregt</b> Type Theory for Pure Dependent Lambda Calculus,</li>
+<li><b>Per Martin-Löf</b> Type Theory for Fibrational setting and inductive types,</li>
+<li><b>Anders Mörtberg</b> Type Theory for CCHM/CHM/HTS bootstrap,</li>
+<li><b>Dan Kan</b> Simplicial HoTT,</li>
+<li><b>Jack Morava</b> Type Theory for Chromatic Homotopy Theory and K-Theory,</li>
+<li><b>Urs Schreiber</b> Type Theory for Equivariant Supergeometry,</li>
+<li><b>Julius Dedekind</b> Type Theory for Reals,</li>
 <li><b>Ernst Zermelo</b> Type Theory for ZFC with LEM, and</li>
-<li><b>Paul Cohen</b> Type Theory for cardinals system incorporating large cardinals and forcing</li></ul></p>
+<li><b>Paul Cohen</b> Type Theory for cardinals system incorporating large cardinals and forcing;</li></ul></p>
 
 <p>this system synthesis unifies synthetic homotopy, stable homotopy spectra, cohesive geometry, real analysis,
 and set-theoretic foundations into a single, computationally verifiable formalism. We demonstrate its